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

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