informalsystems apalache Ideas Discussions
Ideas Discussions
Share ideas for new features
-
You must be logged in to vote -
You must be logged in to vote Precise type checking for records
FTC-SnowcatFeature: Fully-functional type checker Snowcat -
You must be logged in to vote Potential optimization: split the solver into two
optimization FSMTFeature: Improvements in the SMT encoding -
You must be logged in to vote
