Programming Languages Research Group: Git

2020-06-22	rtrimana	Adding a way for JPF to be informed that this is DPOR...	commit \| commitdiff \| tree
2020-06-19	rtrimana	Bug fix: when state is not found in rGraph, that means...	commit \| commitdiff \| tree
2020-06-19	rtrimana	A few hacks to make the list circular: this lets the...	commit \| commitdiff \| tree
2020-06-17	rtrimana	Explored trace needs to be constructed and modified...	commit \| commitdiff \| tree
2020-06-17	rtrimana	Renaming a variable.	commit \| commitdiff \| tree
2020-06-17	rtrimana	Fixing a bug in isConflict method.	commit \| commitdiff \| tree
2020-06-13	rtrimana	Making field exclusion checks more efficient.	commit \| commitdiff \| tree
2020-06-10	rtrimana	Committing main.jpf.	commit \| commitdiff \| tree
2020-06-10	rtrimana	Further cleaning up (naming, comments, etc.).	commit \| commitdiff \| tree
2020-06-09	rtrimana	Adding happens-before push back.	commit \| commitdiff \| tree
2020-06-09	rtrimana	Cleaning up.	commit \| commitdiff \| tree
2020-06-05	rtrimana	New algorithm implementation; without pushing forward...	commit \| commitdiff \| tree
2020-05-21	rtrimana	Adding different main.jpf files for different detections.	commit \| commitdiff \| tree
2020-05-21	rtrimana	Editing main.jpf	commit \| commitdiff \| tree
2020-05-21	rtrimana	Adding a script to set the environment variables for...	commit \| commitdiff \| tree
2020-05-19	rtrimana	Fixing a bug: need to get the right choice/event number...	commit \| commitdiff \| tree
2020-05-15	rtrimana	Tested updating backtrack sets in the reachability...	commit \| commitdiff \| tree
2020-05-15	rtrimana	Tested backtrack in a cycle (local).	commit \| commitdiff \| tree
2020-05-14	rtrimana	Adjusting support methods for reachability analysis...	commit \| commitdiff \| tree
2020-05-14	rtrimana	Modifying the algorithm: 1) Find the first conflict...	commit \| commitdiff \| tree
2020-05-07	rtrimana	Fixing a bug: completing reachability graph with missing...	commit \| commitdiff \| tree
2020-05-02	rtrimana	Fixing bugs: state to reachability graph map has to...	commit \| commitdiff \| tree
2020-05-01	rtrimana	Adding reachability graph for past executions.	commit \| commitdiff \| tree
2020-04-20	rtrimana	Additional logging feature.	commit \| commitdiff \| tree
2020-04-16	rtrimana	Fixing a bug: mapping state to event has to be done...	commit \| commitdiff \| tree
2020-04-15	rtrimana	Fixing more bugs with the reachability analysis.	commit \| commitdiff \| tree
2020-04-15	rtrimana	Fixing more potential bugs for the reachability analysis.	commit \| commitdiff \| tree
2020-04-15	rtrimana	Fixing a bug: separating the state tracking for cycle...	commit \| commitdiff \| tree
2020-04-14	rtrimana	Adding reachability analysis when state matching occurs.	commit \| commitdiff \| tree
2020-04-13	rtrimana	Modifying main.jpf	commit \| commitdiff \| tree
2020-04-12	rtrimana	Adding a counter for number of conflicts.	commit \| commitdiff \| tree
2020-04-11	rtrimana	Printing out the number of transitions.	commit \| commitdiff \| tree
2020-04-10	rtrimana	Fixing a bug: misunderstood how the VOD graph is supposed...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Testing DPORStateReducer and ConflictTracker: JPF seems...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Fixing a bug: java LinkedList needs removeFirst(),...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Fixing a bug: VOD graph traversal should continue with...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Fixing a bug: restorable state has to be saved when...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Optimization: Compare just the state and the fist event...	commit \| commitdiff \| tree
2020-04-09	rtrimana	Changing approach: Using vm.restoreState() method to...	commit \| commitdiff \| tree
2020-04-08	rtrimana	Committing a version that almost works: bug to fix...	commit \| commitdiff \| tree
2020-04-07	rtrimana	First part of boolean flip seems to be clean; need...	commit \| commitdiff \| tree
2020-04-07	rtrimana	Fixing a potential bug: we now store the event number...	commit \| commitdiff \| tree
2020-04-06	rtrimana	Cleaning up and fixing bugs; new DPOR implementation...	commit \| commitdiff \| tree
2020-04-04	rtrimana	Fixing a bug: we need to start choiceCounter from 1...	commit \| commitdiff \| tree
2020-04-03	rtrimana	Reimplementing DPOR Phase 3: Architecting the subsequent...	commit \| commitdiff \| tree
2020-04-02	rtrimana	Reimplementing DPOR Phase 2: VOD graph building and...	commit \| commitdiff \| tree
2020-04-01	rtrimana	Reimplementing DPOR Phase 1: First trace execution...	commit \| commitdiff \| tree
2020-04-01	rtrimana	Starting a new DPOR implementation.	commit \| commitdiff \| tree
2020-04-01	rtrimana	Cleaning up and refactoring.	commit \| commitdiff \| tree
2020-03-31	rtrimana	Fixing bugs: capturing object accesses (read/write...	commit \| commitdiff \| tree
2020-03-27	rtrimana	Fixing a bug: off-by-one error in the executed trace...	commit \| commitdiff \| tree
2020-03-27	rtrimana	Re-checking and cleaning up the code: most likely still...	commit \| commitdiff \| tree
2020-03-26	rtrimana	Adding the old tracker variable for debugging/testing...	commit \| commitdiff \| tree
2020-03-26	rtrimana	Fixing bugs and cleaning up: Continuing sub-graph executions...	commit \| commitdiff \| tree
2020-03-25	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2020-03-25	rtrimana	Fixing bugs and cleaning up: making sure that the execution...	commit \| commitdiff \| tree
2020-03-23	rtrimana	Cleaning up: Removing the full-blown graph traversal.	commit \| commitdiff \| tree
2020-03-23	rtrimana	Cleaning up, fixing bugs---commented out full-blown...	commit \| commitdiff \| tree
2020-03-21	rtrimana	Refactoring; Finding cycles without traversing the...	commit \| commitdiff \| tree
2020-03-20	rtrimana	Fixing bugs: moving VOD-graph building into the CGAdvanced...	commit \| commitdiff \| tree
2020-03-19	rtrimana	Adding graph traversal to find cycles; adding debug...	commit \| commitdiff \| tree
2020-03-16	rtrimana	Some fixes for the DPOR state-reducer.	commit \| commitdiff \| tree
2020-03-02	rtrimana	Fixing a bug: merging the analysis part for locationMode...	commit \| commitdiff \| tree
2020-02-28	rtrimana	Fix for a bug in finding the right integer values in...	commit \| commitdiff \| tree
2020-02-28	rtrimana	Adding attributes for dimmers.	commit \| commitdiff \| tree
2020-02-15	rtrimana	Slight changes for safeguard.	commit \| commitdiff \| tree
2020-02-14	rtrimana	Fixing an out of bound bug.	commit \| commitdiff \| tree
2020-02-10	rtrimana	Adding a prevChoiceValue class property to store the...	commit \| commitdiff \| tree
2020-02-07	rtrimana	Attempting state-based DPOR implementation from the...	commit \| commitdiff \| tree
2020-01-30	rtrimana	Adding the first implementation of visible operation...	commit \| commitdiff \| tree
2019-12-04	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-12-04	rtrimana	Fixing bug: completing missing/unexplored event combinations.	commit \| commitdiff \| tree
2019-11-18	rtrimana	Code refactoring for sleep set and persistent set analyses.	commit \| commitdiff \| tree
2019-11-15	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-11-15	rtrimana	Implementing the sleep-set technique for the previous...	commit \| commitdiff \| tree
2019-11-12	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-11-12	rtrimana	Checking in (1) StateReducer, and (2) StateReducerEfficient...	commit \| commitdiff \| tree
2019-11-06	rtrimana	Fixing a bug: wrong CGs were reset when recursing into...	commit \| commitdiff \| tree
2019-11-05	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-11-05	rtrimana	Completing POR implementation with complete recursions.	commit \| commitdiff \| tree
2019-10-23	rtrimana	Further excluding infrastructure/library field accesses.	commit \| commitdiff \| tree
2019-10-22	rtrimana	Fixing issues: counter bugs, object ID comparison,...	commit \| commitdiff \| tree
2019-10-21	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-10-21	rtrimana	Adding more restrictions in conflict analysis: not...	commit \| commitdiff \| tree
2019-10-18	rtrimana	Detecting location mode read/write using the old method.	commit \| commitdiff \| tree
2019-10-16	rtrimana	More subtle changes to config file and state reducer...	commit \| commitdiff \| tree
2019-10-16	rtrimana	Fixing a few bugs. Still need to check for the backtrack...	commit \| commitdiff \| tree
2019-10-15	rtrimana	First version of POR; need to double check the backtrack...	commit \| commitdiff \| tree
2019-09-27	rtrimana	Adding more state reduction analysis.	commit \| commitdiff \| tree
2019-09-26	rtrimana	Adding the option to activate beam search: a HeuristicSearch...	commit \| commitdiff \| tree
2019-09-26	rtrimana	Fixing a typo in option name.	commit \| commitdiff \| tree
2019-09-25	rtrimana	Updating main.jpf; Cleaning up the StateReducer.	commit \| commitdiff \| tree
2019-09-25	rtrimana	First version of the StateReducer class.	commit \| commitdiff \| tree
2019-08-11	rtrimana	Adding cameras.	commit \| commitdiff \| tree
2019-08-08	rtrimana	Checking for null value before storing the first write.	commit \| commitdiff \| tree
2019-08-08	rtrimana	Changing main.jpf	commit \| commitdiff \| tree
2019-08-08	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-08-08	rtrimana	Adding a new variable.	commit \| commitdiff \| tree
2019-08-08	rtrimana	Adding a new conflict variable.	commit \| commitdiff \| tree
next

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

RSS Atom