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

2020-04-09	rtrimana	Fixing a bug: restorable state has to be saved when...	blob \| commitdiff \| raw
2020-04-09	rtrimana	Changing approach: Using vm.restoreState() method to...	blob \| commitdiff \| raw \| diff to current
2020-04-08	rtrimana	Committing a version that almost works: bug to fix...	blob \| commitdiff \| raw \| diff to current
2020-04-07	rtrimana	First part of boolean flip seems to be clean; need...	blob \| commitdiff \| raw \| diff to current
2020-04-07	rtrimana	Fixing a potential bug: we now store the event number...	blob \| commitdiff \| raw \| diff to current
2020-04-06	rtrimana	Cleaning up and fixing bugs; new DPOR implementation...	blob \| commitdiff \| raw \| diff to current
2020-04-04	rtrimana	Fixing a bug: we need to start choiceCounter from 1...	blob \| commitdiff \| raw \| diff to current
2020-04-03	rtrimana	Reimplementing DPOR Phase 3: Architecting the subsequen...	blob \| commitdiff \| raw \| diff to current
2020-04-02	rtrimana	Reimplementing DPOR Phase 2: VOD graph building and...	blob \| commitdiff \| raw \| diff to current
2020-04-01	rtrimana	Reimplementing DPOR Phase 1: First trace execution...	blob \| commitdiff \| raw \| diff to current
2020-04-01	rtrimana	Starting a new DPOR implementation.	blob \| commitdiff \| raw \| diff to current

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