satcheck.git
6 years agoadd MC2_function call for assignments where RHS computed from loads; tweak tests
Patrick Lam [Sun, 4 Oct 2015 21:17:51 +0000 (23:17 +0200)]
add MC2_function call for assignments where RHS computed from loads; tweak tests

6 years agofix replacement around macro expansion; add new benchmarks from Stavros Aronis
Patrick Lam [Mon, 28 Sep 2015 09:55:28 +0000 (11:55 +0200)]
fix replacement around macro expansion; add new benchmarks from Stavros Aronis

6 years agoCommit state of repository at time of OOPSLA 2015 submission.
bdemsky [Fri, 21 Aug 2015 18:40:52 +0000 (11:40 -0700)]
Commit state of repository at time of OOPSLA 2015 submission.