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

2020-04-10	Andrew Reynolds	Towards proper use of resource managers (#4233)	blob \| commitdiff \| raw
2020-03-10	makaimann	Enhancement: make the bool-to-bv pass more robust and...	blob \| commitdiff \| raw \| diff to current
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-12-10	makaimann	BoolToBV modes (off, ite, all) (#2530)	blob \| commitdiff \| raw \| diff to current
2018-10-02	Andres Noetzli	Make registration of preprocessing passes explicit...	blob \| commitdiff \| raw \| diff to current
2018-10-01	Andres Noetzli	Refactor preprocessing pass registration (#2468)	blob \| commitdiff \| raw \| diff to current
2018-08-01	Mathias Preiner	Fix bool-to-bv preprocessing pass for non-{bv,bool...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-21	makaimann	Handle IMPLIES in bool-to-bv and test it in regress0...	blob \| commitdiff \| raw \| diff to current
2018-04-25	yoni206	Refactor bv-to-bool and bool-to-bv preprocessing passes...	blob \| commitdiff \| raw \| diff to current