Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added profiling setup
  2. merged
  3. preparing for more efficient implementation
  4. removed unused implementation
Changeset 9010:7b0364ae0185 by julian brunner _julianbrunner@gmail.com_:
added profiling setup
The file was addedthys/Buchi_Complementation/code/Complementation.mlb
The file was addedthys/Buchi_Complementation/code/Complementation.sml
The file was addedthys/Buchi_Complementation/code/Makefile
The file was addedthys/Buchi_Complementation/code/Unsynchronized.sml
Changeset 9009:267bc1c97e4e by julian brunner _julianbrunner@gmail.com_:
merged
Changeset 9008:23075ae70ca0 by julian brunner _julianbrunner@gmail.com_:
preparing for more efficient implementation
The file was modified thys/Buchi_Complementation/Complementation_Final.thy (diff)
The file was modified thys/Buchi_Complementation/Complementation_Implement.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff)
Changeset 9007:828d5415de6c by julian brunner _julianbrunner@gmail.com_:
removed unused implementation
The file was modified thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff)