summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc10logplain
d---------.github / workflows36logplain
-rw-r--r--.gitignore814logplain
-rw-r--r--LICENSE.md11357logplain
-rw-r--r--Makefile9805logplain
-rw-r--r--README.md6112logplain
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.nix7707logplain
d---------rust-scripts68logplain
d---------scripts99logplain
-rw-r--r--shell.nix448logplain
d---------static38logplain
d---------tests160logplain