projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove `CommandSequence` command (#8904)
[cvc5.git]
/
.github
/
2022-05-21
Gereon Kremer
Add cross-compilation for arm64 on macOS (#8758)
tree
|
commitdiff
2022-04-04
Gereon Kremer
Maintain symlink to docs for latest release (#8555)
tree
|
commitdiff
2022-04-02
Gereon Kremer
use one process more than we have cores (#8545)
tree
|
commitdiff
2022-04-02
Gereon Kremer
Always cancel already running CI runs on forks (#8542)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Only run pypi packaging when release is published ...
tree
|
commitdiff
2022-04-01
Gereon Kremer
Change CI concurrency policy to not queue on main ...
tree
|
commitdiff
2022-04-01
Gereon Kremer
Fix pypi packaging trigger again (#8512)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Also run on created. (#8506)
tree
|
commitdiff
2022-03-31
Mathias Preiner
ci: Fix typo in update-pr job. (#8492)
tree
|
commitdiff
2022-03-31
Gereon Kremer
Install necessary packages (#8479)
tree
|
commitdiff
2022-03-31
Gereon Kremer
Only run update-pr for normal commits on main (#8478)
tree
|
commitdiff
2022-03-31
Mathias Preiner
ci: Do not cancel jobs on main branch. (#8471)
tree
|
commitdiff
2022-03-31
Mathias Preiner
ci: Update older PRs first. (#8477)
tree
|
commitdiff
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
tree
|
commitdiff
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
tree
|
commitdiff
2022-03-28
Mathias Preiner
ci: Enable all language bindings for debug build. ...
tree
|
commitdiff
2022-03-23
Mathias Preiner
Only update latest tag if commit changed. (#8379)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Store latest builds in a special release (#8337)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Remove dependency on build (#8367)
tree
|
commitdiff
2022-03-17
Andres Noetzli
[CI] Use ccache for Windows builds (#8332)
tree
|
commitdiff
2022-03-17
Gereon Kremer
don't build gtest in CI (#8323)
tree
|
commitdiff
2022-03-17
Andres Noetzli
[CI] Strip stored binaries (#8327)
tree
|
commitdiff
2022-03-16
Andres Noetzli
[CI] Build and release Win64 binaries (#8321)
tree
|
commitdiff
2022-03-16
Gereon Kremer
Use native cancellation mechanism (#8311)
tree
|
commitdiff
2022-03-11
Andres Noetzli
[CI] Make building static/shared configurable (#8272)
tree
|
commitdiff
2022-03-08
Gereon Kremer
Make one CI job not use libpoly (#8261)
tree
|
commitdiff
2022-03-08
Gereon Kremer
Rerun failed tests in CI (#8258)
tree
|
commitdiff
2022-03-08
Gereon Kremer
Don't run the pypi packaging job on forks (#8256)
tree
|
commitdiff
2022-03-04
Gereon Kremer
Only build wheels nightly and for releases (#8223)
tree
|
commitdiff
2022-03-03
Gereon Kremer
Build python wheels in our CI (#8087)
tree
|
commitdiff
2022-02-02
Alex Ozdemir
Change name of Python API's package from pycvc5 to...
tree
|
commitdiff
2022-01-29
Gereon Kremer
Rename docs-releases to docs (#7999)
tree
|
commitdiff
2022-01-28
Gereon Kremer
Fix docs upload once again (#7997)
tree
|
commitdiff
2022-01-27
Gereon Kremer
Properly recognize whether the current commit is a...
tree
|
commitdiff
2022-01-24
Abdalrhman Mohamed
Enable dump tester. (#7884)
tree
|
commitdiff
2022-01-20
Andres Noetzli
Fix CI build for macOS (#7970)
tree
|
commitdiff
2022-01-13
Gereon Kremer
Fix check whether we have a tag (#7901)
tree
|
commitdiff
2021-12-02
Gereon Kremer
Check docs for broken links before uploading (#7729)
tree
|
commitdiff
2021-12-01
Gereon Kremer
Use new token for docs-release (#7709)
tree
|
commitdiff
2021-11-30
Gereon Kremer
Always run update-pr (#7719)
tree
|
commitdiff
2021-11-25
Gereon Kremer
Consolidate CI jobs (#7697)
tree
|
commitdiff
2021-11-24
Andres Noetzli
Always enable API black box unit tests (#7696)
tree
|
commitdiff
2021-11-09
Aina Niemetz
Clean up ctest configuration and CI test configuration...
tree
|
commitdiff
2021-11-06
Gereon Kremer
Only run regress0 for static build (#7592)
tree
|
commitdiff
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
tree
|
commitdiff
2021-11-03
mudathirmahgoub
Enable CI for Junit tests (#7436)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Fix a couple of issues with uploading docs for releases...
tree
|
commitdiff
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
tree
|
commitdiff
2021-10-28
Gereon Kremer
Build shared and static in CI (#7472)
tree
|
commitdiff
2021-10-27
Gereon Kremer
Add documentation on output tags (#7499)
tree
|
commitdiff
2021-10-26
Gereon Kremer
Upload docs for tags to docs-releases (#7415)
tree
|
commitdiff
2021-10-21
Andres Noetzli
Refactor regressions script (#7249)
tree
|
commitdiff
2021-10-20
Gereon Kremer
Fix docs upload (again) (#7435)
tree
|
commitdiff
2021-10-20
Gereon Kremer
Fix inadvertent failure of workflow step (#7420)
tree
|
commitdiff
2021-10-15
Gereon Kremer
Have docs_upload properly upload tags. (#7352)
tree
|
commitdiff
2021-10-14
Gereon Kremer
Also test older cmake versions (#7347)
tree
|
commitdiff
2021-10-11
Mathias Preiner
Fix release action.
tree
|
commitdiff
2021-10-11
Gereon Kremer
Add CI workflow to test different cmake versions (...
tree
|
commitdiff
2021-10-08
Gereon Kremer
Ignore zip files for docs upload diff (#7322)
tree
|
commitdiff
2021-10-08
Gereon Kremer
Attach the static binaries to a release (#7324)
tree
|
commitdiff
2021-10-06
Gereon Kremer
Enable static builds in CI (#7281)
tree
|
commitdiff
2021-09-02
Andres Noetzli
[CI] Add step for running unit/API tests (#7116)
tree
|
commitdiff
2021-09-02
Andres Noetzli
Update CI to macOS 11 (#7104)
tree
|
commitdiff
2021-08-30
Gereon Kremer
Add API function to obtain information about a single...
tree
|
commitdiff
2021-08-26
Gereon Kremer
Fix a subtle issues with squashing the docs-ci history...
tree
|
commitdiff
2021-08-09
Andres Noetzli
Support older CMake versions (#7003)
tree
|
commitdiff
2021-08-04
Aina Niemetz
Update bug_report.md
tree
|
commitdiff
2021-06-30
Gereon Kremer
Use authored date instead of commit date. (#6815)
tree
|
commitdiff
2021-06-19
Andres Noetzli
[CI] Build with all available cores (#6768)
tree
|
commitdiff
2021-06-09
Gereon Kremer
Make squasing more robust (#6713)
tree
|
commitdiff
2021-06-03
Andres Noetzli
[GitHub Actions] Make caching of dependencies depend...
tree
|
commitdiff
2021-06-02
Gereon Kremer
Do manual squash cleanup for docs (#6646)
tree
|
commitdiff
2021-05-27
Gereon Kremer
Avoid uploading docs if they did not change (#6621)
tree
|
commitdiff
2021-05-26
Gereon Kremer
Reduce size of sphinx-gh output (#6601)
tree
|
commitdiff
2021-05-21
makaimann
Use scikit-build CMake files for pycvc5 (#6543)
tree
|
commitdiff
2021-05-20
Aina Niemetz
Disable unit testing for clang builds. (#6595)
tree
|
commitdiff
2021-05-14
Gereon Kremer
Restrict additional CI jobs (#6539)
tree
|
commitdiff
2021-05-12
Gereon Kremer
Move docs upload to a different workflow (#6512)
tree
|
commitdiff
2021-05-07
Gereon Kremer
Integrate documentation build with the regular CI workf...
tree
|
commitdiff
2021-05-06
Mathias Preiner
Update README.md and remove last CVC4 references. ...
tree
|
commitdiff
2021-05-04
Gereon Kremer
Use proper commit hash for PRs (#6485)
tree
|
commitdiff
2021-05-03
Gereon Kremer
Add missing --auto-download in CI (#6478)
tree
|
commitdiff
2021-05-03
Gereon Kremer
Add CI jobs to build docs (#6413)
tree
|
commitdiff
2021-05-03
Aina Niemetz
SymFPU: Automatically apply patch from 2020-11-14....
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-16
Gereon Kremer
Refactor cmake: auto-download and default-on dependenci...
tree
|
commitdiff
2021-04-13
Mathias Preiner
ci: Use CVC5_REGRESSION_ARGS. (#6347)
tree
|
commitdiff
2021-04-12
Andres Noetzli
Fix GitHub Actions macOS build (#6331)
tree
|
commitdiff
2021-04-08
Gereon Kremer
Use newer version of update-pr-branch action. (#6315)
tree
|
commitdiff
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
tree
|
commitdiff
2021-04-02
Gereon Kremer
Add cache for new dependencies folder. (#6265)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor GMP and Poly dependencies (#6245)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor dependencies for external SAT solvers (#6215)
tree
|
commitdiff
2021-03-31
Gereon Kremer
Refactor SymFPU dependency (#6218)
tree
|
commitdiff
2021-03-27
Gereon Kremer
Refactor ANTLR3 dependency (#6202)
tree
|
commitdiff
2021-03-23
Haniel Barbosa
Removing unused build options and deprecated proof...
tree
|
commitdiff
2021-03-16
Mathias Preiner
ci: Enable checking of proofs + unsat cores. (#6088)
tree
|
commitdiff
2021-03-12
Mathias Preiner
ci: Replace debug builds with assertion enabled product...
tree
|
commitdiff
next