projects / jpf-core.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerBrian Demsky
last changeTue, 20 Apr 2021 16:16:33 +0000 (09:16 -0700)
URLgit://plrg.ics.uci.edu/jpf-core.git
ssh://plrg.ics.uci.edu/home/git/jpf-core.git
shortlog
2021-04-20 rtrimanaFixing a few bugs in the statistics printout. master commit | commitdiff | tree | snapshot
2021-01-29 rtrimanaAnother fix for the counter for unique transitions. commit | commitdiff | tree | snapshot
2021-01-29 rtrimanaAnother fix for the counter for unique transitions. commit | commitdiff | tree | snapshot
2021-01-28 rtrimanaFixing the counter for unique transitions. commit | commitdiff | tree | snapshot
2021-01-28 rtrimanaAdding a counter for unique transitions. commit | commitdiff | tree | snapshot
2021-01-22 rtrimanaBug fix: need to check for conflicts between events... commit | commitdiff | tree | snapshot
2021-01-19 rtrimanaFixing bug due to refactoring/moving of code in the... commit | commitdiff | tree | snapshot
2021-01-19 rtrimanaRefactoring/moving handler in the listener to check... commit | commitdiff | tree | snapshot
2021-01-19 rtrimanaAdding a handler in the listener to check if the benchm... commit | commitdiff | tree | snapshot
2021-01-14 rtrimanaFixed a typo in the new class. commit | commitdiff | tree | snapshot
2021-01-14 rtrimanaAdding another version of DPOR implementation that... commit | commitdiff | tree | snapshot
2021-01-13 rtrimanaRecording predecessors per state as opposed to per... commit | commitdiff | tree | snapshot
2021-01-06 rtrimanaFixing bugs: the main one is to create a local copy... commit | commitdiff | tree | snapshot
2020-12-16 rtrimanaFixing a few bugs, e.g., missing rwSet.copy(), misplace... commit | commitdiff | tree | snapshot
2020-12-15 rtrimanaMore cleanups for comments and variable names. commit | commitdiff | tree | snapshot
2020-12-15 rtrimanaCleaning up: checking source code for (potential) bugs. commit | commitdiff | tree | snapshot
...
heads
3 years ago master shortlog | log | tree
4 years ago aug2020 shortlog | log | tree
4 years ago cfbugfix shortlog | log | tree
5 years ago aj_branch shortlog | log | tree
Unnamed repository; edit this file 'description' to name the repository.