whitequark 7191dd16f9 Use C++11 final/override keywords.		2020-06-18 23:34:52 +00:00
..
aiger
anlogic
basys3
cmos
cxx-api	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
gowin	set undriven pads to zero	2019-09-04 16:29:40 +02:00
igloo2
intel
mimas2
osu035
python-api
smtbmc	Add support for optimizing exists-forall problems.	2020-03-13 17:10:29 +00:00