2017-06-16 |
Andres Nötzli | Fix segfault by making unit conflict CDMaybe |
commit | commitdiff | tree |
2017-06-16 |
Clark Barrett | Fix for bug 639. |
commit | commitdiff | tree |
2017-06-15 |
Andres Noetzli | Make comp script more robust |
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Fix for issue related to cbqi + E-matching. |
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Add regression. |
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Fix relevant domain for datatypes, fixes bug 824. |
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Ensure uninterpreted constants do not escape datatypes... |
commit | commitdiff | tree |
2017-06-15 |
Clark Barrett | Merge pull request #167 from CVC4/fix_div |
commit | commitdiff | tree |
2017-06-14 |
Andres Noetzli | Remove UdivSelf rewrite, add UdivZero rewrite |
commit | commitdiff | tree |
2017-06-04 |
Clark Barrett | Fix compile error |
commit | commitdiff | tree |
2017-06-03 |
ajreynol | Minor to smt comp script. |
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Fix regression. |
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Incorporate datatypes into smt comp script, add regression. |
commit | commitdiff | tree |
2017-06-01 |
ajreynol | Minor optimizations related to cbqi. |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Fix model construction for BV with cbqi. Minor change... |
commit | commitdiff | tree |
2017-05-31 |
guykatzz | A more informative error message when a theory is not... |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Minor fix to last commit. |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Change to-int, div, int-div skolems from CDAttribute... |
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Minor change to defaults, update smt comp script, minor... |
commit | commitdiff | tree |
2017-05-30 |
guykatzz | print only labeled assertions as part of the unsat... |
commit | commitdiff | tree |
2017-05-28 |
Clark Barrett | Merge pull request #164 from CVC4/fix_comp |
commit | commitdiff | tree |
2017-05-28 |
Andres Noetzli | [Competition] Fix ABC, fix CryptoMiniSat req |
commit | commitdiff | tree |
2017-05-26 |
Tim King | Checking that equalities belong to the arithmetic theor... |
commit | commitdiff | tree |
2017-05-26 |
Andres Noetzli | Fix use-after-free with ResChains |
commit | commitdiff | tree |
2017-05-25 |
ajreynol | Quote unsat core names if applicable, fixes bug 816. |
commit | commitdiff | tree |
2017-05-22 |
ajreynol | Initial draft of 2017 competition scripts. |
commit | commitdiff | tree |
2017-05-20 |
ajreynol | Fix bug 812. |
commit | commitdiff | tree |
2017-05-17 |
Clark Barrett | Merge pull request #155 from makaimann/conditional_coverage |
commit | commitdiff | tree |
2017-05-16 |
Clark Barrett | Merge pull request #161 from 4tXJ7f/fix_parser |
commit | commitdiff | tree |
2017-05-16 |
Clark Barrett | Merge pull request #160 from 4tXJ7f/fix_win_build |
commit | commitdiff | tree |
2017-05-16 |
Andres Noetzli | Avoid tokenizing FP tokens in non-FP input |
commit | commitdiff | tree |
2017-05-16 |
Andres Noetzli | Fix error in Windows build |
commit | commitdiff | tree |
2017-05-16 |
Andrew Reynolds | Merge pull request #156 from 4tXJ7f/fix_safe_print |
commit | commitdiff | tree |
2017-05-15 |
Andres Noetzli | Minor fix in safe_print function |
commit | commitdiff | tree |
2017-05-15 |
ajreynol | Cleanup handling of division (possible fix for bugs... |
commit | commitdiff | tree |
2017-05-15 |
Andrew Reynolds | Merge pull request #159 from 4tXJ7f/fix_set_types |
commit | commitdiff | tree |
2017-05-15 |
Andres Noetzli | Fix type checks for relation operators |
commit | commitdiff | tree |
2017-05-15 |
Andrew Reynolds | Merge pull request #158 from 4tXJ7f/fix_sets_rewriter |
commit | commitdiff | tree |
2017-05-15 |
Andres Noetzli | Fix minor bug in sets rewriter |
commit | commitdiff | tree |
2017-05-15 |
ajreynol | Fix bug 806. Minor fixes to remove term formula pass. |
commit | commitdiff | tree |
2017-05-15 |
Andrew Reynolds | Merge pull request #157 from 4tXJ7f/fix_iterator |
commit | commitdiff | tree |
2017-05-15 |
Andres Noetzli | Fix condition in upwards closure check for sets |
commit | commitdiff | tree |
2017-05-15 |
ajreynol | Fix issue in ceg_instantiator related to types and... |
commit | commitdiff | tree |
2017-05-15 |
ajreynol | Make conflict-based instantiation abort if a ground... |
commit | commitdiff | tree |
2017-05-14 |
Clark Barrett | Merge pull request #154 from 4tXJ7f/fix_test |
commit | commitdiff | tree |
2017-05-13 |
Andres Notzli | Fix out-of-bounds access in test |
commit | commitdiff | tree |
2017-05-12 |
makaimann | Adding VPATH back in |
commit | commitdiff | tree |
2017-05-12 |
makaimann | Conditional coverage build |
commit | commitdiff | tree |
2017-05-12 |
Andres Notzli | Make signal handlers safer |
commit | commitdiff | tree |
2017-05-10 |
ajreynol | Do not split on cardinality for string equivalence... |
commit | commitdiff | tree |
2017-05-09 |
ajreynol | Change str.replace for empty string. |
commit | commitdiff | tree |
2017-05-05 |
ajreynol | Do not eliminate extended arithmetic symbols when finit... |
commit | commitdiff | tree |
2017-05-05 |
ajreynol | Fix error message. |
commit | commitdiff | tree |
2017-05-04 |
guykatzz | skolemization manager may be called also when just... |
commit | commitdiff | tree |
2017-05-04 |
guykatzz | fixing bug 790: track dependencies when the unsatCores... |
commit | commitdiff | tree |
2017-04-28 |
Clark Barrett | Partial fix for bug 717. |
commit | commitdiff | tree |
2017-04-28 |
ajreynol | Minor fixes |
commit | commitdiff | tree |
2017-04-28 |
ajreynol | Fix bug for real division. |
commit | commitdiff | tree |
2017-04-28 |
ajreynol | Do not eliminate non-standard arithmetic operators... |
commit | commitdiff | tree |
2017-04-24 |
ajreynol | Fixes and simplifications for fmf mbqi. |
commit | commitdiff | tree |
2017-04-24 |
ajreynol | Fix parsing selectors for nullary constructors in smtli... |
commit | commitdiff | tree |
2017-04-24 |
Andrew Reynolds | Merge pull request #152 from timothy-king/delta-rationa... |
commit | commitdiff | tree |
2017-04-23 |
Tim King | Changing spaces to tabs in Makefile. |
commit | commitdiff | tree |
2017-04-22 |
Tim King | Updating TheoryArithPrivate::getDeltaValue() to eagerly... |
commit | commitdiff | tree |
2017-04-22 |
Clark Barrett | Merge pull request #151 from 4tXJ7f/fix_debug |
commit | commitdiff | tree |
2017-04-22 |
Clark Barrett | Disabled bug639.smt2 which still fails. |
commit | commitdiff | tree |
2017-04-21 |
Clark Barrett | Add test cases for bugs 639 and 681. |
commit | commitdiff | tree |
2017-04-21 |
Clark Barrett | Fix for bug 681 (now gives reasonable error message... |
commit | commitdiff | tree |
2017-04-21 |
Andres Noetzli | Move assertion out of loop for better performance |
commit | commitdiff | tree |
2017-04-21 |
Clark Barrett | Merge pull request #150 from 4tXJ7f/check_exceptions2 |
commit | commitdiff | tree |
2017-04-21 |
ajreynol | Fix new relations regressions to use sets-ext. |
commit | commitdiff | tree |
2017-04-21 |
ajreynol | Handle subtypes in sets. Bug fixes for tuples with... |
commit | commitdiff | tree |
2017-04-21 |
Andres Notzli | Add check for C++ exceptions to config script |
commit | commitdiff | tree |
2017-04-20 |
Andrew Reynolds | Merge pull request #149 from PaulMeng/master |
commit | commitdiff | tree |
2017-04-20 |
ajreynol | Minor fixes. |
commit | commitdiff | tree |
2017-04-20 |
Paul Meng | Support for relational operators identity and join... |
commit | commitdiff | tree |
2017-04-19 |
ajreynol | Fix mktheoryrewriter and mktheorytraits for nullaryoper... |
commit | commitdiff | tree |
2017-04-19 |
ajreynol | Fixes for handling set universe: restrict upwards rule... |
commit | commitdiff | tree |
2017-04-19 |
Clark Barrett | Merge pull request #147 from makaimann/coverage_fix |
commit | commitdiff | tree |
2017-04-18 |
Clark Barrett | Fix for bug 639. |
commit | commitdiff | tree |
2017-04-18 |
makaimann | Coverage fix |
commit | commitdiff | tree |
2017-04-14 |
ajreynol | Actively split for upwards closusure intersection.... |
commit | commitdiff | tree |
2017-04-14 |
ajreynol | Fix bug related to portfolio with nullary operators. |
commit | commitdiff | tree |
2017-04-14 |
ajreynol | Fix nullary operator printers, minor. |
commit | commitdiff | tree |
2017-04-14 |
ajreynol | Fix for fmf-fun when the option is set by user command. |
commit | commitdiff | tree |
2017-04-13 |
Clark Barrett | Fix for some compilers |
commit | commitdiff | tree |
2017-04-12 |
ajreynol | Add nullary operator metakind. |
commit | commitdiff | tree |
2017-04-11 |
ajreynol | Bug fix in conjecture generation for --quant-ind. |
commit | commitdiff | tree |
2017-04-07 |
ajreynol | Change option names for nl. |
commit | commitdiff | tree |
2017-04-06 |
Clark Barrett | Merge pull request #143 from FabianWolff/master |
commit | commitdiff | tree |
2017-04-05 |
ajreynol | Fix bug 698. |
commit | commitdiff | tree |
2017-04-05 |
ajreynol | Fixes for nlAlgSolveSubs. |
commit | commitdiff | tree |
2017-04-05 |
Andrew Reynolds | Merge pull request #145 from 4tXJ7f/fix_lfsc_args |
commit | commitdiff | tree |
2017-04-05 |
ajreynol | Caching for fun def process, add regression. |
commit | commitdiff | tree |
2017-04-05 |
Andres Notzli | [LFSC] Fix segfault |
commit | commitdiff | tree |
2017-04-05 |
ajreynol | Remove extraneous portion of an nl regression. |
commit | commitdiff | tree |
2017-04-05 |
ajreynol | Add non-linear regressions, disable nlAlgSubs, do not... |
commit | commitdiff | tree |
2017-04-04 |
Fabian Wolff | Fix several spelling errors |
commit | commitdiff | tree |
2017-04-04 |
ajreynol | Enable multi-trigger-linear by default, add option. |
commit | commitdiff | tree |
2017-04-04 |
ajreynol | Simplify Theory::collectModelInfo interface to not... |
commit | commitdiff | tree |
next |