summaryrefslogtreecommitdiff
path: root/src/options/Makefile.am
AgeCommit message (Expand)Author
2018-07-27Make Python a required CVC4 dependency. (#2227)Mathias Preiner
2018-03-24Remove doc/libcvc4.3 from options/Makefile.am. (#1696)Mathias Preiner
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2017-11-03Sygus clean main (#1297)Andrew Reynolds
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-05-12Adding VPATH back inmakaimann
2017-05-12Conditional coverage buildmakaimann
2017-04-18Coverage fixmakaimann
2017-03-02Minor cleanup and reorganization related to last commit.ajreynol
2016-06-17Support for separation logic. Enable cbqi by default for pure BV.ajreynol
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-03-21New version of the recursive options parsing strategy.Tim King
2016-01-28Adding listeners to Options.Tim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-03Modifying the src/options/Makefile.am for travis.Tim King
2015-12-02Modifying options/Makefile.am to pass distcheck. There is an unpleasant hack ...Tim King
2015-12-02Separating the steps of the old mkoptions script into smaller phases.Tim King
2015-11-05This commit slightly generalizes the scripts for generating the _tags files.Tim King
2015-10-26This commit moves the scripts for building the Debug_tags, Traces_tags, Debug...Tim King
2014-12-03Floating point infrastructure.Martin Brain
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-06-09Add missing set of braces, fixes --trace.Morgan Deters
2014-03-11Fix for rewriterules build breakage.Morgan Deters
2014-02-21add new theory (sets)Kshitij Bansal
2013-09-11Theory of strings.Tianyi Liang
2013-06-06IDL example theory (to be used with --use-theory=idl).Dejan Jovanović
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-10-26build options sources into distribution tarballs (in the same way that antlr ...Morgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-09-29draft RELEASE-NOTES file, and minor release stuffMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-14Fix a few minor issues in options processing, improving usability, consistenc...Morgan Deters
2012-08-29To the build system:Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-22fix some build dependencies in options-building; should fix a strange bug And...Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback