summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
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
2020-11-17ci: Simplify Python dependency installs for Linux and macOS. (#5458)Mathias Preiner
2020-11-02Run python tests during make check (#5226)makaimann
2020-10-09Remove deprecated add-path commands and use $GITHUB_PATH instead. (#5232)Mathias Preiner
2020-10-03Fix CI builds and add cancel workflow.Mathias Preiner
2020-09-30Add GH action to cancel previous pending/running CI builds. (#5175)Mathias Preiner
2020-09-22Fix compilation without LibPoly (#5118)Andres Noetzli
2020-08-31[CI] Fix Cython installation (#4983)Andres Noetzli
2020-08-24Increase regress level to 2 for production build. (#4888)Mathias Preiner
2020-08-17[CI] Update package list (#4906)Andres Noetzli
2020-08-07GH Actions: Remove cancel action. (#4843)Aina Niemetz
2020-07-30When linking Editline, use 'pkg-config' to correctly find the link-time depen...Andrew V. Jones
2020-07-21GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779)Aina Niemetz
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-06[GitHub] Add link to fuzzing guidelines in issues (#4695)Andres Noetzli
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-06-10Fix getKind for Python bindings (#4496)makaimann
2020-04-09CI: Add a step to list dependencies. (#4255)Mathias Preiner
2020-03-31Fix install for ANTLR contrib script and CI dependency caching. (#4196)Mathias Preiner
2020-03-31Switch to GitHub actions for CI (#4190)Mathias Preiner
2020-03-10Update bug report templateMathias Preiner
2020-02-11Update issue templatesMathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback