projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dc7b43) | patch
Adding the first implementation of visible operation dependency graph for stateful...
authorrtrimana <rtrimana@uci.edu>
Thu, 30 Jan 2020 20:08:01 +0000 (12:08 -0800)
committerrtrimana <rtrimana@uci.edu>
Thu, 30 Jan 2020 20:08:01 +0000 (12:08 -0800)
commitca18eccfbdf9e4102ee3de05efded9d4b68f1334
tree6892dd3fc6bc74be8df4ad183dcb929fd0c599b2tree | snapshot
parent4dc7b430e4ec5e2cdba1c837b1c4960a5875cd6acommit | diff
Adding the first implementation of visible operation dependency graph for stateful DPOR: need to do more test to make sure that it's really working.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.