September 2, 2017
View d5e97e1

Fix apparent bug...

bdemsky authored on 02/09/2017 05:09:33
August 16, 2017
View b394fb6

Fix MC_Equals to handle NODEP MCIDs.

sy2zhao authored on 16/08/2017 19:40:47
May 26, 2017
View c8a74ed

another benchmark

Patrick Lam authored on 26/05/2017 14:59:57
May 10, 2017
View 3469879

Need to allow for one spare encoding for the non-executed case with no suitable stores.

bdemsky authored on 10/05/2017 00:41:48
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