![]() 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> |
||
---|---|---|
.. | ||
frontend_base.h | ||
json_frontend.cc | ||
json_frontend.h |