| ML API: build system fixes |
|
More...
|
over 12 years ago
|
| Add more tracing to sign_det_isolate_roots |
|
More...
|
over 12 years ago
|
| Fix incorrect assertions and bug |
|
More...
|
over 12 years ago
|
| Fix test program |
|
More...
|
over 12 years ago
|
| Add non naive sign determination algorithm |
|
More...
|
over 12 years ago
|
| Add goodies |
|
More...
|
over 12 years ago
|
| Add procedure for computing TaQ(Q, P; a, b) |
|
More...
|
over 12 years ago
|
| Add lower and upper bounds for negative and positive roots |
|
More...
|
over 12 years ago
|
| Add matrix operations needed for implementing non-naive sign determination |
|
More...
|
over 12 years ago
|
| Add get_int and get_uint to mpz_manager |
|
More...
|
over 12 years ago
|
| ML API: build system fix |
|
More...
|
over 12 years ago
|
| ML API: build system fix |
|
More...
|
over 12 years ago
|
| ML API: build system fix |
|
More...
|
over 12 years ago
|
| ML API: build system fixes |
|
More...
|
over 12 years ago
|
| ML API: build system fixes |
|
More...
|
over 12 years ago
|
| ML API: build system changes |
|
More...
|
over 12 years ago
|
| ML API: build system changes |
|
More...
|
over 12 years ago
|
| Fix memory management bugs |
|
More...
|
over 12 years ago
|
| Add root upper bounds estimation |
|
More...
|
over 12 years ago
|
| Fix Z3_enable_trace API |
|
More...
|
over 12 years ago
|
| Fix RCF API logging bug |
|
More...
|
over 12 years ago
|
| ML API: bugfix |
|
More...
|
over 12 years ago
|
| ML API: bugfix |
|
More...
|
over 12 years ago
|
| Simplify RCF C API. Add Z3_rcf_mk_roots (C API) and MkRoots (Python API). Implement basic root isolation support. |
|
More...
|
over 12 years ago
|
| ML API: bugfix |
|
More...
|
over 12 years ago
|
| ML API: bugfix |
|
More...
|
over 12 years ago
|
| ML API: linker fix |
|
More...
|
over 12 years ago
|
| ML API: made native layer ANSI-C compliant to avoid compilation issues. |
|
More...
|
over 12 years ago
|
| ML API: made native layer ANSI-C compliant to avoid compilation issues. |
|
More...
|
over 12 years ago
|
| Fix bug in realclosure::compare function |
|
More...
|
over 12 years ago
|
