5 Commits

Author	SHA1	Message	Date
Victor Popkov	2294e81724	cvc4.rb: add name	2015-04-05 08:31:12 +03:00
Roland Walker	6795cc5615	add PATH `caveats` to cvc4.rb	2015-01-02 07:40:45 -05:00
ndr	d66e7e5e33	Whitespace, layout nits in cvc4	2014-12-20 15:33:38 +00:00
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