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

2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw
2021-03-03	Gereon Kremer	More cleanup of includes to reduce compilation times...	blob \| commitdiff \| raw \| diff to current
2020-12-07	makaimann	Add bitwise refinement mode for IAND (#5328)	blob \| commitdiff \| raw \| diff to current
2020-10-10	yoni206	bv2int: bvand translation code move (#5227)	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-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-06-16	Aina Niemetz	Update copyright headers.	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