Alberto Gonzalez 26bd686259 glift: Add -instrument-more option to add 4 more versions of taint tracking logic. Also refactor a bit and update help text.		2020-07-01 19:51:46 +00:00
..
cmds	glift: Add -instrument-more option to add 4 more versions of taint tracking logic. Also refactor a bit and update help text.	2020-07-01 19:51:46 +00: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	Merge pull request #2138 from boqwxp/qbfsat-oflag	2020-07-01 16:35:27 +02:00
techmap	techmap: don't drop attributes on replaced cells.	2020-06-29 23:14:13 +00:00
tests	Merge pull request #2201 from YosysHQ/fix_test_cell_ilang	2020-06-30 17:11:13 +02:00