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

[cvc5.git] / src / options / Makefile.am

2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw
2015-12-19	Tim King	Modifying emptyset.h and sexpr. Adding SetLanguage.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-12-03	Tim King	Modifying the src/options/Makefile.am for travis.	blob \| commitdiff \| raw \| diff to current
2015-12-03	Tim King	Modifying options/Makefile.am to pass distcheck. There...	blob \| commitdiff \| raw \| diff to current
2015-12-02	Tim King	Separating the steps of the old mkoptions script into...	blob \| commitdiff \| raw \| diff to current
2015-11-05	Tim King	Merging the google branch back into master.	blob \| commitdiff \| raw \| diff to current
2015-11-05	Tim King	This commit slightly generalizes the scripts for genera...	blob \| commitdiff \| raw \| diff to current
2015-10-26	Tim King	This commit moves the scripts for building the Debug_ta...	blob \| commitdiff \| raw \| diff to current
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current
2014-07-13	Morgan Deters	Fix a bug in Boolean terms and arrays. Thanks to Jean...	blob \| commitdiff \| raw \| diff to current
2014-06-09	Kshitij Bansal	Merge pull request #29 from kbansal/alternatefix	blob \| commitdiff \| raw \| diff to current
2014-06-09	Morgan Deters	Add missing set of braces, fixes --trace.	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Fix for rewriterules build breakage.	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	Merge pull request #10 from kbansal/sets-for-merge	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	add new theory (sets)	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-11	Tianyi Liang	Theory of strings.	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-06	Dejan Jovanović	IDL example theory (to be used with --use-theory=idl).	blob \| commitdiff \| raw \| diff to current
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	fix to build system: #include the proper file when...	blob \| commitdiff \| raw \| diff to current
2012-10-26	Morgan Deters	build options sources into distribution tarballs (in...	blob \| commitdiff \| raw \| diff to current
2012-10-24	Morgan Deters	Includes many fixes to build system for Solaris (thanks...	blob \| commitdiff \| raw \| diff to current
2012-09-29	Morgan Deters	draft RELEASE-NOTES file, and minor release stuff	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-14	Morgan Deters	Fix a few minor issues in options processing, improving...	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	To the build system:	blob \| commitdiff \| raw \| diff to current
2012-08-28	Morgan Deters	Improved compatibility layer, now supports quantifiers...	blob \| commitdiff \| raw \| diff to current
2012-08-22	Morgan Deters	fix some build dependencies in options-building; should...	blob \| commitdiff \| raw \| diff to current
2012-08-06	Morgan Deters	Support setting :regular-output-channel and :diagnostic...	blob \| commitdiff \| raw \| diff to current
2012-08-01	Morgan Deters	fixes to some *clean targets	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current

RSS Atom