projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Wed, 23 May 2018 12:00:40 +0000 (07:00 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 23 May 2018 12:00:40 +0000 (07:00 -0500) | ||
| commit | 8de9510b8aa818f555294ebe88d9733cc10ff8b9 | |
| tree | dd4fae3e483be9d9ec0176f3122d58b0df957389 | tree |
| parent | 4576b47b4acbae79c0ea76ebdc103f4c3155c4ab | commit | diff |
| src/options/arith_options.toml | diff | blob | history | |
| src/theory/arith/nonlinear_extension.cpp | diff | blob | history | |
| src/theory/arith/nonlinear_extension.h | diff | blob | history | |
| test/regress/Makefile.tests | diff | blob | history | |
| test/regress/regress1/nl/approx-sqrt-unsat.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/nl/approx-sqrt.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/nl/cos1-tc.smt2 | diff | blob | history | |
| test/regress/regress1/nl/solve-eq-small-qf-nra.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sqrt2-sort-inf-unk.smt2 | diff | blob | history |