projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7228c60) | patch
Make updates and not edges have manual property
authorBrian Demsky <bdemsky@uci.edu>
Tue, 17 Dec 2019 06:57:19 +0000 (22:57 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 17 Dec 2019 06:57:19 +0000 (22:57 -0800)
commit4dc7b430e4ec5e2cdba1c837b1c4960a5875cd6a
tree98bd83358d646166eec671a02894cc3b38e60f48tree | snapshot
parent7228c60bf0fa159076601644688e9fbd752e3fe7commit | diff
Make updates and not edges have manual property
src/main/gov/nasa/jpf/listener/ConflictTracker.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.