Activity for Nicolas D' Ippolito
-
Nicolas D' Ippolito posted a comment on ticket #15
Vic, ya estas en BA ? nos juntamos la semana que viene? hay varias cosas para charlar....
-
Enhanced case studies
-
organised imports
-
Add support for LTS bisimulation in FSP
-
Optimisation that avoid building strategies for loosing games
-
imports removed
-
ndippolito thesis examples added
-
-
-
example testing nondet nonblocking
-
added some TODOs for Daniel and Mariano
-
log method added
-
Controller Synthesis returns MTSs (in all its flavours)
-
minor refactor
-
- imports
-
-
-
comment for epavese
-
refactor
-
enhanced formatting
-
refactor Strategy Class added
-
new version
-
ammended version
-
to verify
-
ammended version
-
some changes for debugging
-
-
more exaamples
-
new version
-
bugfix
-
updated syntax
-
bugFix
-
- duplicated line
1