Skip to content

No labels!

There aren’t any labels for this repository quite yet.

arm
arm
Related to the arm port
CI
CI
continuous integration
constant-time
constant-time
duplicate
duplicate
EasyCrypt
EasyCrypt
extraction and model
feature request
feature request
help wanted
help wanted
invalid
invalid
nix
nix
opam
opam
refactoring
refactoring
register-allocation
register-allocation
safety-checking
safety-checking
SCT checker
SCT checker
semantics
semantics
stack-allocation
stack-allocation
The compiler pass that handles stack & pointers
type-checking
type-checking
wontfix
wontfix