Adding a prevChoiceValue class property to store the previous choice to update the...
[jpf-core.git] / src / main / gov / nasa / jpf / listener / StateReducer.java
2020-02-10 rtrimanaAdding a prevChoiceValue class property to store the...
2020-02-07 rtrimanaAttempting state-based DPOR implementation from the...
2020-01-30 rtrimanaAdding the first implementation of visible operation...
2019-12-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-12-04 rtrimanaFixing bug: completing missing/unexplored event combina...
2019-11-12 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-11-12 rtrimanaChecking in (1) StateReducer, and (2) StateReducerEffic...
2019-11-07 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-11-06 rtrimanaFixing a bug: wrong CGs were reset when recursing into...
2019-11-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-11-05 rtrimanaCompleting POR implementation with complete recursions.
2019-10-24 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-10-23 rtrimanaFurther excluding infrastructure/library field accesses.
2019-10-22 rtrimanaFixing issues: counter bugs, object ID comparison,...
2019-10-21 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-10-21 rtrimanaAdding more restrictions in conflict analysis: not...
2019-10-16 rtrimanaMore subtle changes to config file and state reducer...
2019-10-16 rtrimanaFixing a few bugs. Still need to check for the backtrac...
2019-10-15 rtrimanaFirst version of POR; need to double check the backtrac...
2019-09-27 rtrimanaAdding more state reduction analysis.
2019-09-26 rtrimanaFixing a typo in option name.
2019-09-25 rtrimanaUpdating main.jpf; Cleaning up the StateReducer.
2019-09-25 rtrimanaFirst version of the StateReducer class.