Fixing a bug: we need to start choiceCounter from 1 instead of 0 for subsequent execu...
[jpf-core.git] / main.jpf
2020-04-01 rtrimanaReimplementing DPOR Phase 1: First trace execution...
2020-04-01 rtrimanaStarting a new DPOR implementation.
2020-03-26 rtrimanaAdding the old tracker variable for debugging/testing...
2020-03-26 rtrimanaFixing bugs and cleaning up: Continuing sub-graph execu...
2020-03-25 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2020-03-25 rtrimanaFixing bugs and cleaning up: making sure that the execu...
2020-03-24 Seyed Amir Hossein... Making analysis compatible with new infrastructure
2020-03-19 rtrimanaAdding graph traversal to find cycles; adding debug...
2020-03-16 rtrimanaSome fixes for the DPOR state-reducer.
2020-02-28 rtrimanaAdding attributes for dimmers.
2020-02-19 Seyed Amir Hossein... Adding manual transactions to the conflict tracker
2019-10-17 amirajAdd required variables of the new listener to the confi...
2019-10-16 rtrimanaMore subtle changes to config file and state reducer...
2019-09-27 rtrimanaAdding more state reduction analysis.
2019-09-26 rtrimanaAdding the option to activate beam search: a HeuristicS...
2019-09-26 rtrimanaFixing a typo in option name.
2019-09-25 rtrimanaUpdating main.jpf; Cleaning up the StateReducer.
2019-08-11 rtrimanaAdding cameras.
2019-08-08 rtrimanaChanging main.jpf
2019-08-08 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-08 rtrimanaAdding a new variable.
2019-08-08 rtrimanaAdding a new conflict variable.
2019-08-07 rtrimanaAdding a null value filter in the tracker; Adding a...
2019-08-06 rtrimanaAdding conflict variable for Speeches.
2019-08-06 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-05 rtrimanaAdding conflict variables for lights.
2019-08-03 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-02 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-02 rtrimanaAdding new stuff to main.jpf.
2019-08-02 bdemskySmartThings specific support to reduce state space
2019-08-02 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-02 rtrimanaAdding a timeout feature.
2019-08-01 bdemskyAdd constanttime class
2019-07-30 rtrimanaAdding more groups.
2019-07-29 rtrimanaUpdating conflict variables list in main.jpf.
2019-07-26 rtrimanaAdding tracked variables in main.jpf.