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	Add clock buffer insertion pass, improve iopadmap.	2019-08-13 00:16:38 +02:00
osu035	…
python-api	…
smtbmc	Add support for optimizing exists-forall problems.	2020-03-13 17:10:29 +00:00