projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proof-new] Optimizing sat proof (#6324)
[cvc5.git] / configure.sh
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... blob | commitdiff | raw
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) blob | commitdiff | raw | diff to current
2021-03-27 Gereon KremerRefactor ANTLR3 dependency (#6202) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) blob | commitdiff | raw | diff to current
2021-03-10 Mathias Preinercmake: Fix optimization level for debug builds. (#6097) blob | commitdiff | raw | diff to current
2021-03-08 Mathias Preinercontrib: Do not use HOST env variable for cross-compila... blob | commitdiff | raw | diff to current
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038) blob | commitdiff | raw | diff to current
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033) blob | commitdiff | raw | diff to current
2021-03-01 Mathias PreinerMake -Werror optional but enable it for CI. (#6032) blob | commitdiff | raw | diff to current
2021-02-09 Mathias Preinercmake: Make Python3 default and improve toml error... blob | commitdiff | raw | diff to current
2021-02-04 yoni206Clarifying documentation of `--static-binary` (#5844) blob | commitdiff | raw | diff to current
2020-08-12 makaimannAdd option to only build library (#4801) blob | commitdiff | raw | diff to current
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... blob | commitdiff | raw | diff to current
2020-07-17 Gereon KremerIntegration of libpoly (#4679) blob | commitdiff | raw | diff to current
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683) blob | commitdiff | raw | diff to current
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) blob | commitdiff | raw | diff to current
2020-03-31 Mathias PreinerSwitch to GitHub actions for CI (#4190) blob | commitdiff | raw | diff to current
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) blob | commitdiff | raw | diff to current
2020-02-26 Andres NoetzliRemove portfolio leftovers (#3821) blob | commitdiff | raw | diff to current
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... blob | commitdiff | raw | diff to current
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467) blob | commitdiff | raw | diff to current
2019-10-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) blob | commitdiff | raw | diff to current
2019-10-08 Aina NiemetzBuild system: Add build type for incremental competitio... blob | commitdiff | raw | diff to current
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) blob | commitdiff | raw | diff to current
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... blob | commitdiff | raw | diff to current
2019-04-09 Haniel BarbosaRemoving references to cvc4-bugs@... (#2945) blob | commitdiff | raw | diff to current
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754) blob | commitdiff | raw | diff to current
2018-11-08 Mathias Preinercmake: Add option to explicitely enable/disable static... blob | commitdiff | raw | diff to current
2018-11-05 Andres Noetzliconfigure.sh: Fix option parsing to match --help (... blob | commitdiff | raw | diff to current
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... blob | commitdiff | raw | diff to current
2018-09-25 Aina Niemetzcmake: configure.sh wrapper: Removed unused option... blob | commitdiff | raw | diff to current
2018-09-24 Mathias Preinercmake: Add program prefix option. (#2515) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add python3 option. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add more documentation, some fixes and cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Use explicit build directo... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: configure wrapper: Modify next steps message... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add support for cross-compiling for Windows. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Fixes for sh. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --name option. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: configure.sh wrapper: Add --prefix for install... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add make install rule. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Fix handling of options... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Removed env vars help... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Configurable build directory blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: Create build dirs for... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: done (except: configurable... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: configure.sh wrapper: option parsing blob | commitdiff | raw | diff to current