summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2013-12-22Merge branch '1.3.x'Morgan Deters
2013-12-22Fix to interactive mode determination.Morgan Deters
2013-12-22Fix option specification.Morgan Deters
2013-12-18Merge branch '1.3.x'Morgan Deters
[skip ci]
2013-12-18Fix an autoconf issue with CLN in some configurations; also clarification ↵Morgan Deters
re: license issues [skip ci]
2013-12-18Merge branch '1.3.x'Morgan Deters
2013-12-18Fix configure handling for CLN (should fix win32 nightly builds)Morgan Deters
2013-12-18Merge branch '1.3.x'Morgan Deters
2013-12-18Reduce autoconf version for dependence (should fix 32-bit builds).Morgan Deters
2013-12-18Add missing regression-results directory.Morgan Deters
2013-12-17Merge branch '1.3.x'Morgan Deters
2013-12-17configure --with-portfolio disables CLN.Morgan Deters
2013-12-17Merge branch '1.3.x'Morgan Deters
Conflicts: COPYING NEWS
2013-12-17some config changes: new --bsd option, readline gives warning, default build ↵Morgan Deters
is now production.
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
2013-12-16Merge branch '1.3.x'Morgan Deters
2013-12-16Send Travis-CI emails to everyoneMorgan Deters
2013-12-16Merge branch '1.3.x'Morgan Deters
2013-12-16Fix for bug 544.Morgan Deters
2013-12-13Merge branch '1.3.x'Morgan Deters
2013-12-13Another fix for clang.Morgan Deters
2013-12-13Merge branch '1.3.x'Morgan Deters
2013-12-13Fix stack size on in-tree regressions.Morgan Deters
2013-12-13cleanupMorgan Deters
2013-12-13Merge branch '1.3.x'Morgan Deters
2013-12-13Fix link error when using clang.Morgan Deters
2013-12-13Fix to Travis-CI config.Morgan Deters
2013-12-13Fix to Travis-CI config.Morgan Deters
2013-12-13Merge branch '1.3.x'Morgan Deters
2013-12-13Travis-CI configuration.Morgan Deters
2013-12-13Some minor cleanup.Morgan Deters
2013-12-10Update NEWS.Morgan Deters
2013-12-10Merge branch '1.3.x'Morgan Deters
2013-12-10Fix timer statistics to report correct time even on process abort.Morgan Deters
2013-12-10Whitespace.Morgan Deters
2013-12-10Fix warning.Morgan Deters
2013-12-10Remove "NodeValue width" outputMorgan Deters
2013-12-10GLPK build identifier, license warnings.Morgan Deters
2013-12-10Fix timer statistics to report correct time even on process abort.Morgan Deters
2013-12-10Whitespace.Morgan Deters
2013-12-10Fix warning.Morgan Deters
2013-12-10Remove "NodeValue width" outputMorgan Deters
2013-12-09GLPK build identifier, license warnings.Morgan Deters
2013-12-09Merge branch '1.3.x'Kshitij Bansal
2013-12-09mv prp to regress1Kshitij Bansal
2013-12-07Merge branch '1.3.x'Kshitij Bansal
2013-12-07fix bug 542Kshitij Bansal
2013-12-06Initializing master for next version.Morgan Deters
2013-12-06Initializing 1.3.x branch.Morgan Deters
2013-12-06Cutting release 1.3.1.3Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback