projects / satcheck.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44e8eab) | patch
fix replacement around macro expansion; add new benchmarks from Stavros Aronis
authorPatrick Lam <prof.lam@gmail.com>
Mon, 28 Sep 2015 09:55:28 +0000 (11:55 +0200)
committerPatrick Lam <prof.lam@gmail.com>
Mon, 28 Sep 2015 09:55:28 +0000 (11:55 +0200)
commit52b59882a22019190a4f6cb35c65ce1221b4a96e
treefcf89d1116b42d2085583c5610f3cc8f1f3ee8d6tree | snapshot
parent44e8eabc8f7a0ab23c29037a770463d8a2de7b4acommit | diff
fix replacement around macro expansion; add new benchmarks from Stavros Aronis
benchmarks/satcheck-precompiled/dekker/dekker-fences.c diff | blob | history
clang/src/add_mc2_annotations.cpp diff | blob | history
clang/test/fib_easy_false.c [new file with mode: 0644] blob
clang/test/fib_easy_true.c [new file with mode: 0644] blob
clang/test/fib_easy_true_if.c [new file with mode: 0644] blob
SATCheck ModelChecker