Inicio Explorar Axuda
Iniciar sesión
lucas
/
modelverse
Fork de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Ficheiros
Árbore: 0ff1293a29
Ramas Etiquetas

Commit History

Autor SHA1 Mensaxe Data
  Yentl Van Tendeloo af69ae1907 Add "name" attribute in SCD %!s(int64=7) %!d(string=hai) anos
  Yentl Van Tendeloo 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
  Yentl Van Tendeloo 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
  Yentl Van Tendeloo e612d8ffb1 Copy some reachability algorithms to this test in particular %!s(int64=8) %!d(string=hai) anos