git.libre-soc.org Git - cvc5.git/search

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

RSS Atom