projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Refactor setup of proof equality engine for central EE (#6831)
2021-06-30
yoni206
pow2: new test (#6819)
commit
|
commitdiff
|
tree
2021-06-30
yoni206
int-to-bv: correct model values (#6811)
commit
|
commitdiff
|
tree
2021-06-28
yoni206
Rewrite POW to POW2 when the base is 2 (#6806)
commit
|
commitdiff
|
tree
2021-06-26
yoni206
pow2 -- final changes (#6800)
commit
|
commitdiff
|
tree
2021-06-25
yoni206
pow2: Adding monotonicity lemma (#6793)
commit
|
commitdiff
|
tree
2021-06-23
yoni206
pow2: more implementations (#6756)
commit
|
commitdiff
|
tree
2021-06-22
yoni206
python api unit tests for Op (#6785)
commit
|
commitdiff
|
tree
2021-06-22
yoni206
modular bv2int: Stubs and some implementations (#6760)
commit
|
commitdiff
|
tree
2021-06-22
yoni206
Python api unit tests for Result (#6763)
commit
|
commitdiff
|
tree
2021-06-15
yoni206
pow2: adding a kind, inference rules, and some implementatio...
commit
|
commitdiff
|
tree
2021-06-15
yoni206
An example for a quick start guide (#6686)
commit
|
commitdiff
|
tree
2021-06-04
yoni206
pow2: header file for pow2 solver (#6676)
commit
|
commitdiff
|
tree
2021-06-03
yoni206
Adding unit tests for the datatypes python API (#6658)
commit
|
commitdiff
|
tree
2021-06-03
yoni206
Renaming pow2 to p2 in regression tests (#6675)
...branch is here: https://github.com/
yoni206
/cvc5/tree/pow2
commit
|
commitdiff
|
tree
2021-06-02
yoni206
Adding getters to the python API and testing them ...
commit
|
commitdiff
|
tree
2021-06-02
yoni206
Move `toPythonObj` tests to the new API unit test directory...
commit
|
commitdiff
|
tree
2021-06-01
yoni206
Some additions to the datatypes python API (#6640)
commit
|
commitdiff
|
tree
2021-06-01
yoni206
FP value support in python API (#6644)
commit
|
commitdiff
|
tree
2021-05-31
yoni206
Update `toPythonObj` to use new getters -- part 1 ...
commit
|
commitdiff
|
tree
2021-05-28
yoni206
Python API: bugfix + translating tests from cpp unit...
commit
|
commitdiff
|
tree
2021-05-20
yoni206
Avoid using printSynthSolution in the python API and...
commit
|
commitdiff
|
tree
2021-05-17
yoni206
Move and enhance python API grammar tests (#6538)
commit
|
commitdiff
|
tree
2021-05-13
yoni206
Adding functions to the python API and testing them...
commit
|
commitdiff
|
tree
2021-05-08
yoni206
Adding functions to the python API and testing them...
commit
|
commitdiff
|
tree
2021-05-03
yoni206
Python API tests for terms -- Part 1 (#6468)
commit
|
commitdiff
|
tree
2021-04-20
yoni206
python API sorts: adding functions and tests (#6361)
commit
|
commitdiff
|
tree
2021-04-05
yoni206
A proposal for python api unit tests (#6255)
commit
|
commitdiff
|
tree
2021-03-31
yoni206
Fix compilation of Python bindings for named build...
commit
|
commitdiff
|
tree
2021-03-29
yoni206
Modular bv2int part 1 (#6212)
commit
|
commitdiff
|
tree
2021-03-05
yoni206
Set logic in interpolation unit test. (#6067)
commit
|
commitdiff
|
tree
2021-02-25
yoni206
Datatypes lemmas: share only external types (#5997)
commit
|
commitdiff
|
tree
2021-02-04
yoni206
Adding an option to optimize polite combination for...
commit
|
commitdiff
|
tree
2021-02-04
yoni206
Clarifying documentation of `--static-binary` (#5844)
commit
|
commitdiff
|
tree
2021-01-12
yoni206
Foreign theory rewrite option (#5763)
commit
|
commitdiff
|
tree
2021-01-09
yoni206
Strings arith checks preprocessing pass: step 2 (#5750)
commit
|
commitdiff
|
tree
2021-01-08
yoni206
bv-to-int: avoid binarizing nodes twice (#5749)
commit
|
commitdiff
|
tree
2021-01-06
yoni206
strings arith checks preprocessing pass: step 1 (#5747)
commit
|
commitdiff
|
tree
2021-01-05
yoni206
Adding str.len to triggers (#5746)
commit
|
commitdiff
|
tree
2020-12-22
yoni206
Delete duplicated code (#5718)
commit
|
commitdiff
|
tree
2020-12-11
yoni206
bv-to-int: new tests from an issue (#5654)
commit
|
commitdiff
|
tree
2020-12-09
yoni206
update doc (#5619)
commit
|
commitdiff
|
tree
2020-12-08
yoni206
bv-to-int: Expand definitions of bvudiv and bvurem...
commit
|
commitdiff
|
tree
2020-12-03
yoni206
Models as (#5581)
commit
|
commitdiff
|
tree
2020-12-01
yoni206
fix metadata for a test (#5546)
commit
|
commitdiff
|
tree
2020-11-13
yoni206
Model declarations printing options (#5432)
commit
|
commitdiff
|
tree
2020-11-12
yoni206
Models standard (#5415)
commit
|
commitdiff
|
tree
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
next