Lofty 59facfa98c stat: add option for machine-readable json output

2022-08-11 13:41:01 +01:00

..

cmds

stat: add option for machine-readable json output

2022-08-11 13:41:01 +01:00

equiv

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

fsm

Avoid unnecessary copy of a potential large constant value.

2022-06-09 16:05:51 +01:00

hierarchy

add hierarchy -smtcheck

2022-06-22 20:53:10 -07:00

memory

memory_map: avoid undriven unused FF inputs for -keepdc

2022-06-28 19:05:35 +02:00

opt

opt_reduce: Fix use-after-free.

2022-07-23 17:27:26 +02:00

pmgen

Update comment

2022-02-02 03:21:09 +01:00

proc

proc_rom: Add special handling of const-0 address bits.

2022-05-18 17:32:30 +02:00

sat

support file locations containing spaces

2022-08-08 20:30:50 +02:00

techmap

support file locations containing spaces

2022-08-08 20:30:50 +02:00

tests

Add $bmux and $demux cells.

2022-01-28 23:34:41 +01:00