summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2013-04-01update copyrightsMorgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2013-03-27some Java bindings fixes (fixes Debian build problems)Morgan Deters
2013-03-27Merge branch 'master' into bv-corelianah
2013-03-26added model generation for bv subtheories and bv-inequality solver optionlianah
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-22Support for Boolean term conversion in datatypes.Morgan Deters
2013-03-21Merge branch 'master' into bv-corelianah
2013-03-21Add the ability to "mute" commands, needed for SMT-LIB compliance.Morgan Deters
2013-03-19merged master with dejan's constant evaluating equality engineLiana Hadarean
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14Fix warning (line annotation)Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-03-13post failed attempts at getting the incremental solver to worklianah
2013-03-06more slicer changes for incrementallianah
2013-02-20Some exception specification fixes in SmtEngine/Command infrastructureMorgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-07Merge branch '1.0.x'Morgan Deters
2013-02-07Make --default-dag-thresh apply to stringstreamsMorgan Deters
2013-02-05Merge branch '1.0.x'Morgan Deters
2013-02-05Fix a compiler warning in NodeBuilderMorgan Deters
2013-02-05remove now-unnecessary wrappers from Type interfaceMorgan Deters
2013-02-04Merge branch '1.0.x'Morgan Deters
2013-02-04Fix NodeBuilder bug which could attempt to allocate beyond hard limitMorgan Deters
2013-02-01Merge branch '1.0.x'Morgan Deters
2013-02-01Fix a tuple attribute bug that was causing model-generation problems for tuplesMorgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2012-12-01fix to TNode assertion (which is too strict, given lax ordering requirements ...Morgan Deters
2012-12-01remove instantiator frameworkMorgan Deters
2012-12-01Fix the way abstract values are typed; fixes some compliance issues.Morgan Deters
2012-12-01fix memory corruption issue in debug builds that led to unhelpful outputMorgan Deters
2012-12-01fix #line annotation warningMorgan Deters
2012-11-30Updating the combination.cpp example.Tim King
2012-11-30change detection/handling of output language more reasonably; fixes a nagging...Morgan Deters
2012-11-29minor documentation fixMorgan Deters
2012-11-29Hack to support global variables for CVC language extended to export mechanism.Kshitij Bansal
2012-11-27Functions and predicates over Boolean now work with --check-models and output...Morgan Deters
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
2012-11-27First chunk of boolean-terms support.Morgan Deters
2012-11-27Tuples and records merge. Resolves bug 270.Morgan Deters
2012-11-18Disable predicate subtyping:Morgan Deters
2012-11-17* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT...Morgan Deters
2012-11-12* Fix language bindings: various issuesMorgan Deters
2012-11-09export null nodes (fixes a bug in portfolio model stuff)Kshitij Bansal
2012-11-08Review of trunk r4525 (TypeNode::getBaseType()):Morgan Deters
2012-11-08Added getBaseType - Morgan please checkClark Barrett
2012-11-07* Type ascription bug fixed (resolves bug 432), but there are others I discov...Morgan Deters
2012-10-26better parametric datatype arity checking; fixes bug 433Morgan Deters
2012-10-14fix #line number warnings (sorry!)Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback