Commit graph

2 commits

Author SHA1 Message Date
Roland Walker
2b74fa7dc0 enable MacOS.release in cvc4 2014-12-10 11:55:19 -05:00
ndr
bacc4cebac Add CVC4, version 1.4 2014-12-10 15:59:04 +00:00