summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
bdemsky [Thu, 15 Dec 2016 06:31:42 +0000 (22:31 -0800)]
small edits
bdemsky [Thu, 15 Dec 2016 06:29:12 +0000 (22:29 -0800)]
fix spacing with make tabbing
Patrick Lam [Thu, 15 Dec 2016 06:27:56 +0000 (22:27 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
Patrick Lam [Thu, 15 Dec 2016 06:26:39 +0000 (22:26 -0800)]
edit libinterface docs
bdemsky [Thu, 15 Dec 2016 06:04:16 +0000 (22:04 -0800)]
Add support for uncrustify to fix tabbing
Patrick Lam [Thu, 15 Dec 2016 01:48:20 +0000 (17:48 -0800)]
whitespace -> use tabs
bdemsky [Thu, 15 Dec 2016 01:38:02 +0000 (17:38 -0800)]
Document interface
bdemsky [Thu, 15 Dec 2016 01:02:28 +0000 (17:02 -0800)]
Fix build of test directory
Brian Demsky [Thu, 15 Dec 2016 00:50:40 +0000 (16:50 -0800)]
Work around changes in newer versions of glibc
Brian Demsky [Thu, 15 Dec 2016 00:30:00 +0000 (16:30 -0800)]
Increase size of bootstrap bytes as some Linux distributions need more space.
bdemsky [Thu, 24 Nov 2016 06:29:18 +0000 (22:29 -0800)]
Fix TSO Bugs
bdemsky [Wed, 23 Nov 2016 03:21:16 +0000 (19:21 -0800)]
fix broken use of iterator
bdemsky [Sun, 3 Jan 2016 08:40:08 +0000 (00:40 -0800)]
Fix Loop Exit Bug
Patrick Lam [Mon, 5 Oct 2015 21:23:52 +0000 (23:23 +0200)]
add default MC-names for not-found variables in equality test
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
Patrick Lam [Mon, 28 Sep 2015 09:55:28 +0000 (11:55 +0200)]
fix replacement around macro expansion; add new benchmarks from Stavros Aronis
bdemsky [Fri, 21 Aug 2015 18:40:52 +0000 (11:40 -0700)]
Commit state of repository at time of OOPSLA 2015 submission.
projects / satcheck.git / log