Startsida Utforska Hjälp
Logga in
jexelmans
/
sccd
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Träd: 57b0349e58
Grenar Taggar

Commit History

Upphovsman SHA1 Meddelande Datum
  Joeri Exelmans 490196c118 Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality). 5 år sedan