Activity for Victor Wjugow
-
Victor Wjugow committed [r1138]
logging count of controller update states
-
Create branch count_controller_update_states
-
[ControllerUpdate] bug fix. re-made commit.
-
[Controller Update]
-
commit que soluciona esto: https://sourceforge.net/p/mtsa/code/1124/
-
[Controller Update]
-
[Controller Update]
-
Creo que esto no es posible. Lo que hacemos actualmente con las ltl_property que...
-
Creo que esto no es posible. Lo que hacemos actualmente con las ltl_property que...
-
Que otras formulas deberia considerar? ([]A || []B) tambien entra en el scope? otras...
-
[MERGE] trunk to TransferSimulator2 branch
-
classpath fix
-
[Controller Update]
-
creating new TransferSimulator branch
-
MERGE branch graphUpdate2 [Controller Update] g...
-
[Controller Update] .classpath files
-
[Controller Update]
-
[Controller Update] Fixed many equals methods. ...
-
[Controller Update] tests
-
[Controller Update] added jung libs and an algo...
-
[Controller Update] Reconfigure implementation
-
Created branch graphUpdate2.
-
MERGE [Controller Update] new syntax to trunk
-
[Controller Update] reverted something
-
[Controller Update] new syntax. now we specify ...
-
Considerar formulas mas generales al compilar los safety de Update Controller
-
Permitir especificar con maquinas de estado los safety en un controllerSpec para Update Controllers
-
creating branch for the new Update syntax
-
ant build fix
-
[Controller Update] merged trunk into graphUpda...
-
[Controller Update] Adding graph classes before...
-
[Controller Update] Little fix.
-
[Controller Update] Changed the way we obtain C...
-
[Controller Update] Added a method to extract a...
-
Added a few Formulas to the Reconfigure example...
-
Changed the Controller Update model by introduc...
-
reverted commit in trunk
-
reverted commit in trunk
-
-
Changed the Controller Update model by introduc...
-
VW creating branch to work on Graph Update
1