projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support unicode internal representation and escape sequences (#3852)
[cvc5.git] / test / regress / regress0 / nl /
2020-03-26 AmaleeAdded unit-cube-like test for branch and bound (#3922) tree | commitdiff
2020-03-11 Andrew ReynoldsFix real to int for parameterized kinds (#4016) tree | commitdiff
2020-03-09 Andres NoetzliMake registration of unit clauses more robust (#3965) tree | commitdiff
2020-02-29 Andrew Reynolds Throw warning instead of error for non-constant values... tree | commitdiff
2020-02-07 Andrew ReynoldsRefactor check-model handling in SmtEngine (#3723) tree | commitdiff
2020-02-07 Andrew ReynoldsFix exact sqrt (#3721) tree | commitdiff
2020-01-30 Andrew ReynoldsDo not debug check model for models with approximations... tree | commitdiff
2019-12-05 Andrew ReynoldsMake nonlinear solver intercept model assignments from... tree | commitdiff
2019-11-19 Andres NoetzliFix reduction of `sqrt` (#3478) tree | commitdiff
2019-10-28 Andrew ReynoldsFix for non-linear models (#3410) tree | commitdiff
2019-09-25 Andrew ReynoldsReturn choice functions for approximate values in get... tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functi... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) tree | commitdiff
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) tree | commitdiff
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) tree | commitdiff
2018-06-05 Andres NoetzliOnly enable transcendentals if logic is N[I]RAT (#2052) tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-20 Andrew ReynoldsMinor fixes and additions for transcendental functions... tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) tree | commitdiff
2017-12-20 Andrew ReynoldsTranscendental functions check model (#1443) tree | commitdiff
2017-11-28 Andrew ReynoldsFix models for --solve-real-as-int. (#1371) tree | commitdiff
2017-11-24 Andrew ReynoldsImplement tangent and secant planes for transcendental... tree | commitdiff
2017-11-15 Andrew ReynoldsReenable some regressions, minor. (#1369) tree | commitdiff
2017-10-01 Andrew ReynoldsRefactor check function in last call effort of non... tree | commitdiff
2017-07-10 ajreynolAdd nl regression. tree | commitdiff
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental... tree | commitdiff
2017-07-05 ajreynolNon-linear supported in ALL logics. Minor fixes for... tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 ajreynolCleanup handling of division (possible fix for bugs... tree | commitdiff
2017-04-28 ajreynolMinor fixes tree | commitdiff
2017-04-28 ajreynolFix bug for real division. tree | commitdiff
2017-04-07 ajreynolChange option names for nl. tree | commitdiff
2017-04-06 Clark BarrettMerge pull request #143 from FabianWolff/master tree | commitdiff
2017-04-05 ajreynolFix bug 698. tree | commitdiff
2017-04-05 ajreynolRemove extraneous portion of an nl regression. tree | commitdiff
2017-04-05 ajreynolAdd non-linear regressions, disable nlAlgSubs, do not... tree | commitdiff