projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c003a76) | patch
Reimplementing DPOR Phase 1: First trace execution, cycle detection, R/W field access...
authorrtrimana <rtrimana@uci.edu>
Wed, 1 Apr 2020 23:44:57 +0000 (16:44 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 1 Apr 2020 23:44:57 +0000 (16:44 -0700)
commitcbebe94f5164064cb48640d6025de04fc47d637f
tree23a53982e30405c157b796dc57b2bf6f1a6fdd74tree | snapshot
parentc003a76b9c164b2b07f2fd8515ea36af2a6167e8commit | diff
Reimplementing DPOR Phase 1: First trace execution, cycle detection, R/W field access analysis.
main.jpf diff | blob | history
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.