You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Improved performance of Container.hasSymbols. Among others, this has a significant effect when
adding many symbols.
Added support of partial write.
Added parameter symbols to Container.write, Container.getDomainViolations, Container.resolveDomainViolations and Container.isValid.
Added parameter allow_merge to Container.renameUELs and Symbol.renameUELs in order support
merging UELs while renaming (renaming a UEL to an already existing UEL).
