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 <gatecat@ds0.me>		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