summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-08-15Update smt_engine.cppKshitij Bansal
2014-08-12To avoid confusion, permit --enable-staticbinary as an alias for --enable-sta...Morgan Deters
2014-08-09Fix a build issue for some configurations, thanks Tianyi.Morgan Deters
2014-08-08Add draft of BV proof signature (incomplete) and example proof.ajreynol
2014-08-07Another build fix.Morgan Deters
2014-08-07Fix win32 build.Morgan Deters
2014-08-06Fix double-linking issue (I think) by simplifying builds/ structure.Morgan Deters
2014-08-06First crack at fixing double-linking issues in build system.Morgan Deters
2014-08-05Fix for manpages.Morgan Deters
2014-08-05fixed bug575 for bv modelslianah
2014-08-05Minor fix : do not drop instantiation patterns when merging quantifiers.ajreynol
2014-08-04Some fixes to symmetry breaker (resolves bug 576).Morgan Deters
2014-08-04Better support for resource-limiting when there aren't any actual conflicts.Morgan Deters
2014-08-01Minor cleanup from previous commit. Better organization for how quantifiers ...ajreynol
2014-07-31New module for generating candidate equality conjectures used in inductive pr...ajreynol
2014-07-26Minor bug fix for exhaustive instantiation in model_engine.ajreynol
2014-07-25bug fix for pierre 0717Tianyi Liang
2014-07-25fix for regexp union rewritingTianyi Liang
2014-07-25patch for regular expression intersection cachingTianyi Liang
2014-07-24merging...Tianyi Liang
2014-07-24add delayed length lemmasTianyi Liang
2014-07-21initialization in model_engineKshitij Bansal
2014-07-21run_regression using valgrind by setting VALGRIND=1Kshitij Bansal
2014-07-19Minor fix for explanations for co-datatypes. Bug fix for explanations in FMF...ajreynol
2014-07-13Versioning for master.Morgan Deters
2014-07-13New versioning for development version.Morgan Deters
2014-07-13Cutting release 1.4.1.4Morgan Deters
2014-07-12Status for new bug testcase.Morgan Deters
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-07-11Spelling.Morgan Deters
2014-07-11fix for windows buildKshitij Bansal
2014-07-10Merge pull request #48 from kbansal/segfaultfixKshitij Bansal
2014-07-10Merge pull request #49 from kbansal/cvcparserKshitij Bansal
2014-07-10rm warningKshitij Bansal
2014-07-10membership cvc token changed to `IS_IN' to avoid conflict with IN used for letKshitij Bansal
2014-07-10Merge remote-tracking branch 'origin/master' into segfaultfixKshitij Bansal
2014-07-10friendlyparser: go back upto 2 words looking for matchKshitij Bansal
2014-07-10reorganize friendlyparser, behavior unchangedKshitij Bansal
2014-07-09sets cvc parserKshitij Bansal
2014-07-09sets cvc printerKshitij Bansal
2014-07-04initialize variablesKshitij Bansal
2014-07-03change lemma generation behaviorKshitij Bansal
2014-07-02Fix cut-release script for new configure rules.Morgan Deters
2014-07-02Minor.Morgan Deters
2014-07-01Update portfolio_util.cppKshitij Bansal
2014-07-01Fix path in CASC J7 scripts, and distribute them with tarball.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-07-01reword NEWSMorgan Deters
2014-07-01Merge pull request #44 from mdeters/prio-queue-updatesMorgan Deters
2014-07-01chat about thread creationKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback