informalsystems quint User-stories Discussions
Pinned Discussions
User stories Discussions
User stories that may eventually make it into features
-
You must be logged in to vote Literate programming
product-protocol-designThis feature was requested by the protocol design team -
You must be logged in to vote Functional composition in the distributed setting
product-protocol-designThis feature was requested by the protocol design team state composition -
You must be logged in to vote Imports and exports
language designLanguage specification -
You must be logged in to vote [Feature request] Add the option to specify a number of (counter)examples to generate
product-auditsThis feature was requested by the audits team -
You must be logged in to vote Showing confidence estimates
product-auditsThis feature was requested by the audits team -
You must be logged in to vote Support for rationals in the simulator
product-auditsThis feature was requested by the audits team -
You must be logged in to vote Usability feedback from modelling Interchain Security
feedbackUser feedback product-hubFeatures asked by the Hub team -
You must be logged in to vote -
You must be logged in to vote Support functional actions in the Quint testing framework
product-auditsThis feature was requested by the audits team state composition -
You must be logged in to vote Network performance simulation
product-protocol-designThis feature was requested by the protocol design team
