Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Normalize DRA output;
Changeset 6472:386bf06e4891 by salomon sickert _sickert@in.tum.de_:
Normalize DRA output;
The file was modified thys/LTL_to_DRA/Aux/List2.thy (diff)
The file was modified thys/LTL_to_DRA/Aux/Words2.thy (diff)
The file was modified thys/LTL_to_DRA/Code/LTL_to_DRA_Translator.sml (diff)
The file was modified thys/LTL_to_DRA/DTS.thy (diff)
The file was modified thys/LTL_to_DRA/Impl/Export_Code.thy (diff)
The file was modified thys/LTL_to_DRA/Impl/Mojmir_Rabin_Impl.thy (diff)