Inicio Explorar Axuda
Iniciar sesión
simon
/
SCCD
Seguir 2
Destacar 2
Fork 3
Ficheiros Incidencias 28 Pull Requests 0 Wiki
Árbore: d616e6553a
Ramas Etiquetas

Commit History

Autor SHA1 Mensaxe Data
  Joeri Exelmans e1826ed316 Made it possible to disable hierarchical priority. Added more priority tests, including tests that fail because of detected nondeterminism. %!s(int64=5) %!d(string=hai) anos
  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). %!s(int64=5) %!d(string=hai) anos