December 21, 2016
View 15370ed

Halt execution at yield with -Y to simplify SAT formula

bdemsky authored on 21/12/2016 23:10:42
View 40913ce

Fix yield bug part 2

bdemsky authored on 21/12/2016 02:10:11
December 20, 2016
View bd644b5

Fix yield bug

bdemsky authored on 20/12/2016 07:59:45
December 16, 2016
View 9031836

update debugging information in readme file

bdemsky authored on 16/12/2016 20:18:38
View f28f1ff

update docs and remove unused option

bdemsky authored on 16/12/2016 20:14:54
View d2cccdb

Check in a README file

bdemsky authored on 16/12/2016 05:24:57
December 15, 2016
View dda2d5d

Build without warnings

bdemsky authored on 15/12/2016 18:32:52
View 4e8a7fe

Remove C/C++11 header files that we don't really use

bdemsky authored on 15/12/2016 18:26:05
View 9977971

update doxygen file

bdemsky authored on 15/12/2016 06:41:24
View edf2d22

small edits

bdemsky authored on 15/12/2016 06:31:42
View 0866583

fix spacing with make tabbing

bdemsky authored on 15/12/2016 06:29:12
View 5f3838b

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv

Patrick Lam authored on 15/12/2016 06:27:56
View fc4a3bc

edit libinterface docs

Patrick Lam authored on 15/12/2016 06:26:39
View e6a1e68

Add support for uncrustify to fix tabbing

bdemsky authored on 15/12/2016 06:04:16
View 95f907a

whitespace -> use tabs

Patrick Lam authored on 15/12/2016 01:48:20