summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-01-03remove options infrastructure code which depended on undefined behavior1.4.xKshitij Bansal
appears to be source of crashes on mac
2014-11-09Work around an apparent bug in libc++ that was causing crashes on Mac..Morgan Deters
2014-11-09Fix a deterministic assignment-ordering for get-assignment (fixes a ↵Morgan Deters
regression failure on Mac).
2014-11-09Increase stack size when running regressions (fixes some regression crashes ↵Morgan Deters
on Mac).
2014-11-07Fix missing case in Boolean terms rewriting. (Resolves bug #596.)Morgan Deters
2014-11-07Corrected fix for missing case in model postprocessor (resolves bug #595).Morgan Deters
2014-11-07Revert "Fix missing case in model postprocessor (resolves bug #595)."Morgan Deters
This reverts commit 61042cf551b19d06673be2b069bacc7cb1cd775a.
2014-11-07Fix missing case in model postprocessor (resolves bug #595).Morgan Deters
2014-11-05Fix get-bug-attachments script.Morgan Deters
2014-10-17Remove a bad (unstable, timing-dependent) test.Morgan Deters
2014-10-16Add Thomas Hunger to THANKS file (for having submitted patches).Morgan Deters
2014-10-11Some defensive programming at destruction time, and fix a latent dangling ↵Morgan Deters
pointer bug.
2014-10-10Fix issue with shared but non-preregistered term setup. Thanks Alvise ↵Kshitij Bansal
Rabitti for the report.
2014-10-08Remove private header from public driver.Morgan Deters
2014-10-06Fix a bug in tuple-record handling. Thanks to Saumya Debray for the report.Morgan Deters
2014-10-06fix for bug586Kshitij Bansal
2014-10-06Fix native language parsing of chained-store expressions (resolves bug 585). ↵Morgan Deters
Thanks to Eric Seidel for the report. Also fixed some operator precedence problems w.r.t. store expressions and arithmetic.
2014-10-03Fix output of integer-valued real constants in SMT-LIB models (thanks ↵Morgan Deters
Christoph Sticksel for reporting).
2014-10-03Improve error in CVC parser in presence of unrecognized command name.Morgan Deters
2014-10-03Minor fixes to CVC printer.Morgan Deters
2014-10-03Fix unit test for ArrayStoreAll.Morgan Deters
2014-10-02Update AUTHORS affiliations and add Martin.Morgan Deters
2014-10-02Fix comment in SmtEngine.Morgan Deters
2014-10-02Fix for an array-of-record model generation assert-fail (assert was too strong).Morgan Deters
2014-09-30Fix improper #inclusion of private header outside library.Morgan Deters
2014-09-30Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ↵Morgan Deters
Sticksel for the report.
2014-09-27Fix infinite loop in --bitblast-aig/--bv-aig-simp options.Morgan Deters
2014-09-26Fix bv options doc.Morgan Deters
2014-09-26Fix some configuration-related oddness.Morgan Deters
2014-09-26Clarify some licensing-related things.Morgan Deters
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-17Fix fix. There are no unsat cores in 1.4Kshitij Bansal
2014-09-17Fix (push) and (pop). Thanks to Christoph Sticksel for the bug report.Kshitij Bansal
2014-08-28fixing bug580 caused by bad bv inequality explanationlianah
2014-08-22Fix incorrectly-labeled test.Morgan Deters
2014-08-22Fix operator-printing issue in SMT2.Morgan Deters
2014-08-22Fix SMT1 parser :extrasorts/:extrapreds.Morgan Deters
2014-08-19Produce error for bad indexed function names in SMT-LIB, remove antlr warning.Morgan Deters
2014-08-18Revert a8e0ce67 and add test case (resolves bug #578).Morgan Deters
This reverts commit a8e0ce673ba00533a663804cf74500e4d9a3a5cb.
2014-08-05fixed bug575 for bv modelslianah
2014-08-04Some fixes to symmetry breaker (resolves bug 576).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 ↵Morgan Deters
for the report.
2014-07-11Spelling.Morgan Deters
2014-07-11fix for windows buildKshitij Bansal
2014-07-10Merge pull request #48 from kbansal/segfaultfixKshitij Bansal
Segfaultfix
2014-07-10Merge pull request #49 from kbansal/cvcparserKshitij Bansal
Cvcparser
2014-07-10rm warningKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback