summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2013-12-05disable substring in default modeTianyi Liang
2013-12-05Fix NodeValue bitfields for 32-bit; fix comment.Morgan Deters
2013-12-05Minor cleanup.Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-12-05Fixes related to parametric datatype printing.Morgan Deters
2013-12-05Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor...Morgan Deters
2013-12-05Script fixes; when determining authorship of source files, don't count copyri...Morgan Deters
2013-12-05Fix NEWS.Morgan Deters
2013-12-05NEWS reorganization.Morgan Deters
2013-12-04Remove a regression for which the portfolio takes forever (see bug 542).Morgan Deters
2013-12-04Minor cleanup.Morgan Deters
2013-12-04Partial kind branch merge, including new --rewrite-apply-to-const feature.Morgan Deters
2013-12-04Don't put define-funs in model output; bug 411 testcase no longer relevant.Morgan Deters
2013-12-04Updated acknowledgments.Morgan Deters
2013-12-04More Java bindings fixesMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback