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
Collections should be backed by lists or similar structures.
Example of some discussion of this for arrays: #1281
It should in particular also apply to maps (which we should clarify if they are finite!) and sets.
The benefit is that we can use induction whenever the solvers are not behaving like we want (performance or limitations of their first-order axiomatization).
The text was updated successfully, but these errors were encountered:
Collections should be backed by lists or similar structures.
Example of some discussion of this for arrays: #1281
It should in particular also apply to maps (which we should clarify if they are finite!) and sets.
The benefit is that we can use induction whenever the solvers are not behaving like we want (performance or limitations of their first-order axiomatization).
The text was updated successfully, but these errors were encountered: