projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove support for unused `declare-*` commands (#8623)
2022-04-05
Mathias Preiner
Start post-release for 1.0.0
commit
|
commitdiff
|
tree
2022-04-05
Mathias Preiner
Bump version to 1.0.0
commit
|
commitdiff
|
tree
2022-04-05
Mathias Preiner
Update copyright headers for release 1.0 (#8539)
commit
|
commitdiff
|
tree
2022-04-05
Mathias Preiner
Update NEWS for cvc5 1.0. (#8460)
commit
|
commitdiff
|
tree
2022-04-05
Mathias Preiner
docs: Fix mkTerm calls in theory documentation. (#8567)
commit
|
commitdiff
|
tree
2022-04-04
Mathias Preiner
Start post-release for 0.0.12
commit
|
commitdiff
|
tree
2022-04-04
Mathias Preiner
Bump version to 0.0.12
commit
|
commitdiff
|
tree
2022-04-03
Mathias Preiner
Start post-release for 0.0.11
commit
|
commitdiff
|
tree
2022-04-03
Mathias Preiner
Bump version to 0.0.11
commit
|
commitdiff
|
tree
2022-04-02
Mathias Preiner
docs: Add Python installation instructions for pip...
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
docs: Document UnknownExplanation. (#8508)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
make-release: Clarify instructions for pushing commits...
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Start post-release for 0.0.10
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Bump version to 0.0.10
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
docs: Add documentation for modes. (#8509)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
api: Swap arguments of declareSygusVar. (#8499)
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
api: Use std::optional for symbols in mk* functions...
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
make-release: Change instructions for pushing tag.
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Start post-release for 0.0.9
commit
|
commitdiff
|
tree
2022-04-01
Mathias Preiner
Bump version to 0.0.9
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Fix typo in update-pr job. (#8492)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
docs: Remove api namespace. (#8455)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
Start post-release for 0.0.8
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
Bump version to 0.0.8
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Do not cancel jobs on main branch. (#8471)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
ci: Update older PRs first. (#8477)
commit
|
commitdiff
|
tree
2022-03-31
Mathias Preiner
api: Remove isUninterpretedSortParameterized from header...
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Exclude competition build for issue8377-resolve-indexed...
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Move cvc5::internal::context to cvc5::context. (#8451)
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Move cvc5::internal::main to cvc5::main. (#8454)
commit
|
commitdiff
|
tree
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
commit
|
commitdiff
|
tree
2022-03-29
Mathias Preiner
Introduce internal namespace and remove api namespace...
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
Rename get-interpol to get-interpolant. (#8424)
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
ci: Enable all language bindings for debug build. ...
commit
|
commitdiff
|
tree
2022-03-28
Mathias Preiner
Mark solve-bv-as-int as expert. (#8417)
commit
|
commitdiff
|
tree
2022-03-25
Mathias Preiner
api: Unify mkOp variants. (#8369)
commit
|
commitdiff
|
tree
2022-03-23
Mathias Preiner
Only update latest tag if commit changed. (#8379)
commit
|
commitdiff
|
tree
2022-03-22
Mathias Preiner
api: Unify mkTerm variants. (#8357)
commit
|
commitdiff
|
tree
2022-03-16
Mathias Preiner
unit: Add test for api::Kind. (#8322)
commit
|
commitdiff
|
tree
2022-03-16
Mathias Preiner
api: Print the correct string for external kinds. ...
commit
|
commitdiff
|
tree
2022-03-16
Mathias Preiner
run_regression: Make sure to strip trailing whitespaces...
commit
|
commitdiff
|
tree
2022-03-16
Mathias Preiner
api: Make mkDatatypeDecl argument const&. (#8315)
commit
|
commitdiff
|
tree
2022-03-12
Mathias Preiner
cmake: Do not require googletest if unit tests are...
commit
|
commitdiff
|
tree
2022-03-10
Mathias Preiner
Fix regression errors for arm64 nightlies. (#8268)
commit
|
commitdiff
|
tree
2022-03-03
Mathias Preiner
cmake: Fix murxla setup. (#8215)
commit
|
commitdiff
|
tree
2022-02-09
Mathias Preiner
bv: Add --tlimit-per support for CryptoMiniSat. (#8086)
commit
|
commitdiff
|
tree
2022-02-09
Mathias Preiner
bv: Add --tlimit-per support for CaDiCaL. (#8085)
commit
|
commitdiff
|
tree
2022-01-28
Mathias Preiner
Start post-release for 0.0.7
commit
|
commitdiff
|
tree
2022-01-28
Mathias Preiner
Bump version to 0.0.7
commit
|
commitdiff
|
tree
2022-01-25
Mathias Preiner
Start post-release for 0.0.6
commit
|
commitdiff
|
tree
2022-01-25
Mathias Preiner
Bump version to 0.0.6
commit
|
commitdiff
|
tree
2022-01-08
Mathias Preiner
Start post-release for 0.0.5
commit
|
commitdiff
|
tree
2022-01-08
Mathias Preiner
Bump version to 0.0.5
commit
|
commitdiff
|
tree
2021-12-17
Mathias Preiner
Disable unsat cores for quaternion_ds1_symm_0428.fof...
commit
|
commitdiff
|
tree
2021-12-09
Mathias Preiner
test: Remove CDList memory limit test. (#7777)
commit
|
commitdiff
|
tree
2021-12-01
Mathias Preiner
api: Add missing bit-width 0 check to mkBVFromStrHelper...
commit
|
commitdiff
|
tree
2021-11-30
Mathias Preiner
Change CVC4 urls to cvc5. (#7706)
commit
|
commitdiff
|
tree
2021-11-29
Mathias Preiner
Start post-release for 0.0.4
commit
|
commitdiff
|
tree
2021-11-29
Mathias Preiner
Bump version to 0.0.4
commit
|
commitdiff
|
tree
2021-11-25
Mathias Preiner
Guard regression tests that require libpoly to pass...
commit
|
commitdiff
|
tree
2021-11-24
Mathias Preiner
cmake: Add option --[no]-static-binary. (#7695)
commit
|
commitdiff
|
tree
2021-11-24
Mathias Preiner
Fix ANTLR3 config for i386 and aarch64 builds. (#7694)
commit
|
commitdiff
|
tree
2021-11-19
Mathias Preiner
Allow negative denominator for CLN Rationals constructed...
commit
|
commitdiff
|
tree
2021-11-10
Mathias Preiner
docs: Also create javadoc for generated Kind.java ...
commit
|
commitdiff
|
tree
2021-11-10
Mathias Preiner
java: Fix building cvc5.jar for cmake 3.16. (#7623)
commit
|
commitdiff
|
tree
2021-11-09
Mathias Preiner
cmake: Use fastcov for generating coverage reports...
commit
|
commitdiff
|
tree
2021-11-06
Mathias Preiner
Disable regress2 test. (#7591)
commit
|
commitdiff
|
tree
2021-11-02
Mathias Preiner
bv: Disable equality engine for --bitblast=eager and...
commit
|
commitdiff
|
tree
2021-11-02
Mathias Preiner
Fix setDefaults() for proofs with bitblast-internal...
commit
|
commitdiff
|
tree
2021-11-02
Mathias Preiner
bv: Remove remaining Rewriter::rewrite calls. (#7545)
commit
|
commitdiff
|
tree
2021-11-01
Mathias Preiner
bv: Remove layered solver. (#7455)
commit
|
commitdiff
|
tree
2021-10-31
Mathias Preiner
api: Add guard against querying value from term with...
commit
|
commitdiff
|
tree
2021-10-29
Mathias Preiner
Start post-release for 0.0.3
commit
|
commitdiff
|
tree
2021-10-29
Mathias Preiner
Bump version to 0.0.3
commit
|
commitdiff
|
tree
2021-10-12
Mathias Preiner
cmake: Fix git info if build directory is outside of...
commit
|
commitdiff
|
tree
2021-10-11
Mathias Preiner
Start post-release for 0.0.2
commit
|
commitdiff
|
tree
2021-10-11
Mathias Preiner
Bump version to 0.0.2
commit
|
commitdiff
|
tree
2021-10-11
Mathias Preiner
Fix release action.
commit
|
commitdiff
|
tree
2021-10-11
Mathias Preiner
Start post-release for 0.0.1
commit
|
commitdiff
|
tree
2021-10-11
Mathias Preiner
Bump version to 0.0.1
commit
|
commitdiff
|
tree
2021-09-30
Mathias Preiner
configure: Fix --static flag. (#7280)
commit
|
commitdiff
|
tree
2021-09-30
Mathias Preiner
bv: Refactor ppRewrite and move to TheoryBV. (#7271)
commit
|
commitdiff
|
tree
2021-09-30
Mathias Preiner
Properly cache assertions in static learning preprocessing...
commit
|
commitdiff
|
tree
2021-09-29
Mathias Preiner
contrib: Fix check for get-script-header.sh. (#7259)
commit
|
commitdiff
|
tree
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
commit
|
commitdiff
|
tree
2021-09-14
Mathias Preiner
bv: Unify bit-blasting code for udiv and urem. (#7188)
commit
|
commitdiff
|
tree
2021-09-14
Mathias Preiner
proofs: Properly track pre- and post-rewrites in bbAtom...
commit
|
commitdiff
|
tree
2021-09-11
Mathias Preiner
bv: Move IsPowerOfTwo rule to preprocessing pass and...
commit
|
commitdiff
|
tree
2021-09-10
Mathias Preiner
bv: Use EnvObj::rewrite() and EnvObj::options() in...
commit
|
commitdiff
|
tree
2021-09-10
Mathias Preiner
bv: Use EnvObj::rewrite() and EnvObj::options() in...
commit
|
commitdiff
|
tree
2021-08-26
Mathias Preiner
int2bv: Fix conversion of signed bit-vector values...
commit
|
commitdiff
|
tree
2021-08-04
Mathias Preiner
syqi: Add debug information for dumping instantiations...
commit
|
commitdiff
|
tree
2021-08-02
Mathias Preiner
bv: Enable equality engine for bitblast-internal. ...
commit
|
commitdiff
|
tree
2021-07-27
Mathias Preiner
bv: Refactor getEqualityStatus and use for both bitblasting...
commit
|
commitdiff
|
tree
2021-07-27
Mathias Preiner
proof: Add eqrange expansion rule. (#6936)
commit
|
commitdiff
|
tree
2021-07-15
Mathias Preiner
bv: Disable bv-assert-input if proofs are enabled....
commit
|
commitdiff
|
tree
2021-07-15
Mathias Preiner
bv: Rename BBSimple to NodeBitblaster. (#6891)
commit
|
commitdiff
|
tree
2021-07-15
Mathias Preiner
bv: Rename lazy solver to layered solver. (#6889)
commit
|
commitdiff
|
tree
2021-07-15
Mathias Preiner
bv: Rename simple solver to bitblast-internal. (#6888)
commit
|
commitdiff
|
tree
2021-07-14
Mathias Preiner
Add missing space for check macro error messages. ...
commit
|
commitdiff
|
tree
next