Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
Upgrade CI MacOS version to macos-latest. (#9869)
July 6, 2023 13:49
cmake
Update Pythonic API to post-FF version. (#9833)
June 23, 2023 14:46
contrib
Remove ANTLR code from parser (#9829)
July 10, 2023 10:34
docs
docs: Document pyparsing dependency. (#9639)
March 30, 2023 11:23
examples
Remove support for synth-inv and fix command execution (#9882)
July 14, 2023 12:43
include/cvc5
Remove support for synth-inv and fix command execution (#9882)
July 14, 2023 12:43
licenses
Remove portfolio (#3236)
September 6, 2019 20:52
proofs/lfsc/signatures
Add basic support for finite field proofs in LFSC (#9534)
March 1, 2023 15:33
src
Ensure ref counting on intermediate nodes in traversals (#9884)
July 18, 2023 17:38
test
Rewrite full applied HO_APPLY in quantifier bodies (#9856)
July 18, 2023 14:19
.clang-format
Patch cross reference in Kind.java documentation (#8458)
March 30, 2022 21:58
.gitignore
Refactor ANTLR3 dependency (#6202)
March 27, 2021 09:41
.mailmap
update from the master
April 20, 2016 14:43
.style.yapf
Move public options functions to separate file (#6671)
July 26, 2021 23:42
AUTHORS
Remove ANTLR code from parser (#9829)
July 10, 2023 10:34
CMakeLists.txt
Prefer ld.mold if available. (#9866)
July 11, 2023 16:20
CONTRIBUTING.md
Rename master branch to main. (#8452)
March 30, 2022 02:55
COPYING
Remove ANTLR code from parser (#9829)
July 10, 2023 10:34
INSTALL.rst
Remove ANTLR code from parser (#9829)
July 10, 2023 10:34
NEWS.md
Remove support for synth-inv and fix command execution (#9882)
July 14, 2023 12:43
README.md
Rename master branch to main. (#8452)
March 30, 2022 02:55
THANKS
Update AUTHORS and THANKS. (#9735)
May 9, 2023 09:59
configure.sh
Initial steps towards a 'native' Windows build (#7512)
March 8, 2023 16:25