8 Commits

Author	SHA1	Message	Date
Claire Wolf	0610424940	Merge pull request #2005 from YosysHQ/claire/fix1990 ... Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset	2020-05-07 18:11:48 +02:00
Eddie Hung	22bf22fab4	frontend: cleanup to use more ID::*, more dict<> instead of map<>	2020-05-04 10:48:37 -07:00
Claire Wolf	bbbce0d1c5	Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset, fixes #1990 ... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	2020-05-02 11:21:01 +02:00
Eddie Hung	eabc00de8b	Merge pull request #1992 from YosysHQ/eddie/bugpoint_help ... bugpoint: improve help text	2020-04-27 11:12:17 -07:00
Eddie Hung	e602184856	bugpoint: (* keep *) to (* bugpoint_keep *); also apply to modules/cells	2020-04-24 13:26:04 -07:00
Eddie Hung	d3555c667c	verific: do not assert if wire not found; warn instead	2020-04-23 16:28:11 -07:00
Eddie Hung	956ecd48f7	kernel: big fat patch to use more ID::*, otherwise ID(*)	2020-04-02 09:51:32 -07:00
Eddie Hung	164dd0f6b2	kernel: Use constids.inc for global/constant IdStrings	2020-04-02 07:14:08 -07:00