summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc10logplain
d---------.github / workflows36logplain
-rw-r--r--.gitignore815logplain
-rw-r--r--LICENSE.md11357logplain
-rw-r--r--Makefile6243logplain
-rw-r--r--README.md6950logplain
d---------backends124logplain
-rw-r--r--charon-pin154logplain
d---------compiler3415logplain
-rw-r--r--default.nix450logplain
l---------doc.html52logplain
-rw-r--r--flake.lock8148logplain
-rw-r--r--flake.nix8972logplain
d---------rust-scripts68logplain
d---------scripts149logplain
-rw-r--r--shell.nix448logplain
d---------static38logplain
d---------tests266logplain