Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-08-04 | Add documentation and build instructions for recompilation (LGPL). (#4844) | Mathias Preiner | |
2020-07-17 | Support for using 'libedit' over 'readline' #4571 (#4579) | Andrew V. Jones | |
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com> | |||
2020-07-17 | Integration of libpoly (#4679) | Gereon Kremer | |
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration. Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities. | |||
2020-07-02 | Remove SWIG bindings (#4683) | Andres Noetzli | |
This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API. | |||
2020-06-19 | Update version information post 1.8 release (#4635) | Andres Noetzli | |
2020-06-19 | Update info for 1.8 release (#4633) | Andres Noetzli | |
2020-04-28 | contrib/get-gmp: Rename and update install instructions with a warning. (#4407) | Aina Niemetz | |
2020-04-27 | Fix examples instructions in INSTALL.md. (#4397) | Mathias Preiner | |
2020-02-04 | Update INSTALL.md (#3714) | mudathirmahgoub | |
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com> | |||
2019-12-17 | Generate code for options with modes. (#3561) | Mathias Preiner | |
This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace. | |||
2019-09-25 | Add Windows cross-compiling instructions to INSTALL.md. (#3226) | Mathias Preiner | |
2019-04-12 | Referring to prerelease 1.8 (#2943) | Haniel Barbosa | |
2019-04-08 | "prerelease -> release" in INSTALL (#2944) | Haniel Barbosa | |
2019-03-14 | Improve INSTALL instructions. (#2866) | Aina Niemetz | |
2018-11-01 | fixes to regression docs (#2679) | yoni206 | |
2018-10-18 | cmake: Run regression level 2 for make check. (#2645) | Mathias Preiner | |
2018-10-02 | Fix documentation for `make regress`. (#2557) | Alex Ozdemir | |
2018-09-25 | cmake: New INSTALL.md for build and testing instructions. (#2536) | Aina Niemetz | |