projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 332b662) | patch
Adding a new file for a more efficient implementation; the implementation for updateB...
authorrtrimana <rtrimana@uci.edu>
Thu, 3 Sep 2020 19:10:58 +0000 (12:10 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 3 Sep 2020 19:10:58 +0000 (12:10 -0700)
commit35b8d8a509cdb215f3a2956f92d6e74268405b5f
tree0e22e4e76e09283d7293b2cfcef5a78b428d9ebetree | snapshot
parent332b6623f6b5d4cd9119c61352c804ef78870889commit | diff
Adding a new file for a more efficient implementation; the implementation for updateBacktrackSetDFS is made closer to the paper.
src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.