Programming Languages Research Group: Git - jpf-core.git/history - src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java

2020-09-17	rtrimana	Adding checks to ensure that a predecessor is only...	blob \| commitdiff \| raw
2020-09-11	rtrimana	Testing the implementation; fixing a bug.	blob \| commitdiff \| raw \| diff to current
2020-09-10	rtrimana	Small edits in method updateBacktrackSetsFromPreviousEx...	blob \| commitdiff \| raw \| diff to current
2020-09-09	rtrimana	Cleaning up the code; still need to test everything.	blob \| commitdiff \| raw \| diff to current
2020-09-04	rtrimana	Initial implementation of more efficient traversal...	blob \| commitdiff \| raw \| diff to current
2020-09-03	rtrimana	Adding a new file for a more efficient implementation...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.