Recording predecessors per state as opposed to per transition.
[jpf-core.git] / src / main / gov / nasa / jpf / listener / DPORStateReducerWithSummary.java
2021-01-13 rtrimanaRecording predecessors per state as opposed to per...
2021-01-06 rtrimanaFixing bugs: the main one is to create a local copy...
2020-12-16 rtrimanaFixing a few bugs, e.g., missing rwSet.copy(), misplace...
2020-12-15 rtrimanaMore cleanups for comments and variable names.
2020-12-15 rtrimanaCleaning up: checking source code for (potential) bugs.
2020-12-15 rtrimanaCleaning up: checking source code for (potential) bugs.
2020-12-14 rtrimanaAdding untested summary code in DPORStateReducerWithSum...
2020-12-14 UCI Networking GroupAdding untested summary code in DPORStateReducerWithSum...