6 Commits

Author	SHA1	Message	Date
Emil J. Tywoniak	bfc957ee2d	filterlib, read_liberty: add loopy retention cell formal equivalence test	2025-11-21 00:57:54 +01:00
Emil J. Tywoniak	b3112bf025	filterlib: prefer using precedence over unsynthesizable verilog	2025-11-21 00:43:54 +01:00
Emil J. Tywoniak	90553267b0	libparse: fix quoting and negedge in filterlib -verilogsim	2025-11-05 14:13:58 +01:00
Emil J. Tywoniak	b0a3d6a3e7	libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions	2025-11-05 13:06:12 +01:00
Sean Luchen	bdcbbf2db6	Fix existing tests/liberty tests, and add them to Makefile.	2025-04-03 09:56:24 -07:00
Martin Povišer	c35f5e379c	Extend liberty tests	2024-08-13 18:47:36 +02:00