Testing the implementation; fixing a bug.
[jpf-core.git] / src / main / gov / nasa / jpf / listener / DPORStateReducerEfficient.java
2020-09-11 rtrimanaTesting the implementation; fixing a bug.
2020-09-10 rtrimanaSmall edits in method updateBacktrackSetsFromPreviousEx...
2020-09-09 rtrimanaCleaning up the code; still need to test everything.
2020-09-04 rtrimanaInitial implementation of more efficient traversal...
2020-09-03 rtrimanaAdding a new file for a more efficient implementation...