summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2016-12-03Fix unit test for datatypes, add interface functions to datatypes.ajreynol
2016-12-02Fix for bug 734Clark Barrett
2016-12-02Cleaning up Statistics::copyFrom to avoid casts.Tim King
2016-12-02Initializing the d_pivots variable.Tim King
2016-12-02Merge pull request #95 from 4tXJ7f/fix_sierra_buildTim King
2016-12-02Merge pull request #113 from 4tXJ7f/remove_extract_ruleClark Barrett
2016-12-02Bug fixes and refactoring of parametric datatypes, add some regressions.ajreynol
2016-12-02Refactor preprocessing of models in fmf. Fix options --fmf-empty-sorts and --...ajreynol
2016-12-01Fix build on macOS SierraAndres Notzli
2016-12-01Fix quantifiers dynamic splitting module for incremental mode, fixes bug 765 ...ajreynol
2016-12-01Improvement and bug fix for str.indexof reduction, add regression. Other mino...ajreynol
2016-11-30Remove wrong `ExtractMultLeadingBit` ruleAndres Notzli
2016-11-30Fix parsing of BVROTR by CVC parserAndres Notzli
2016-11-28Merge pull request #112 from 4tXJ7f/fix_mult_distribClark Barrett
2016-11-22Fix smt2 and cvc printers for testers when output and input languages are dif...ajreynol
2016-11-21Fix `MultDistrib` rewrite ruleAndres Notzli
2016-11-21Refactoring related to track instantiation option.ajreynol
2016-11-18Removing some throw specifiers from OutputChannel. Fixes bug 716.Tim King
2016-11-18Add support for set-logic ALL, fix compiler error in GCC 6.1Clark Barrett
2016-11-16Merge pull request #108 from timothy-king/smt2-parser-exception-leaksClark Barrett
2016-11-14relational solver code refactor and bug fixes Paul Meng
2016-11-14Minor improvement to caching for extf bv inferences.ajreynol
2016-11-13Adding garbage collection for the Smt2 Parser for Commands when exceptions ar...Tim King
2016-11-12Merge pull request #107 from timothy-king/smt1-parser-exception-leaksClark Barrett
2016-11-12Merge pull request #106 from timothy-king/cvc-parser-exception-leaksClark Barrett
2016-11-12Fixed a bug in cdhashmap in which doubly-linked list was not properly cleaned...Clark Barrett
2016-11-12Adding garbage collection for the Smt1 Parser for Commands when exceptions ar...Tim King
2016-11-11Adding garbage collection for the CVC Parser for Commands when exceptions are...Tim King
2016-11-11Merge pull request #105 from timothy-king/delete-maxed-outTim King
2016-11-11Deleting the remaining commands in the Parser's queue within ~Parser().Tim King
2016-11-11Applying clang-format to parser.cpp.Tim King
2016-11-11Speeding up the common branches for inc().Tim King
2016-11-11Enable eager bitblasting for QF_ABV when no stores are present.Clark Barrett
2016-11-11Add simple inferences for extended bitvector functions, add a few related opt...ajreynol
2016-11-10Adding garbage collection of nodes with maxed out reference counts.Tim King
2016-11-10Added PtrCloser guards for constructNodePtr. This ensures garbage collection ...Tim King
2016-11-10Add option for enabling/disabling lazy extended function reduction in bitvect...ajreynol
2016-11-09Renaming the class PtrCloser to not cause confusion with unique_ptr.Tim King
2016-11-09Merge branch 'master' into uniq-ptrTim King
2016-11-09Fix tptp parser memory leaks for include.ajreynol
2016-11-08Minor fixes related to ExtTheory + incremental, fixes bug760.ajreynol
2016-11-08Add a few options to separation logic and sets. Minor changes to separation l...ajreynol
2016-11-07Changing ArrayStoreAll's constructor to delay allocation until it is done che...Tim King
2016-11-07Fixing a memory leak in the CnfStream unit tests.Tim King
2016-11-07Fixing a memory leak in the eager bitblaster.Tim King
2016-11-06Adds a C++05 version of unique_ptr. Used this to solve a garbage collection p...Tim King
2016-11-06This switches the ZombieSet in the NodeManager to use NodeValue's id for equa...Tim King
2016-11-04Fix a few more minor memory leaks.ajreynol
2016-11-03Make data points accurate in sep logic models.ajreynol
2016-11-03Add priorities to getNextDecision. Properly handle case for finite types + un...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback