gatecat 86699b42f6 Switch to potentially-sparse net users array ...

This uses a new data structure for net.users that allows gaps, so
removing a port from a net is no longer an O(n) operation on the number
of users the net has.

Signed-off-by: gatecat <[email protected]>

2022-02-27 13:47:05 +00:00

..

frontend_base.h

Switch to potentially-sparse net users array

2022-02-27 13:47:05 +00:00

json_frontend.cc

Fixing old emails and names in copyrights

2021-06-12 13:22:38 +01:00

json_frontend.h

Fixing old emails and names in copyrights

2021-06-12 13:22:38 +01:00