Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
Strata
seebees/Strata
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
2mo ago
Recent commits
Latest commits.
fix(SMT): Avoid (get-model)ing UFs (#661)
e9f9024
Juneyoung Lee
3mo ago
feat: Translate PySpec preconditions to Laurel assertions for bug finding (#615)
5b48308
Mikaël Mayer
3mo ago
Change pythonToLaurel and pythonToCore to take Array stmt (#645)
95bec8d
Joe Hendrix
3mo ago
Add support for IfExpr in Python->Laurel translation (#649)
d22181f
thanhnguyen-aws
3mo ago
Irrelevant Axiom Transform (#635)
6d710f5
Shilpi Goel
3mo ago
Sound equality checking for Lambda (#641)
7143d14
Josh Cohen
3mo ago
Refactor IdentifyOverloads to use ReaderT for OverloadTable (#644)
e3c375f
Joe Hendrix
3mo ago
Regex support in Python→Laurel translation (#623)
a16fc61
Siva Somayyajula
3mo ago
Top contributors
Builders behind this project.
joehendrix
84 commits
atomb
55 commits
joscoh
50 commits
andrewmwells-amazon
50 commits
shigoel
48 commits
aqjune-aws
34 commits
keyboardDrummer
34 commits
MikaelMayer
34 commits
