Alberto Gonzalez 83c595aaac qbfsat: Add -O[012] options to control pre-solving simplification with ABC. ... Thanks to @mwk for the gate mapping part of the ABC scripts. Co-Authored-By: Marcelina Kościelnicka <mwk@0x04.net>		2020-06-30 06:44:17 +00:00
..
cmds	Add new builtin FF types	2020-06-23 15:40:02 +02:00
equiv	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
fsm	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
hierarchy	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
memory	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
opt	Merge pull request #2168 from whitequark/assert-unused-exprs	2020-06-25 18:21:51 +02:00
pmgen	Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).	2020-06-19 15:48:58 +00:00
proc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
sat	qbfsat: Add -O[012] options to control pre-solving simplification with ABC.	2020-06-30 06:44:17 +00:00
techmap	Merge pull request #2168 from whitequark/assert-unused-exprs	2020-06-25 18:21:51 +02:00
tests	test_cell: don't generate directional shifts with \B_SIGNED=1	2020-06-28 21:30:16 +02:00