git.libre-soc.org Git - cvc5.git/history - src/preprocessing/passes/bv_to

[cvc5.git] / src / preprocessing / passes / bv_to_int.cpp

2021-01-08	yoni206	bv-to-int: avoid binarizing nodes twice (#5749)	blob \| commitdiff \| raw
2020-12-08	yoni206	bv-to-int: Expand definitions of bvudiv and bvurem...	blob \| commitdiff \| raw \| diff to current
2020-12-07	makaimann	Add bitwise refinement mode for IAND (#5328)	blob \| commitdiff \| raw \| diff to current
2020-12-04	Alex Ozdemir	Use NodeDfsIterable for makeBinary (#5595)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-10-16	yoni206	bv2int: caching introduced terms (#5283)	blob \| commitdiff \| raw \| diff to current
2020-10-14	yoni206	bv2int: rewritings and unsat cores (#5263)	blob \| commitdiff \| raw \| diff to current
2020-10-13	yoni206	bv2int: improving bvand tables (#5235)	blob \| commitdiff \| raw \| diff to current
2020-10-12	Andrew Reynolds	Eliminate uses of Expr in SmtEngine interface (#5240)	blob \| commitdiff \| raw \| diff to current
2020-10-10	yoni206	bv2int: bvand translation code move (#5227)	blob \| commitdiff \| raw \| diff to current
2020-09-23	yoni206	bv2int: new options for bvand translation (#5096)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-18	yoni206	bv2int: quantifiers support (#5080)	blob \| commitdiff \| raw \| diff to current
2020-09-16	yoni206	bv2int: support models in tests (#5068)	blob \| commitdiff \| raw \| diff to current
2020-09-14	yoni206	bv2int: simpler translation for plus and times (#5055)	blob \| commitdiff \| raw \| diff to current
2020-09-14	Andres Noetzli	Fix type for Windows build (#5062)	blob \| commitdiff \| raw \| diff to current
2020-09-10	yoni206	bv2int: refactoring the main translation loop (#5051)	blob \| commitdiff \| raw \| diff to current
2020-09-10	yoni206	bv2int: improvement in lazy failures (#5020)	blob \| commitdiff \| raw \| diff to current
2020-09-03	yoni206	Changing the handled operators in bv2int preprocessing...	blob \| commitdiff \| raw \| diff to current
2020-08-28	yoni206	Incremental support for bv_to_int (#4967)	blob \| commitdiff \| raw \| diff to current
2020-07-11	yoni206	Changing bv_to_int options (#4721)	blob \| commitdiff \| raw \| diff to current
2020-06-19	yoni206	Bv to int elimination bugfix (#4435)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-25	Ahmed Irfan	bv2int : linear mult opt (#4142)	blob \| commitdiff \| raw \| diff to current
2020-03-19	yoni206	Bv2int fail on demand	blob \| commitdiff \| raw \| diff to current
2020-02-25	yoni206	bv_to_int preprocessing pass	blob \| commitdiff \| raw \| diff to current

RSS Atom