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

[jpf-core.git] / src / main / gov / nasa / jpf / listener / DPORStateReducer.java

2020-12-14	rtrimana	Moving updateBacktrackSetsFromGraph into choiceGenerato...	blob \| commitdiff \| raw
2020-12-14	rtrimana	Cleaning up DPORStateReducer.java	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-17	rtrimana	Adding checks to ensure that a predecessor is only...	blob \| commitdiff \| raw \| diff to current
2020-09-08	rtrimana	Making the implementation of updateBacktrackSetDFS...	blob \| commitdiff \| raw \| diff to current
2020-07-10	rtrimana	Adding missing 'add' into HashSet. aug2020	blob \| commitdiff \| raw \| diff to current
2020-07-10	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2020-07-10	rtrimana	Changing StringBuilder into HashMap and HashSet.	blob \| commitdiff \| raw \| diff to current
2020-07-09	rtrimana	Generate a new RestorableVMState object only when it...	blob \| commitdiff \| raw \| diff to current
2020-07-02	rtrimana	Fixing a bug: in the second round of boolean CG, we...	blob \| commitdiff \| raw \| diff to current
2020-06-22	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2020-06-22	rtrimana	Adding a way for JPF to be informed that this is DPOR...	blob \| commitdiff \| raw \| diff to current
2020-06-22	rtrimana	Commenting out a line that causes a lot of loops; let...	blob \| commitdiff \| raw \| diff to current
2020-06-19	rtrimana	Bug fix: when state is not found in rGraph, that means...	blob \| commitdiff \| raw \| diff to current
2020-06-17	rtrimana	Explored trace needs to be constructed and modified...	blob \| commitdiff \| raw \| diff to current
2020-06-17	rtrimana	Renaming a variable.	blob \| commitdiff \| raw \| diff to current
2020-06-17	rtrimana	Fixing a bug in isConflict method.	blob \| commitdiff \| raw \| diff to current
2020-06-13	rtrimana	Making field exclusion checks more efficient.	blob \| commitdiff \| raw \| diff to current
2020-06-10	rtrimana	Further cleaning up (naming, comments, etc.).	blob \| commitdiff \| raw \| diff to current
2020-06-09	rtrimana	Adding happens-before push back.	blob \| commitdiff \| raw \| diff to current
2020-06-09	rtrimana	Cleaning up.	blob \| commitdiff \| raw \| diff to current
2020-06-05	rtrimana	New algorithm implementation; without pushing forward...	blob \| commitdiff \| raw \| diff to current
2020-05-19	rtrimana	Fixing a bug: need to get the right choice/event number...	blob \| commitdiff \| raw \| diff to current
2020-05-15	rtrimana	Tested updating backtrack sets in the reachability...	blob \| commitdiff \| raw \| diff to current
2020-05-15	rtrimana	Tested backtrack in a cycle (local).	blob \| commitdiff \| raw \| diff to current
2020-05-14	rtrimana	Adjusting support methods for reachability analysis...	blob \| commitdiff \| raw \| diff to current
2020-05-14	rtrimana	Modifying the algorithm: 1) Find the first conflict...	blob \| commitdiff \| raw \| diff to current
2020-05-07	rtrimana	Fixing a bug: completing reachability graph with missin...	blob \| commitdiff \| raw \| diff to current
2020-05-02	rtrimana	Fixing bugs: state to reachability graph map has to...	blob \| commitdiff \| raw \| diff to current
2020-05-01	rtrimana	Adding reachability graph for past executions.	blob \| commitdiff \| raw \| diff to current
2020-04-20	rtrimana	Additional logging feature.	blob \| commitdiff \| raw \| diff to current
2020-04-16	rtrimana	Fixing a bug: mapping state to event has to be done...	blob \| commitdiff \| raw \| diff to current
2020-04-15	rtrimana	Fixing more bugs with the reachability analysis.	blob \| commitdiff \| raw \| diff to current
2020-04-15	rtrimana	Fixing more potential bugs for the reachability analysis.	blob \| commitdiff \| raw \| diff to current
2020-04-15	rtrimana	Fixing a bug: separating the state tracking for cycle...	blob \| commitdiff \| raw \| diff to current
2020-04-14	rtrimana	Adding reachability analysis when state matching occurs.	blob \| commitdiff \| raw \| diff to current
2020-04-12	rtrimana	Adding a counter for number of conflicts.	blob \| commitdiff \| raw \| diff to current
2020-04-11	rtrimana	Printing out the number of transitions.	blob \| commitdiff \| raw \| diff to current
2020-04-10	rtrimana	Fixing a bug: misunderstood how the VOD graph is suppos...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Testing DPORStateReducer and ConflictTracker: JPF seems...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Fixing a bug: java LinkedList needs removeFirst(),...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Fixing a bug: VOD graph traversal should continue with...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Fixing a bug: restorable state has to be saved when...	blob \| commitdiff \| raw \| diff to current
2020-04-09	rtrimana	Optimization: Compare just the state and the fist event...	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom