projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Split sygus template inference to its own file (#5388)
2020-10-28
yoni206
run_regression.py to fail on invalid requirements ...
commit
|
commitdiff
|
tree
2020-10-20
yoni206
Expand `seq.nth` lazily (#5287)
commit
|
commitdiff
|
tree
2020-10-16
yoni206
bv2int: caching introduced terms (#5283)
commit
|
commitdiff
|
tree
2020-10-14
yoni206
bv2int: implementing the iand-sum mode (#5265)
commit
|
commitdiff
|
tree
2020-10-14
yoni206
bv2int: rewritings and unsat cores (#5263)
commit
|
commitdiff
|
tree
2020-10-13
yoni206
bv2int: improving bvand tables (#5235)
commit
|
commitdiff
|
tree
2020-10-10
yoni206
bv2int: bvand translation code move (#5227)
commit
|
commitdiff
|
tree
2020-10-08
yoni206
fix unit failures on debug without symfpu (#5212)
commit
|
commitdiff
|
tree
2020-10-06
yoni206
bv-to-int: change order of passes (#5208)
commit
|
commitdiff
|
tree
2020-09-23
yoni206
bv2int: new options for bvand translation (#5096)
commit
|
commitdiff
|
tree
2020-09-22
yoni206
Require dumping in a dumping test (#5108)
commit
|
commitdiff
|
tree
2020-09-18
yoni206
bv2int: quantifiers support (#5080)
commit
|
commitdiff
|
tree
2020-09-17
yoni206
Dumping internal define-funs with no arguments (#5077)
commit
|
commitdiff
|
tree
2020-09-16
yoni206
bv2int: support models in tests (#5068)
commit
|
commitdiff
|
tree
2020-09-14
yoni206
bv2int: simpler translation for plus and times (#5055)
commit
|
commitdiff
|
tree
2020-09-10
yoni206
bv2int: refactoring the main translation loop (#5051)
commit
|
commitdiff
|
tree
2020-09-10
yoni206
bv2int: improvement in lazy failures (#5020)
commit
|
commitdiff
|
tree
2020-09-03
yoni206
Changing the handled operators in bv2int preprocessing...
commit
|
commitdiff
|
tree
2020-08-28
yoni206
Incremental support for bv_to_int (#4967)
commit
|
commitdiff
|
tree
2020-08-03
yoni206
New BV rewrite rules aimed at bv_to_int preprocessing...
commit
|
commitdiff
|
tree
2020-08-03
yoni206
Examples for using sygus python api (#4822)
commit
|
commitdiff
|
tree
2020-08-01
yoni206
Add SyGuS Python API (#4812)
commit
|
commitdiff
|
tree
2020-07-28
yoni206
Supporting seq.nth (#4723)
commit
|
commitdiff
|
tree
2020-07-11
yoni206
Changing bv_to_int options (#4721)
commit
|
commitdiff
|
tree
2020-06-26
yoni206
fix and test (#4658)
commit
|
commitdiff
|
tree
2020-06-22
yoni206
fix (#4637)
commit
|
commitdiff
|
tree
2020-06-19
yoni206
Bv to int elimination bugfix (#4435)
commit
|
commitdiff
|
tree
2020-05-31
yoni206
update example in README to use ctest. (#4540)
commit
|
commitdiff
|
tree
2020-03-24
yoni206
Int2BV fail on demand (#4079)
commit
|
commitdiff
|
tree
2020-03-19
yoni206
Bv2int fail on demand
commit
|
commitdiff
|
tree
2020-02-25
yoni206
remove redundant includes (#3815)
commit
|
commitdiff
|
tree
2020-02-25
yoni206
bv_to_int preprocessing pass
commit
|
commitdiff
|
tree
2019-11-11
yoni206
Update README according to the new website (#3438)
commit
|
commitdiff
|
tree
2019-10-03
yoni206
Disable proofs for unsupported logics (#3327)
commit
|
commitdiff
|
tree
2019-09-04
yoni206
More details in substitution function documentation...
commit
|
commitdiff
|
tree
2019-07-31
yoni206
adding bv_gauss unit test to build files (#3135)
commit
|
commitdiff
|
tree
2019-07-29
yoni206
Refactoring of bit-vector elimination rules (#3105)
commit
|
commitdiff
|
tree
2019-07-23
yoni206
Get operators in node (#3094)
commit
|
commitdiff
|
tree
2019-07-19
yoni206
SyGuS grammar refactor (#3100)
commit
|
commitdiff
|
tree
2018-11-05
yoni206
Increasing coverage (#2683)
commit
|
commitdiff
|
tree
2018-11-02
yoni206
fixes to regression docs (#2679)
commit
|
commitdiff
|
tree
2018-09-25
yoni206
carefully printing trusted assertions in proofs (#2505)
commit
|
commitdiff
|
tree
2018-09-11
yoni206
Avoid calling size() every iteration (#2450)
commit
|
commitdiff
|
tree
2018-08-25
yoni206
Refactor quantifier macros preprocessing pass (#1840)
commit
|
commitdiff
|
tree
2018-08-23
yoni206
global-negate preprocessing pass (#2317)
commit
|
commitdiff
|
tree
2018-08-22
yoni206
Generating less consistency lemmas in bv-ackermann...
commit
|
commitdiff
|
tree
2018-07-26
yoni206
Disabling bvLazyRewriteExtf in the right place (#2214)
commit
|
commitdiff
|
tree
2018-07-21
yoni206
Remove --no-check-proofs and --no-check-unsat-cores...
commit
|
commitdiff
|
tree
2018-07-17
yoni206
Refactor sep-pre-skolem-emp preprocessing pass
commit
|
commitdiff
|
tree
2018-05-16
yoni206
Refactor static learning preprocessing pass (#1857)
commit
|
commitdiff
|
tree
2018-05-09
yoni206
Reorder class members in bv-to-bool and bool-to-bv...
commit
|
commitdiff
|
tree
2018-04-25
yoni206
Refactor array-proofs and uf-proofs (#1655)
commit
|
commitdiff
|
tree
2018-04-25
yoni206
Refactor bv-to-bool and bool-to-bv preprocessing passes...
commit
|
commitdiff
|
tree
2018-04-20
yoni206
Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv...
commit
|
commitdiff
|
tree
2018-04-20
yoni206
Allow metadata lines in test files to have leading...
commit
|
commitdiff
|
tree
2018-04-19
yoni206
Adding config/tap-driver.sh to .gitignore (#1792)
commit
|
commitdiff
|
tree
2018-04-14
yoni206
allowing --bool-to-bv without quantifiers (#1771)
commit
|
commitdiff
|
tree
2018-04-02
yoni206
a formula should be an instance of itself (#1668)
commit
|
commitdiff
|
tree
2018-04-02
yoni206
Do not call toString() on malformed node when throwing...
commit
|
commitdiff
|
tree
2018-03-20
yoni206
correct instruction for running example (#1669)
commit
|
commitdiff
|
tree