projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #28 from kbansal/sets
[cvc5.git] / src / theory /
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets tree | commitdiff
2014-06-06 Tim KingPatch for the subtype theoryof mode to make the equalit... tree | commitdiff
2014-06-06 Kshitij Bansalsets: fix equality propagation tree | commitdiff
2014-06-03 ajreynolSupport E-matching/QCF for Set operators. tree | commitdiff
2014-05-30 Morgan DetersBug fix for string-opt2 (copied from Tianyi's branch). tree | commitdiff
2014-05-30 ajreynolImprove --dt-stc-ind for multi-variable datatype proper... tree | commitdiff
2014-05-30 ajreynolFixes for --inst-max-level tree | commitdiff
2014-05-28 ajreynolMinor changes to script. Disable cbqi sat. tree | commitdiff
2014-05-27 Morgan DetersImproved type-checking for tuple and record selects. tree | commitdiff
2014-05-27 Kshitij BansalFix bug 567 tree | commitdiff
2014-05-26 Clark BarrettFixing Tim's subtype/solving bug for arrays tree | commitdiff
2014-05-26 Tim KingFixing a soundness bug due to the default implmentation... tree | commitdiff
2014-05-25 Andrew ReynoldsImprove quantifier instantiation: always use original... tree | commitdiff
2014-05-23 Andrew ReynoldsFix bug in E-matching Real/Int terms. tree | commitdiff
2014-05-20 Morgan DetersFix compiler warning (missing virtual dtor) tree | commitdiff
2014-05-19 Tianyi Liangminor fix for string equality engine assertion. tree | commitdiff
2014-05-17 Kshitij BansalMerge pull request #26 from kbansal/sets tree | commitdiff
2014-05-16 Kshitij Bansalsets: fix a bug in model building, another in handling... tree | commitdiff
2014-05-14 Andrew ReynoldsFinish --dump-instantiations option. Update scripts. tree | commitdiff
2014-05-13 ajreynolAdd lazy strategy for bounded integers to avoid non... tree | commitdiff
2014-05-13 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-13 Tianyi LiangFix a bug in the IndexOf function. tree | commitdiff
2014-05-13 Tianyi LiangFix a bug in the IndexOf function. tree | commitdiff
2014-05-12 Andrew ReynoldsMinor updates/fix to --cbqi-recurse tree | commitdiff
2014-05-12 Tim KingMerge remote-tracking branch 'timothy-king/master' tree | commitdiff
2014-05-12 Tim KingMerging in additional glpk options and statistics from... tree | commitdiff
2014-05-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo... tree | commitdiff
2014-05-12 Tianyi LiangReplace lemma sending with EQ assertions. Fix a typo... tree | commitdiff
2014-05-11 Andrew ReynoldsMore preparation for CASC proofs. Minor fix for sort... tree | commitdiff
2014-05-10 Andrew ReynoldsBug fixes to CBQI. Add first draft of CASC j7 TFF... tree | commitdiff
2014-05-09 Andrew ReynoldsAdd variable ordering to ambqi. Bug fix to macros... tree | commitdiff
2014-05-08 ajreynolMajor simplifications to macros module. tree | commitdiff
2014-05-08 Andrew ReynoldsFixes to quantifiers rewriter to prevent miniscoping... tree | commitdiff
2014-05-08 Andrew ReynoldsBasic optimizations for ambqi : only normalize UF appli... tree | commitdiff
2014-05-08 Tianyi Liangpatch to the last commit: add a single character case tree | commitdiff
2014-05-07 Tianyi Liangfix a bug in contain tree | commitdiff
2014-05-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-07 Tianyi Liangadd splits tree | commitdiff
2014-05-07 Tianyi Liangadd splits tree | commitdiff
2014-05-07 Andrew ReynoldsFixes to ambqi, now solution-sound. tree | commitdiff
2014-05-06 Andrew ReynoldsFirst draft of ambqi_builder (new implementation of... tree | commitdiff
2014-05-06 Tianyi Liangfix a bug in replace and contains tree | commitdiff
2014-05-05 Tianyi Liangadd constant regular expression check for intersection. tree | commitdiff
2014-05-05 Morgan DetersValuation::entailmentCheck() proxy for TheoryEngine... tree | commitdiff
2014-05-02 Andrew ReynoldsSimplification of EqualityEngine::areDisequal. Compari... tree | commitdiff
2014-05-02 ajreynolFix assertion from previous commit. tree | commitdiff
2014-05-02 Andrew ReynoldsAdd option --dt-stc-ind for strengthening skolemization... tree | commitdiff
2014-05-02 ajreynolMore minor optimizations for datatypes. tree | commitdiff
2014-05-01 ajreynolMinor optimizations to datatypes, revert to checkClash... tree | commitdiff
2014-05-01 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-30 Tim KingT-entailment work, and QCF (quant conflict find) work... tree | commitdiff
2014-04-30 Morgan DetersFix warnings, cleanup in strings typechecker. tree | commitdiff
2014-04-30 Morgan DetersFix compiler warning re: TheoryUF destructor. tree | commitdiff
2014-04-30 Morgan DetersFix for (user) context-dependence of arith TO_INT/IS_IN... tree | commitdiff
2014-04-30 Morgan DetersMostly resolves bug #561 memory leaks, and more. tree | commitdiff
2014-04-29 Tianyi Liangfix a typo: --string-exp => --strings-exp; fix a signed... tree | commitdiff
2014-04-29 Tianyi Liangadd leading zeros support for str.to.int tree | commitdiff
2014-04-29 ajreynolSignificantly improve performance for producing datatyp... tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-28 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-28 Tianyi Liangadd strings-opt2 for regular splitting tree | commitdiff
2014-04-28 Tianyi Liangminor change with kshitij's change tree | commitdiff
2014-04-28 Kshitij Bansalnodemanager robust skolem numbering tree | commitdiff
2014-04-28 Tianyi Liangadd strings-opt2 for regular splitting tree | commitdiff
2014-04-28 Kshitij BansalMerge pull request #25 from kbansal/sets tree | commitdiff
2014-04-28 Andrew ReynoldsPreparation for models for co-inductive datatypes.... tree | commitdiff
2014-04-28 ajreynolOptimizations for datatypes: check for clashes modulo... tree | commitdiff
2014-04-28 Kshitij Bansalminor fix tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-24 Tianyi Liangminor change: add a heuristic for preventing constant... tree | commitdiff
2014-04-24 Kshitij Bansaloptimization tree | commitdiff
2014-04-24 ajreynolAvoid assigning constructor terms to 1-constructor... tree | commitdiff
2014-04-24 Andrew ReynoldsCompute care graph for datatypes. Preliminary results... tree | commitdiff
2014-04-24 Andrew ReynoldsAdd --inst-max-level=N option for Kshitij. Support... tree | commitdiff
2014-04-22 Andrew ReynoldsMinor fix to avoid rewriting datatype equalities into... tree | commitdiff
2014-04-19 Kshitij Bansalfix warnings in strings/ tree | commitdiff
2014-04-17 Morgan DetersAllow fmf-bound-int to be set with set-option and via... tree | commitdiff
2014-04-17 Kshitij Bansalsimplify mkSkolem naming system: don't use $$ tree | commitdiff
2014-04-17 Kshitij Bansaluse internal skolem numbering tree | commitdiff
2014-04-17 Andrew ReynoldsMinor refactoring and optimizing. tree | commitdiff
2014-04-14 Andrew ReynoldsFix bug in mbqi=fmc handling theory symbols. Fix mbqi... tree | commitdiff
2014-04-14 Andrew ReynoldsAdd initial support for co-datatypes. tree | commitdiff
2014-04-10 Andrew ReynoldsExpand definitions in theory datatypes, now has the... tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-10 Tianyi Liangminor fix for strings tree | commitdiff
2014-04-10 Tianyi Liangminor fix for strings tree | commitdiff
2014-04-10 Andrew ReynoldsAdd support for cardinality constraints logic UFC.... tree | commitdiff
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model tree | commitdiff
2014-04-09 Morgan DetersMinor change to better support parameterized partial... tree | commitdiff
2014-04-09 Andrew ReynoldsRevert E-matching datatypes fix. tree | commitdiff
2014-04-09 Andrew ReynoldsHandle fmf.card as input from user, add support in... tree | commitdiff
2014-04-09 Kshitij Bansalfix tree | commitdiff
2014-04-09 Kshitij Bansalprep for fix tree | commitdiff
2014-04-09 Kshitij Bansaltry foreach on CD datastructure tree | commitdiff
2014-04-09 Kshitij Bansalmore tree | commitdiff
2014-04-09 Kshitij Bansalsome debugging changes tree | commitdiff
2014-04-06 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
next