projects / jpf-core.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixing a few bugs in the statistics printout.
[jpf-core.git] / src / main / gov / nasa /
2021-04-20 rtrimanaFixing a few bugs in the statistics printout. master tree | commitdiff
2021-01-29 rtrimanaAnother fix for the counter for unique transitions. tree | commitdiff
2021-01-29 rtrimanaAnother fix for the counter for unique transitions. tree | commitdiff
2021-01-28 rtrimanaFixing the counter for unique transitions. tree | commitdiff
2021-01-28 rtrimanaAdding a counter for unique transitions. tree | commitdiff
2021-01-22 rtrimanaBug fix: need to check for conflicts between events... tree | commitdiff
2021-01-19 rtrimanaFixing bug due to refactoring/moving of code in the... tree | commitdiff
2021-01-19 rtrimanaRefactoring/moving handler in the listener to check... tree | commitdiff
2021-01-19 rtrimanaAdding a handler in the listener to check if the benchm... tree | commitdiff
2021-01-14 rtrimanaFixed a typo in the new class. tree | commitdiff
2021-01-14 rtrimanaAdding another version of DPOR implementation that... tree | commitdiff
2021-01-13 rtrimanaRecording predecessors per state as opposed to per... tree | commitdiff
2021-01-06 rtrimanaFixing bugs: the main one is to create a local copy... tree | commitdiff
2020-12-16 rtrimanaFixing a few bugs, e.g., missing rwSet.copy(), misplace... tree | commitdiff
2020-12-15 rtrimanaMore cleanups for comments and variable names. tree | commitdiff
2020-12-15 rtrimanaCleaning up: checking source code for (potential) bugs. tree | commitdiff
2020-12-15 rtrimanaCleaning up: checking source code for (potential) bugs. tree | commitdiff
2020-12-14 rtrimanaAdding untested summary code in DPORStateReducerWithSum... tree | commitdiff
2020-12-14 rtrimanaFixing a potential bug: if statement that contains... tree | commitdiff
2020-12-14 rtrimanaMoving updateBacktrackSetsFromGraph into choiceGenerato... tree | commitdiff
2020-12-14 rtrimanaCleaning up DPORStateReducer.java tree | commitdiff
2020-12-14 UCI Networking GroupAdding untested summary code in DPORStateReducerWithSum... tree | commitdiff
2020-12-11 UCI Networking GroupFixing a potential bug: if statement that contains... tree | commitdiff
2020-12-07 UCI Networking GroupMoving updateBacktrackSetsFromGraph into choiceGenerato... tree | commitdiff
2020-12-07 UCI Networking GroupCleaning up DPORStateReducer.java tree | commitdiff
2020-09-24 rtrimanaRefresh the cached conflict transitions when performing... tree | commitdiff
2020-09-23 rtrimanaRemoving dead/commented code. tree | commitdiff
2020-09-22 rtrimanaFixing a bug: summary of conflict transitions is to... tree | commitdiff
2020-09-22 rtrimanaFixing a bug: should use equals() to compare the values... tree | commitdiff
2020-09-22 rtrimanaFixing bug: 1) pushed transition should have been the... tree | commitdiff
2020-09-21 rtrimanaFixing a bug: summary of conflict transition and ReadWr... tree | commitdiff
2020-09-18 rtrimanaMinor changes to input arguments of some methods/functions. tree | commitdiff
2020-09-17 rtrimanaAdding checks to ensure that a predecessor is only... tree | commitdiff
2020-09-11 rtrimanaTesting the implementation; fixing a bug. tree | commitdiff
2020-09-10 rtrimanaSmall edits in method updateBacktrackSetsFromPreviousEx... tree | commitdiff
2020-09-09 rtrimanaCleaning up the code; still need to test everything. tree | commitdiff
2020-09-08 rtrimanaMaking the implementation of updateBacktrackSetDFS... tree | commitdiff
2020-09-04 rtrimanaInitial implementation of more efficient traversal... tree | commitdiff
2020-09-03 rtrimanaAdding a new file for a more efficient implementation... tree | commitdiff
2020-07-10 rtrimanaAdding missing 'add' into HashSet. aug2020 tree | commitdiff
2020-07-10 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2020-07-10 rtrimanaChanging StringBuilder into HashMap and HashSet. tree | commitdiff
2020-07-09 rtrimanaGenerate a new RestorableVMState object only when it... tree | commitdiff
2020-07-07 rtrimanaAdding notes in the latest changes for the serializer... tree | commitdiff
2020-07-04 rtrimanaMore filtering: never define a method call 'call' since... tree | commitdiff
2020-07-03 rtrimanaIntegrating bug fix for CFSerializer. tree | commitdiff
2020-07-02 rtrimanaFixing a bug: in the second round of boolean CG, we... tree | commitdiff
2020-06-26 rtrimanaAdding debug mode guards for all main methods. tree | commitdiff
2020-06-22 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2020-06-22 rtrimanaAdding a way for JPF to be informed that this is DPOR... tree | commitdiff
2020-06-22 rtrimanaCommenting out a line that causes a lot of loops; let... tree | commitdiff
2020-06-19 rtrimanaBug fix: when state is not found in rGraph, that means... tree | commitdiff
2020-06-19 rtrimanaA few hacks to make the list circular: this lets the... tree | commitdiff
2020-06-17 rtrimanaExplored trace needs to be constructed and modified... tree | commitdiff
2020-06-17 rtrimanaRenaming a variable. tree | commitdiff
2020-06-17 rtrimanaFixing a bug in isConflict method. tree | commitdiff
2020-06-13 rtrimanaMaking field exclusion checks more efficient. tree | commitdiff
2020-06-10 rtrimanaFurther cleaning up (naming, comments, etc.). tree | commitdiff
2020-06-09 rtrimanaAdding happens-before push back. tree | commitdiff
2020-06-09 rtrimanaCleaning up. tree | commitdiff
2020-06-05 rtrimanaNew algorithm implementation; without pushing forward... tree | commitdiff
2020-05-19 rtrimanaFixing a bug: need to get the right choice/event number... tree | commitdiff
2020-05-15 rtrimanaTested updating backtrack sets in the reachability... tree | commitdiff
2020-05-15 rtrimanaTested backtrack in a cycle (local). tree | commitdiff
2020-05-14 rtrimanaAdjusting support methods for reachability analysis... tree | commitdiff
2020-05-14 rtrimanaModifying the algorithm: 1) Find the first conflict... tree | commitdiff
2020-05-07 rtrimanaFixing a bug: completing reachability graph with missin... tree | commitdiff
2020-05-02 rtrimanaFixing bugs: state to reachability graph map has to... tree | commitdiff
2020-05-01 rtrimanaAdding reachability graph for past executions. tree | commitdiff
2020-04-20 rtrimanaAdditional logging feature. tree | commitdiff
2020-04-16 rtrimanaFixing a bug: mapping state to event has to be done... tree | commitdiff
2020-04-15 rtrimanaFixing more bugs with the reachability analysis. tree | commitdiff
2020-04-15 rtrimanaFixing more potential bugs for the reachability analysis. tree | commitdiff
2020-04-15 rtrimanaFixing a bug: separating the state tracking for cycle... tree | commitdiff
2020-04-14 rtrimanaAdding reachability analysis when state matching occurs. tree | commitdiff
2020-04-12 rtrimanaAdding a counter for number of conflicts. tree | commitdiff
2020-04-11 rtrimanaPrinting out the number of transitions. tree | commitdiff
2020-04-10 rtrimanaFixing a bug: misunderstood how the VOD graph is suppos... tree | commitdiff
2020-04-09 rtrimanaTesting DPORStateReducer and ConflictTracker: JPF seems... tree | commitdiff
2020-04-09 rtrimanaFixing a bug: java LinkedList needs removeFirst(),... tree | commitdiff
2020-04-09 rtrimanaFixing a bug: VOD graph traversal should continue with... tree | commitdiff
2020-04-09 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2020-04-09 rtrimanaFixing a bug: restorable state has to be saved when... tree | commitdiff
2020-04-09 rtrimanaOptimization: Compare just the state and the fist event... tree | commitdiff
2020-04-09 rtrimanaChanging approach: Using vm.restoreState() method to... tree | commitdiff
2020-04-08 rtrimanaCommitting a version that almost works: bug to fix... tree | commitdiff
2020-04-07 rtrimanaFirst part of boolean flip seems to be clean; need... tree | commitdiff
2020-04-07 rtrimanaFixing a potential bug: we now store the event number... tree | commitdiff
2020-04-06 rtrimanaCleaning up and fixing bugs; new DPOR implementation... tree | commitdiff
2020-04-04 rtrimanaFixing a bug: we need to start choiceCounter from 1... tree | commitdiff
2020-04-03 rtrimanaReimplementing DPOR Phase 3: Architecting the subsequen... tree | commitdiff
2020-04-02 rtrimanaReimplementing DPOR Phase 2: VOD graph building and... tree | commitdiff
2020-04-01 rtrimanaReimplementing DPOR Phase 1: First trace execution... tree | commitdiff
2020-04-01 rtrimanaStarting a new DPOR implementation. tree | commitdiff
2020-04-01 rtrimanaCleaning up and refactoring. tree | commitdiff
2020-03-31 rtrimanaFixing bugs: capturing object accesses (read/write... tree | commitdiff
2020-03-27 rtrimanaFixing a bug: off-by-one error in the executed trace... tree | commitdiff
2020-03-27 rtrimanaRe-checking and cleaning up the code: most likely still... tree | commitdiff
2020-03-26 rtrimanaAdding the old tracker variable for debugging/testing... tree | commitdiff
2020-03-26 rtrimanaFixing bugs and cleaning up: Continuing sub-graph execu... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.