projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixes and additions for LFSC signatures (#8120)
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
2021-07-14
Mathias Preiner
bv: Add missing BV_EAGER_ATOM proof rule. (#6874)
commit
|
commitdiff
|
tree
2021-07-13
Mathias Preiner
bv: Simplify BV_BITBLAST_* proof rules. (#6871)
commit
|
commitdiff
|
tree
2021-07-13
Mathias Preiner
bv: Do not rewrite below BV leafs in BBProof's TConvProofGen...
commit
|
commitdiff
|
tree
2021-07-13
Mathias Preiner
bv: Expand bitblast proof steps in the proof post processor...
commit
|
commitdiff
|
tree
2021-07-03
Mathias Preiner
Add output tags -o, --output. (#6826)
commit
|
commitdiff
|
tree
2021-07-02
Mathias Preiner
Fix bv assert input reset assertions (#6820)
commit
|
commitdiff
|
tree
2021-06-30
Mathias Preiner
Use SAT context level for --bv-assert-input instead...
commit
|
commitdiff
|
tree
2021-06-29
Mathias Preiner
Fix statistics in AigBitblaster. (#6810)
commit
|
commitdiff
|
tree
2021-06-24
Mathias Preiner
cmake: Add new code coverage targets. (#6796)
commit
|
commitdiff
|
tree
2021-06-21
Mathias Preiner
Update to CaDiCaL 1.4.1. (#6780)
commit
|
commitdiff
|
tree
2021-06-21
Mathias Preiner
Fix model issues with --bitblast=eager. (#6753)
commit
|
commitdiff
|
tree
2021-06-21
Mathias Preiner
Move cnfConversionTime statistic to CnfStream. (#6769)
commit
|
commitdiff
|
tree
2021-06-21
Mathias Preiner
Make CaDiCaL a required dependency. (#6761)
commit
|
commitdiff
|
tree
2021-06-18
Mathias Preiner
Make CnfStream::toCNF iterative (#6757)
commit
|
commitdiff
|
tree
2021-06-10
Mathias Preiner
smtcomp: Change some BV configs for SQ and INC track...
commit
|
commitdiff
|
tree
2021-06-04
Mathias Preiner
bv: Enable bitblast solver by default. (#6660)
commit
|
commitdiff
|
tree
2021-05-20
Mathias Preiner
Update version of CaDiCaL. (#6583)
commit
|
commitdiff
|
tree
2021-05-19
Mathias Preiner
Correctly handle negated assertions for assumption...
commit
|
commitdiff
|
tree
2021-05-19
Mathias Preiner
bv: Add support for --bitblast=eager. (#6516)
commit
|
commitdiff
|
tree
2021-05-14
Mathias Preiner
bv: Assert input facts on user-level 0. (#6515)
commit
|
commitdiff
|
tree
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
commit
|
commitdiff
|
tree
2021-05-06
Mathias Preiner
Update README.md and remove last CVC4 references. ...
commit
|
commitdiff
|
tree
2021-05-04
Mathias Preiner
cmake: Fix ninja build. (#6481)
commit
|
commitdiff
|
tree
2021-04-30
Mathias Preiner
bv: Refactor ppAssert and move to TheoryBV. (#6470)
commit
|
commitdiff
|
tree
2021-04-24
Mathias Preiner
Add assumption-based unsat cores. (#6427)
commit
|
commitdiff
|
tree
2021-04-22
Mathias Preiner
cmake: Do not require --auto-download for already downloaded...
commit
|
commitdiff
|
tree
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
commit
|
commitdiff
|
tree
2021-04-21
Mathias Preiner
cmake: Add optional module name argument for check_python_mo...
commit
|
commitdiff
|
tree
2021-04-16
Mathias Preiner
cmake: Build object libraries for base and context...
commit
|
commitdiff
|
tree
2021-04-15
Mathias Preiner
Build support library from base and context. (#6368)
commit
|
commitdiff
|
tree
2021-04-13
Mathias Preiner
ci: Use CVC5_REGRESSION_ARGS. (#6347)
commit
|
commitdiff
|
tree
2021-04-07
Mathias Preiner
cmake: Do not always regenerate cvc4kinds.{pxi,pxd...
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
cmake: Add helper to check if a given Python module...
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
genkinds: Do not use relative paths to find src directory...
commit
|
commitdiff
|
tree
2021-04-06
Mathias Preiner
parsekinds: Remove DEFAULT_HEADER. (#6294)
commit
|
commitdiff
|
tree
2021-04-02
Mathias Preiner
cmake: Do not link against main object library. (#6269)
commit
|
commitdiff
|
tree
2021-03-25
Mathias Preiner
Do not use Configuration class in API black tests....
commit
|
commitdiff
|
tree
2021-03-16
Mathias Preiner
ci: Enable checking of proofs + unsat cores. (#6088)
commit
|
commitdiff
|
tree
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
commit
|
commitdiff
|
tree
2021-03-12
Mathias Preiner
cmake: Remove install rules for old API headers. (...
commit
|
commitdiff
|
tree
2021-03-12
Mathias Preiner
ci: Replace debug builds with assertion enabled production...
commit
|
commitdiff
|
tree
2021-03-11
Mathias Preiner
Fix compile warnings when compiling with GLPK. (#6115)
commit
|
commitdiff
|
tree
2021-03-11
Mathias Preiner
Use CVC4_ASSERTIONS instead of NDEBUG. (#6099)
commit
|
commitdiff
|
tree
2021-03-11
Mathias Preiner
Add GitHub action to automatically update approved...
commit
|
commitdiff
|
tree
2021-03-10
Mathias Preiner
Use Assert instead of assert. (#6095)
commit
|
commitdiff
|
tree
next