projects / jpf-core.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Change in Analysis
[jpf-core.git] / src / main / gov / nasa / jpf / listener / StateReducer.java
2019-11-12 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw
2019-11-12 rtrimanaChecking in (1) StateReducer, and (2) StateReducerEffic... blob | commitdiff | raw
2019-11-07 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2019-11-06 rtrimanaFixing a bug: wrong CGs were reset when recursing into... blob | commitdiff | raw | diff to current
2019-11-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2019-11-05 rtrimanaCompleting POR implementation with complete recursions. blob | commitdiff | raw | diff to current
2019-10-24 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2019-10-23 rtrimanaFurther excluding infrastructure/library field accesses. blob | commitdiff | raw | diff to current
2019-10-22 rtrimanaFixing issues: counter bugs, object ID comparison,... blob | commitdiff | raw | diff to current
2019-10-21 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... blob | commitdiff | raw | diff to current
2019-10-21 rtrimanaAdding more restrictions in conflict analysis: not... blob | commitdiff | raw | diff to current
2019-10-16 rtrimanaMore subtle changes to config file and state reducer... blob | commitdiff | raw | diff to current
2019-10-16 rtrimanaFixing a few bugs. Still need to check for the backtrac... blob | commitdiff | raw | diff to current
2019-10-15 rtrimanaFirst version of POR; need to double check the backtrac... blob | commitdiff | raw | diff to current
2019-09-27 rtrimanaAdding more state reduction analysis. blob | commitdiff | raw | diff to current
2019-09-26 rtrimanaFixing a typo in option name. blob | commitdiff | raw | diff to current
2019-09-25 rtrimanaUpdating main.jpf; Cleaning up the StateReducer. blob | commitdiff | raw | diff to current
2019-09-25 rtrimanaFirst version of the StateReducer class. blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.