Rocqet proof language
Stars
28
Forks
0
Watchers
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
1.2k
commits
35
18
2
Update README.md
da4683a
Add trailing space
bb24b6f
Add reference to the PLDI paper in the README (#2)
00f6c2c
Remove unnecessary printf
49abfde
Remove case study (#132)
e669374
`FInduction` optimization (#128)
4cc6ebe
Pinned context optimization (#114)
5c3608f
Replace `failwith` with `CErrors.user_err` (#131)
2999371
Cminorgen bug
8817539
Selection
38e0282
Cminorgen
73e54e8
53c582c
updating selection
e55ee6a
cleanup Linearize
affc5e4
clean up simplexpr
8b9dd5e