Programming Languages Research Group: Git - jpf-core.git/atom logUnnamed repository; edit this file 'description' to name the repository.http://plrg.eecs.uci.edu/git/?p=jpf-core.gitstatic/git-favicon.pngstatic/git-logo.png2021-04-20T16:16:33ZgitwebFixing a few bugs in the statistics printout.2021-04-20T16:16:33Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-04-20T16:16:33Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=521727b6f715a6bbbc206456b659d69daf33d9bb
Another fix for the counter for unique transitions.2021-01-29T05:12:51Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-29T05:12:51Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=126bf671565f5669e8e42fc32995aa59e5449a1f
Another fix for the counter for unique transitions.
Another fix for the counter for unique transitions.2021-01-29T05:05:57Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-29T05:05:57Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=cf7ff2a3eae7f0a5b8c214259e0902d5fab646d6
Another fix for the counter for unique transitions.
Fixing the counter for unique transitions.2021-01-28T23:23:11Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-28T23:23:11Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=5b5f4e395544de9213d47ac5ab2106d2cae2f4b3
Adding a counter for unique transitions.2021-01-28T21:39:56Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-28T21:39:56Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=98c46e5011b7212deb87896a3ac764ae786c4ea0
Bug fix: need to check for conflicts between events extracted from the state summary... 2021-01-22T00:06:22Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-22T00:06:22Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=c3dddbf13bb97e250db9d092cef9787d321fe8f0
Bug fix: need to check for conflicts between events extracted from the state summary and the current transition in updateBacktrackSetsFromGraph.
Fixing bug due to refactoring/moving of code in the previous commit to handle apps... 2021-01-19T18:22:39Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-19T18:22:39Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=65940568a7cd0c600af6e481d12b97afb3c55b19
Fixing bug due to refactoring/moving of code in the previous commit to handle apps with no events.
Refactoring/moving handler in the listener to check if the benchmark has no event... 2021-01-19T00:21:18Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-19T00:21:18Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=d568c92869ed8d279615d50dc8e1c5ee765bef76
Refactoring/moving handler in the listener to check if the benchmark has no event (in this case we don't do DPOR).
Adding a handler in the listener to check if the benchmark has no event (in this... 2021-01-19T00:09:59Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-19T00:09:59Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=c1a4d7c56d0b0f380240319b056398f74c5ab0d1
Adding a handler in the listener to check if the benchmark has no event (in this case we don't do DPOR).
Fixed a typo in the new class.2021-01-14T18:31:14Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-14T18:31:14Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=2d80346e5b60963ba456411fde0a288c6bf2e321
Adding another version of DPOR implementation that considers only the end states... 2021-01-14T18:18:34Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-14T18:18:34Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=04ebd27427c10cd4ce8b3c579a444b5feeaf96e8
Adding another version of DPOR implementation that considers only the end states of transitions.
Recording predecessors per state as opposed to per transition.2021-01-13T20:09:43Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-13T20:09:43Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=2491e80a7fdfc1a732836e568d6e075b51dbe443
Recording predecessors per state as opposed to per transition.
Fixing bugs: the main one is to create a local copy of the set that contains accesses... 2021-01-06T22:19:32Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2021-01-06T22:19:32Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=d7f927a163c3cf8f1ca1e136433ac3d52f6c0f54
Fixing bugs: the main one is to create a local copy of the set that contains accesses in updateBacktrackSetDFS().
Fixing a few bugs, e.g., missing rwSet.copy(), misplaced check for empty rwSet, etc.2020-12-16T17:46:48Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2020-12-16T17:46:48Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=adca12bcd2d11a210d05ad71d0d03b2ec62f97db
Fixing a few bugs, e.g., missing rwSet.copy(), misplaced check for empty rwSet, etc.
More cleanups for comments and variable names.2020-12-15T17:49:27Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2020-12-15T17:49:27Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=f3d51ec7dc305c16edf5094886d71daf5b0a7295
Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was... 2020-12-11T00:01:36Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2020-12-11T00:01:36Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=19be6924aa748aed8511f49b6ac84c1d7301afbb
Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was only called once.
Moving updateBacktrackSetsFromGraph into choiceGeneratorAdvanced so that it's always... 2020-12-07T18:44:11Zrtrimanartrimana@uci.edurtrimanartrimana@uci.edu2020-12-07T18:44:11Zhttp://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff;h=b56235883f0f40b95df581cf49f380f6d6d30ec6
Moving updateBacktrackSetsFromGraph into choiceGeneratorAdvanced so that it's always executed after updateBacktrackSet following Algorithm 2.