Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. tuned
  4. Using plain Data.Array instead of DiffArray for Haskell Code Generation
  5. Using auto instead of simp;clarsimp;simp to discharge side conditions
  6. merged
  7. Fixes
  8. Fixed session deps
  9. merged
  10. Added examples from JAR paper to Containers and Collections
Changeset 8985:e7fc8d70851a by lammich _lammich@in.tum.de_:
merged
Changeset 8984:c3b0481e6b35 by lammich _lammich@in.tum.de_:
merged
Changeset 8983:79867f52b821 by lammich _lammich@in.tum.de_:
tuned
The file was modified thys/Collections/Examples/Autoref/Simple_DFS.thy (diff)
The file was modified thys/Containers/Examples/Containers_DFS_Ex.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy (diff)
Changeset 8982:3a15ffd7d411 by lammich _lammich@in.tum.de_:
Using plain Data.Array instead of DiffArray for Haskell Code Generation
The file was modified thys/Collections/Lib/Diff_Array.thy (diff)
Changeset 8981:b4b194c66e27 by lammich _lammich@in.tum.de_:
Using auto instead of simp;clarsimp;simp to discharge side conditions
The file was modified thys/Automatic_Refinement/Tool/Autoref_Tool.thy (diff)
The file was modified thys/Automatic_Refinement/Tool/Autoref_Translate.thy (diff)
Changeset 8980:0b3cd82b2c08 by lammich _lammich@in.tum.de_:
merged
Changeset 8979:a37038a1096d by lammich _lammich@in.tum.de_:
Fixes
The file was modified thys/Buchi_Complementation/Complementation_Implement.thy (diff)
The file was modified thys/Collections/Examples/Autoref/Simple_DFS.thy (diff)
The file was modified thys/Containers/Containers_Userguide.thy (diff)
The file was modified thys/LTL_to_GBA/LTL_to_GBA_impl.thy (diff)
Changeset 8978:7a23a3c2c9bf by lammich _lammich@in.tum.de_:
Fixed session deps
The file was modified thys/Collections/ROOT (diff)
Changeset 8977:18b9274b7862 by lammich _lammich@in.tum.de_:
merged
Changeset 8976:e5e1a1da2411 by lammich _lammich@in.tum.de_:
Added examples from JAR paper to Containers and Collections
The file was addedthys/Collections/Examples/Autoref/Combined_TwoSat.thy
The file was addedthys/Containers/Examples/Card_Datatype_Ex.thy
The file was addedthys/Containers/Examples/Containers_DFS_Ex.thy
The file was addedthys/Containers/Examples/Containers_TwoSat_Ex.thy
The file was addedthys/Containers/Examples/Map_To_Mapping_Ex.thy
The file was addedthys/Containers/Examples/TwoSat_Ex.thy
The file was modified thys/Automatic_Refinement/Autoref_Bindings_HOL.thy (diff)
The file was modified thys/Collections/Examples/Autoref/Collection_Autoref_Examples.thy (diff)
The file was modified thys/Collections/Examples/Autoref/Simple_DFS.thy (diff)
The file was modified thys/Collections/GenCF/Impl/Impl_RBT_Map.thy (diff)
The file was modified thys/Collections/GenCF/Intf/Intf_Comp.thy (diff)
The file was modified thys/Collections/Lib/Diff_Array.thy (diff)
The file was modified thys/Collections/Refine_Dflt.thy (diff)
The file was modified thys/Containers/ROOT (diff)
The file was removedthys/Containers/Card_Datatype_Ex.thy
The file was removedthys/Containers/Map_To_Mapping_Ex.thy