apalache-mc apalache Discussions
Discussions
-
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 Define native solver packaging for CVC5 and Z3
DevOpsAs practice, not role. Subsumes CI/CD, project organization, operationalization etc. FSMTFeature: Improvements in the SMT encoding dependenciesPull requests that update a dependency file tech-debtTechnical debt -
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 Bounded-scope generators
effort-hardWill take 5 or more days (probably requires issue refactor) impact-highAdvances state of art | unblocks critical work | saves lots oftime -
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 -
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 Increasing the number of checkable steps would improve usability
optimization featureA new feature or functionality -
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 -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote
