Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more parallelism;
  2. adapted to unfold_abs_def = true;
Changeset 7078:20717868983d by wenzelm:
more parallelism;
The file was modified thys/DFS_Framework/ROOT (diff)
Changeset 7077:48cee34f4dfa by wenzelm:
adapted to unfold_abs_def = true;
The file was modified thys/DFS_Framework/Impl/Structural/Rec_Impl.thy (diff)
The file was modified thys/DFS_Framework/Impl/Structural/Tailrec_Impl.thy (diff)
The file was modified thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2.thy (diff)
The file was modified thys/Dependent_SIFUM_Refinement/Examples/EgHighBranchRevC.thy (diff)
The file was modified thys/Dijkstra_Shortest_Path/Dijkstra_Impl_Adet.thy (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/Scratch.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Combinator_Setup.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Constraints.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Intf_Util.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Rules.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Translate.thy (diff)
The file was modified thys/Resolution_FOL/Resolution.thy (diff)