Age | Commit message (Expand) | Author |
---|---|---|
2012-05-17 | Fixed bug 338: | Liana Hadarean |
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
2012-04-18 | add the missing BINARY variable in some test/regress makefiles | Kshitij Bansal |
2012-04-11 | merge from arrays-clark branch | Morgan Deters |