summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-03-06more slicer changes for incrementallianah
2013-02-13started working on incremental slicer - not compilinglianah
2013-02-11undid the caching that actually hurt performancelianah
2013-02-05Added path compression and caching for getBaseDecomposition.Liana Hadarean
2013-02-04Fixing regression failure. The only unfixed ones seem model related which wou...lianah
2013-02-01merged master into branchlianah
2013-02-01minor changes.lianah
2013-01-31done fixing slicer bugs.lianah
2013-01-31Merge branch '1.0.x'Morgan Deters
2013-01-31Fix a small problem in clang builds due to namespaces and symbol lookupMorgan Deters
2013-01-31Adding a heuristic to more eagerly split bounded integer variables.Tim King
2013-01-30fixed some more bugslianah
2013-01-30correct output language bug with --dump-toMorgan Deters
2013-01-29fixing slicer bugs.Liana Hadarean
2013-01-29fixeslianah
2013-01-28fix for finite model finding caused by new collectModelInfo codeAndrew Reynolds
2013-01-28compiling implementation of new slicer finished; need to add debugging inform...lianah
2013-01-28Fixes for Win32 (closes bugs 488 and 489)Morgan Deters
2013-01-28made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro...Andrew Reynolds
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2013-01-28made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro...Andrew Reynolds
2013-01-27some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype...Andrew Reynolds
2013-01-27some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype...Andrew Reynolds
2013-01-26Merge branch '1.0.x'Morgan Deters
2013-01-26another fix for quantifier models (related to bug 486)Morgan Deters
2013-01-25fix --check-model --finite-model-find when used together (related to bug 486)Morgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2013-01-25fix --check-model --finite-model-find when used together (related to bug 486)Morgan Deters
2013-01-25starting the slicer form scratch.lianah
2013-01-25minor changes trying to optimize the slicing codelianah
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2013-01-23Adding miplibtrick option.Tim King
2013-01-23Adding substitution size cap.Tim King
2013-01-23fix to workaround ANTLR 3.2 issue with initializationMorgan Deters
2013-01-23partially address bug 486: allow some model inspection of quantifiersMorgan Deters
2013-01-23partially address bug 486: allow some model inspection of quantifiersMorgan Deters
2013-01-23add user patterns to the Smt1 parser; update NEWS fileMorgan Deters
2013-01-22Merge branch '1.0.x'Morgan Deters
2013-01-22fix for theory preprocessing cache on clang, perhaps others.Morgan Deters
2013-01-22Merge branch '1.0.x'Morgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2013-01-19Merge branch '1.0.x'Morgan Deters
2013-01-19Fix an options-processing bug on some platforms (e.g., MacOS).Morgan Deters
2013-01-14fixed more minor bugslianah
2013-01-10fixed most bugs and added paranoid assertionslianah
2013-01-10minor bug fixesLiana Hadarean
2013-01-10slicer bug fixingLiana Hadarean
2013-01-08SMT-LIB get-model output now is easier to machine-parse: contains (model...) ...Morgan Deters
2012-12-21Merge branch '1.0.x'Dejan Jovanović
2012-12-21adding copy constructor for the datatype enumeratorDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback