Inicio Explorar Ayuda
Iniciar sesión
yentl
/
modelverse
Seguir 3
Destacar 3
Fork 6
Archivos Incidencias 4 Pull Requests 0 Wiki
Rama: debugging
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Yentl Van Tendeloo 6c2b2cb440 Revert "Merge branch 'testing' into debugging" hace 9 años
  Yentl Van Tendeloo 6e39d57529 Remove unused files hace 9 años
  Yentl Van Tendeloo a3922711ad Modify some leftover files hace 9 años
  Yentl Van Tendeloo 4d44712bfd Reordered things a bit to make reachability graph into a test hace 9 años
  Yentl Van Tendeloo 52354492d1 Added larger Petri Net simulation test, which has a lot of hace 9 años