informalsystems quint Ideas Discussions
Pinned Discussions
Ideas Discussions
Share ideas for new features
-
You must be logged in to vote A ternary type for actions?
simulatorQuint simulator state composition -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Unambiguous lexical indicators for state variables
language designLanguage specification -
You must be logged in to vote Nondeterministic/oracular constraints (e.g.,
language designguess/oneOf)Language specification -
You must be logged in to vote Alternative syntax for actions
language designLanguage specification -
You must be logged in to vote Introducing initializers
language designLanguage specification -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Shall we allow for shadowing?
language designLanguage specification -
You must be logged in to vote Technology for higher-level syntax
language designLanguage specification -
[CLOSED] Use
usabilitygetfor maps and[..]for lists?Usability issues
