Adding more state reduction analysis.
[jpf-core.git] / main.jpf
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.