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
In #542 as well as StatementType.lean, there is a performance bug since for every global variable we iterate on each specification. We should use some hashmaps to avoid the quadratic behavior.
In #542 as well as StatementType.lean, there is a performance bug since for every global variable we iterate on each specification. We should use some hashmaps to avoid the quadratic behavior.