mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-04 08:43:42 +02:00
- name compare of net names wasn't always case insensitive - tentative evaluation was sometimes continued even after a contradiction was detected because the return codes of different edge examinations were not combined correctly.