projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for sygus-inst (#8448)
2022-03-30 yoni206Add information for cardinality constraint to the Python...
commit | commitdiff | tree
2022-03-30 yoni206Adding some missing python API methods and tests (...
commit | commitdiff | tree
2022-03-29 yoni206bv-to-int: fix translation of bvneg (#8437)
 commit | commitdiff | tree
2022-03-26 yoni206Separating produce-interpols from the mode of interpolant...
commit | commitdiff | tree
2022-01-05 yoni206Properly set __file__ in python bindings (#7867)
 commit | commitdiff | tree
2022-01-04 yoni206Adding interpolation and abduction to the python API...
commit | commitdiff | tree
2021-12-21 yoni206Rewrite (pow2 x) to (pow 2 x) when x is a constant...
commit | commitdiff | tree
2021-12-16 yoni206bv-to-int: use pow2 operator (#7812)
 commit | commitdiff | tree
2021-12-16 yoni206int-to-bv: fail if one of the arguments has type real...
commit | commitdiff | tree
2021-12-13 yoni206Integrate new int-blaster (#7781)
 commit | commitdiff | tree
2021-12-01 yoni206Translating API tests to Python — part 2 (#7651)
 commit | commitdiff | tree
2021-11-30 yoni206Translating more cpp API unit tests to python (#7669)
 commit | commitdiff | tree
2021-11-23 yoni206Python API documentation: terms (#7659)
 commit | commitdiff | tree
2021-11-20 yoni206bv2int module: translation of more cases (#7653)
 commit | commitdiff | tree
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597)
 commit | commitdiff | tree
2021-10-27 yoni206Python api documentation for sorts (#7440)
 commit | commitdiff | tree
2021-10-22 yoni206Making `IntBlaster` inherit from `EnvObj` (#7431)
 commit | commitdiff | tree
2021-10-20 yoni206Add `isNull` and `isUpdater` to `Sort` class of python...
commit | commitdiff | tree
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums...
commit | commitdiff | tree
2021-08-31 yoni206bv-to-int-module: implementations and stubs for translating...
commit | commitdiff | tree
2021-08-30 yoni206python docs for Datatype-related classes (#7058)
 commit | commitdiff | tree
2021-08-27 yoni206Add `isNull` to cpp api tests, python api, and python...
commit | commitdiff | tree
2021-08-24 yoni206bv-to-int: more implementations (#7051)
 commit | commitdiff | tree
2021-08-23 yoni206Adding parameters to Datatype python API documentation...
commit | commitdiff | tree
2021-08-19 yoni206Make the python quickstart example run using ctest...
commit | commitdiff | tree
2021-08-19 yoni206Add python quick start guide (#7024)
 commit | commitdiff | tree
2021-07-29 yoni206Python quick start example (#6939)
 commit | commitdiff | tree
2021-06-30 yoni206pow2: new test (#6819)
 commit | commitdiff | tree
2021-06-30 yoni206int-to-bv: correct model values (#6811)
 commit | commitdiff | tree
2021-06-28 yoni206Rewrite POW to POW2 when the base is 2 (#6806)
 commit | commitdiff | tree
2021-06-26 yoni206pow2 -- final changes (#6800)
 commit | commitdiff | tree
2021-06-25 yoni206pow2: Adding monotonicity lemma (#6793)
 commit | commitdiff | tree
2021-06-23 yoni206pow2: more implementations (#6756)
 commit | commitdiff | tree
2021-06-22 yoni206python api unit tests for Op (#6785)
 commit | commitdiff | tree
2021-06-22 yoni206modular bv2int: Stubs and some implementations (#6760)
 commit | commitdiff | tree
2021-06-22 yoni206Python api unit tests for Result (#6763)
 commit | commitdiff | tree
2021-06-15 yoni206pow2: adding a kind, inference rules, and some implementatio...
commit | commitdiff | tree
2021-06-15 yoni206An example for a quick start guide (#6686)
 commit | commitdiff | tree
2021-06-04 yoni206pow2: header file for pow2 solver (#6676)
 commit | commitdiff | tree
2021-06-03 yoni206Adding unit tests for the datatypes python API (#6658)
 commit | commitdiff | tree
2021-06-03 yoni206Renaming pow2 to p2 in regression tests (#6675)
 ...branch is here: https://github.com/yoni206/cvc5/tree/pow2
 commit | commitdiff | tree
2021-06-02 yoni206Adding getters to the python API and testing them ...
commit | commitdiff | tree
2021-06-02 yoni206Move `toPythonObj` tests to the new API unit test directory...
commit | commitdiff | tree
2021-06-01 yoni206Some additions to the datatypes python API (#6640)
 commit | commitdiff | tree
2021-06-01 yoni206FP value support in python API (#6644)
 commit | commitdiff | tree
2021-05-31 yoni206Update `toPythonObj` to use new getters -- part 1 ...
commit | commitdiff | tree
2021-05-28 yoni206Python API: bugfix + translating tests from cpp unit...
commit | commitdiff | tree
2021-05-20 yoni206Avoid using printSynthSolution in the python API and...
commit | commitdiff | tree
2021-05-17 yoni206Move and enhance python API grammar tests (#6538)
 commit | commitdiff | tree
2021-05-13 yoni206Adding functions to the python API and testing them...
commit | commitdiff | tree
2021-05-08 yoni206Adding functions to the python API and testing them...
commit | commitdiff | tree
2021-05-03 yoni206Python API tests for terms -- Part 1 (#6468)
 commit | commitdiff | tree
2021-04-20 yoni206python API sorts: adding functions and tests (#6361)
 commit | commitdiff | tree
2021-04-05 yoni206A proposal for python api unit tests (#6255)
 commit | commitdiff | tree
2021-03-31 yoni206Fix compilation of Python bindings for named build...
commit | commitdiff | tree
2021-03-29 yoni206Modular bv2int part 1 (#6212)
 commit | commitdiff | tree
2021-03-05 yoni206Set logic in interpolation unit test. (#6067)
 commit | commitdiff | tree
2021-02-25 yoni206Datatypes lemmas: share only external types (#5997)
 commit | commitdiff | tree
2021-02-04 yoni206Adding an option to optimize polite combination for...
commit | commitdiff | tree
2021-02-04 yoni206Clarifying documentation of `--static-binary` (#5844)
 commit | commitdiff | tree
2021-01-12 yoni206Foreign theory rewrite option (#5763)
 commit | commitdiff | tree
2021-01-09 yoni206Strings arith checks preprocessing pass: step 2 (#5750)
 commit | commitdiff | tree
2021-01-08 yoni206bv-to-int: avoid binarizing nodes twice (#5749)
 commit | commitdiff | tree
2021-01-06 yoni206strings arith checks preprocessing pass: step 1 (#5747)
 commit | commitdiff | tree
2021-01-05 yoni206Adding str.len to triggers (#5746)
 commit | commitdiff | tree
2020-12-22 yoni206Delete duplicated code (#5718)
 commit | commitdiff | tree
2020-12-11 yoni206bv-to-int: new tests from an issue (#5654)
 commit | commitdiff | tree
2020-12-09 yoni206update doc (#5619)
 commit | commitdiff | tree
2020-12-08 yoni206bv-to-int: Expand definitions of bvudiv and bvurem...
commit | commitdiff | tree
2020-12-03 yoni206Models as (#5581)
 commit | commitdiff | tree
2020-12-01 yoni206fix metadata for a test (#5546)
 commit | commitdiff | tree
2020-11-13 yoni206Model declarations printing options (#5432)
 commit | commitdiff | tree
2020-11-12 yoni206Models standard (#5415)
 commit | commitdiff | tree
2020-10-28 yoni206run_regression.py to fail on invalid requirements ...
commit | commitdiff | tree
2020-10-20 yoni206Expand `seq.nth` lazily (#5287)
 commit | commitdiff | tree
2020-10-16 yoni206bv2int: caching introduced terms (#5283)
 commit | commitdiff | tree
2020-10-14 yoni206bv2int: implementing the iand-sum mode (#5265)
 commit | commitdiff | tree
2020-10-14 yoni206bv2int: rewritings and unsat cores (#5263)
 commit | commitdiff | tree
2020-10-13 yoni206bv2int: improving bvand tables (#5235)
 commit | commitdiff | tree
2020-10-10 yoni206bv2int: bvand translation code move (#5227)
 commit | commitdiff | tree
2020-10-08 yoni206fix unit failures on debug without symfpu (#5212)
 commit | commitdiff | tree
2020-10-06 yoni206bv-to-int: change order of passes (#5208)
 commit | commitdiff | tree
2020-09-23 yoni206bv2int: new options for bvand translation (#5096)
 commit | commitdiff | tree
2020-09-22 yoni206Require dumping in a dumping test (#5108)
 commit | commitdiff | tree
2020-09-18 yoni206bv2int: quantifiers support (#5080)
 commit | commitdiff | tree
2020-09-17 yoni206Dumping internal define-funs with no arguments (#5077)
 commit | commitdiff | tree
2020-09-16 yoni206bv2int: support models in tests (#5068)
 commit | commitdiff | tree
2020-09-14 yoni206bv2int: simpler translation for plus and times (#5055)
 commit | commitdiff | tree
2020-09-10 yoni206bv2int: refactoring the main translation loop (#5051)
 commit | commitdiff | tree
2020-09-10 yoni206bv2int: improvement in lazy failures (#5020)
 commit | commitdiff | tree
2020-09-03 yoni206Changing the handled operators in bv2int preprocessing...
commit | commitdiff | tree
2020-08-28 yoni206Incremental support for bv_to_int (#4967)
 commit | commitdiff | tree
2020-08-03 yoni206New BV rewrite rules aimed at bv_to_int preprocessing...
commit | commitdiff | tree
2020-08-03 yoni206Examples for using sygus python api (#4822)
 commit | commitdiff | tree
2020-08-01 yoni206Add SyGuS Python API (#4812)
 commit | commitdiff | tree
2020-07-28 yoni206Supporting seq.nth (#4723)
 commit | commitdiff | tree
2020-07-11 yoni206Changing bv_to_int options (#4721)
 commit | commitdiff | tree
2020-06-26 yoni206fix and test (#4658)
 commit | commitdiff | tree
2020-06-22 yoni206fix (#4637)
 commit | commitdiff | tree
2020-06-19 yoni206Bv to int elimination bugfix (#4435)
 commit | commitdiff | tree
next