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