git.libre-soc.org Git - cvc5.git/history

2012-10-03	Morgan Deters	updates to contrib scripts to match docs	blob \| commitdiff \| raw
2012-10-03	Morgan Deters	better documentation, allow examples to be installed...	blob \| commitdiff \| raw \| diff to current
2012-09-26	Morgan Deters	Fix a handful of things for Mac, and Java bindings.	blob \| commitdiff \| raw \| diff to current
2012-06-18	Morgan Deters	final sources (?) for competition	blob \| commitdiff \| raw \| diff to current
2012-06-13	Morgan Deters	Don't use the "inlined" feature of ANTLR 3.2, which...	blob \| commitdiff \| raw \| diff to current
2012-02-12	Morgan Deters	separate new-theory components into a "theoryskel"...	blob \| commitdiff \| raw \| diff to current
2012-02-10	Morgan Deters	script to ease creating a new theory from scratch ...	blob \| commitdiff \| raw \| diff to current
2011-05-05	Morgan Deters	luby sequence generator; can use to plot MiniSat's...	blob \| commitdiff \| raw \| diff to current
2010-10-27	Morgan Deters	"make dist" fixes; a distribution tarball can now build...	blob \| commitdiff \| raw \| diff to current
2009-11-09	Morgan Deters	minor fixes, added contrib directory	blob \| commitdiff \| raw \| diff to current