projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #34 from mdeters/datatypes-kinds
[cvc5.git] / config / cvc4.m4
2014-06-11 Morgan Deters--best now implies --with-glpk --with-abc blob | commitdiff | raw
2014-06-11 Morgan DetersSome clean-up, post bv-merge. blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best... blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersGLPK build identifier, license warnings. blob | commitdiff | raw | diff to current
2013-12-09 Morgan DetersGLPK build identifier, license warnings. blob | commitdiff | raw | diff to current
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-29 Morgan DetersFix numerous compiler warnings on various platforms blob | commitdiff | raw | diff to current
2013-03-27 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... blob | commitdiff | raw | diff to current
2012-03-30 Dejan Jovanovićfixing some build systme warnings blob | commitdiff | raw | diff to current
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk: blob | commitdiff | raw | diff to current
2011-09-28 Morgan Detersbetter fix for #281, also fix issue with command line... blob | commitdiff | raw | diff to current
2011-09-16 Morgan Detersfix debian build without breaking anything (i hope) blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-04-10 Morgan Detersmerge from replay branch blob | commitdiff | raw | diff to current
2010-12-17 Morgan Deterstls.h, rational.h, and integer.h are only re-generated... blob | commitdiff | raw | diff to current
2010-10-04 Morgan Detersfix regular expressions in build system blob | commitdiff | raw | diff to current
2010-10-01 Morgan Detersreplacement implementation for clock_gettime() on mac... blob | commitdiff | raw | diff to current
2010-07-03 Morgan DetersWith this commit come a number of changes to build... blob | commitdiff | raw | diff to current
2010-06-18 Morgan Deters"statistics" and "staticbinary" are now tags on the... blob | commitdiff | raw | diff to current
2010-03-05 Morgan Deters* public/private code untangled (smt/smt_engine.h no... blob | commitdiff | raw | diff to current
2010-02-22 Morgan DetersRe-committing revision 232 properly: blob | commitdiff | raw | diff to current
2010-02-22 Morgan Detersundoing improperly-committed revision 232; will re... blob | commitdiff | raw | diff to current
2010-02-22 Cesare Tinelli* Add virtual destructors to CnfStream, Theory, OutputC... blob | commitdiff | raw | diff to current
2010-02-19 Morgan Deters* Attribute infrastructure -- static design. Documenta... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., ".... blob | commitdiff | raw | diff to current
2009-12-16 Morgan Deters+ refactoring fixes for expr package based on code... blob | commitdiff | raw | diff to current
2009-12-11 Morgan Detersbuild fixes, configuration simplifications blob | commitdiff | raw | diff to current