projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Split sygus template inference to its own file (#5388)
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
2020-05-31 yoni206update example in README to use ctest. (#4540)
 commit | commitdiff | tree
2020-03-24 yoni206Int2BV fail on demand (#4079)
 commit | commitdiff | tree
2020-03-19 yoni206Bv2int fail on demand
 commit | commitdiff | tree
2020-02-25 yoni206remove redundant includes (#3815)
 commit | commitdiff | tree
2020-02-25 yoni206bv_to_int preprocessing pass
 commit | commitdiff | tree
2019-11-11 yoni206Update README according to the new website (#3438)
 commit | commitdiff | tree
2019-10-03 yoni206Disable proofs for unsupported logics (#3327)
 commit | commitdiff | tree
2019-09-04 yoni206More details in substitution function documentation...
commit | commitdiff | tree
2019-07-31 yoni206adding bv_gauss unit test to build files (#3135)
 commit | commitdiff | tree
2019-07-29 yoni206Refactoring of bit-vector elimination rules (#3105)
 commit | commitdiff | tree
2019-07-23 yoni206Get operators in node (#3094)
 commit | commitdiff | tree
2019-07-19 yoni206SyGuS grammar refactor (#3100)
 commit | commitdiff | tree
2018-11-05 yoni206Increasing coverage (#2683)
 commit | commitdiff | tree
2018-11-02 yoni206fixes to regression docs (#2679)
 commit | commitdiff | tree
2018-09-25 yoni206carefully printing trusted assertions in proofs (#2505)
 commit | commitdiff | tree
2018-09-11 yoni206Avoid calling size() every iteration (#2450)
 commit | commitdiff | tree
2018-08-25 yoni206Refactor quantifier macros preprocessing pass (#1840)
 commit | commitdiff | tree
2018-08-23 yoni206global-negate preprocessing pass (#2317)
 commit | commitdiff | tree
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann...
commit | commitdiff | tree
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214)
 commit | commitdiff | tree
2018-07-21 yoni206Remove --no-check-proofs and --no-check-unsat-cores...
commit | commitdiff | tree
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass
 commit | commitdiff | tree
2018-05-16 yoni206Refactor static learning preprocessing pass (#1857)
 commit | commitdiff | tree
2018-05-09 yoni206Reorder class members in bv-to-bool and bool-to-bv...
commit | commitdiff | tree
2018-04-25 yoni206Refactor array-proofs and uf-proofs (#1655)
 commit | commitdiff | tree
2018-04-25 yoni206Refactor bv-to-bool and bool-to-bv preprocessing passes...
commit | commitdiff | tree
2018-04-20 yoni206Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv...
commit | commitdiff | tree
2018-04-20 yoni206Allow metadata lines in test files to have leading...
commit | commitdiff | tree
2018-04-19 yoni206Adding config/tap-driver.sh to .gitignore (#1792)
 commit | commitdiff | tree
2018-04-14 yoni206allowing --bool-to-bv without quantifiers (#1771)
 commit | commitdiff | tree
2018-04-02 yoni206a formula should be an instance of itself (#1668)
 commit | commitdiff | tree
2018-04-02 yoni206Do not call toString() on malformed node when throwing...
commit | commitdiff | tree
2018-03-20 yoni206correct instruction for running example (#1669)
 commit | commitdiff | tree