summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2021-10-11Fix release action.Mathias Preiner
2021-10-11Add CI workflow to test different cmake versions (#7254)Gereon Kremer
2021-10-08Ignore zip files for docs upload diff (#7322)Gereon Kremer
2021-10-08Attach the static binaries to a release (#7324)Gereon Kremer
2021-10-06Enable static builds in CI (#7281)Gereon Kremer
2021-09-02[CI] Add step for running unit/API tests (#7116)Andres Noetzli
2021-09-02Update CI to macOS 11 (#7104)Andres Noetzli
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-26Fix a subtle issues with squashing the docs-ci history (#7075)Gereon Kremer
2021-08-09Support older CMake versions (#7003)Andres Noetzli
2021-08-04Update bug_report.mdAina Niemetz
2021-06-30Use authored date instead of commit date. (#6815)Gereon Kremer
2021-06-19[CI] Build with all available cores (#6768)Andres Noetzli
2021-06-09Make squasing more robust (#6713)Gereon Kremer
2021-06-03[GitHub Actions] Make caching of dependencies depend on image version (#6677)Andres Noetzli
2021-06-02Do manual squash cleanup for docs (#6646)Gereon Kremer
2021-05-27Avoid uploading docs if they did not change (#6621)Gereon Kremer
2021-05-26Reduce size of sphinx-gh output (#6601)Gereon Kremer
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-05-20Disable unit testing for clang builds. (#6595)Aina Niemetz
2021-05-14Restrict additional CI jobs (#6539)Gereon Kremer
2021-05-12Move docs upload to a different workflow (#6512)Gereon Kremer
2021-05-07Integrate documentation build with the regular CI workflow (#6490)Gereon Kremer
2021-05-06Update README.md and remove last CVC4 references. (#6497)Mathias Preiner
2021-05-04Use proper commit hash for PRs (#6485)Gereon Kremer
2021-05-03Add missing --auto-download in CI (#6478)Gereon Kremer
2021-05-03Add CI jobs to build docs (#6413)Gereon Kremer
2021-05-03SymFPU: Automatically apply patch from 2020-11-14. (#6471)Aina Niemetz
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-16Refactor cmake: auto-download and default-on dependencies (#6355)Gereon Kremer
2021-04-13ci: Use CVC5_REGRESSION_ARGS. (#6347)Mathias Preiner
2021-04-12Fix GitHub Actions macOS build (#6331)Andres Noetzli
2021-04-08Use newer version of update-pr-branch action. (#6315)Gereon Kremer
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-02Add cache for new dependencies folder. (#6265)Gereon Kremer
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor dependencies for external SAT solvers (#6215)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-27Refactor ANTLR3 dependency (#6202)Gereon Kremer
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-16ci: Enable checking of proofs + unsat cores. (#6088)Mathias Preiner
2021-03-11ci: Replace debug builds with assertion enabled production builds. (#6098)Mathias Preiner
2021-03-10Add GitHub action to automatically update approved PRs. (#6114)Mathias Preiner
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-01Make -Werror optional but enable it for CI. (#6032)Mathias Preiner
2021-02-26Fix -Werror issues with clang and use clang for debug-cln build. (#6004)Mathias Preiner
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback