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