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

2020-09-24	rtrimana	Refresh the cached conflict transitions when performing...	blob \| commitdiff \| raw
2020-09-23	rtrimana	Removing dead/commented code.	blob \| commitdiff \| raw \| diff to current
2020-09-22	rtrimana	Fixing a bug: summary of conflict transitions is to...	blob \| commitdiff \| raw \| diff to current
2020-09-22	rtrimana	Fixing a bug: should use equals() to compare the values...	blob \| commitdiff \| raw \| diff to current
2020-09-22	rtrimana	Fixing bug: 1) pushed transition should have been the...	blob \| commitdiff \| raw \| diff to current
2020-09-21	rtrimana	Fixing a bug: summary of conflict transition and ReadWr...	blob \| commitdiff \| raw \| diff to current
2020-09-18	rtrimana	Minor changes to input arguments of some methods/functions.	blob \| commitdiff \| raw \| diff to current
2020-09-17	rtrimana	Adding checks to ensure that a predecessor is only...	blob \| commitdiff \| raw \| diff to current
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.