fiat icon indicating copy to clipboard operation
fiat copied to clipboard

verified publisher icon mit-plv
→

Metadata

Mostly Automated Synthesis of Correct-by-Construction Programs

Results 3 fiat issues
Sort by recently updated
recently updated
newest added

ML code compatibility for Coq PR # 6285

5 comment

Do not merge yet. Follows coq/coq#6285

mattam82 avatar mattam82

Fail to make querystructures on Coq > 8.9

2 comment

I clone the repo and follow the instruction "make querystructures" to build the SQL-like library, but it fail, the error message is below ``` COQC src/QueryStructure/Specification/SearchTerms/ListInclusion.v Warning: The -require option...

sqrta avatar sqrta

Bump actions/checkout from 5 to 6

Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. Release notes Sourced from actions/checkout's releases. v6.0.0 What's Changed Update README to include Node.js 24 support details and requirements by @​salmanmkc in actions/checkout#2248 Persist...

dependabot[bot] avatar dependabot[bot]

dependencies
github_actions

← Metadata

145
Stars
33
Forks
Watchers

Owner

verified publisher icon mit-plv

Metadata

Mostly Automated Synthesis of Correct-by-Construction Programs

Back