aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitmodules88logstatsplain
-rw-r--r--Makefile148logstatsplain
-rw-r--r--README.md163logstatsplain
-rw-r--r--_CoqProject12logstatsplain
-rw-r--r--flake.lock534logstatsplain
-rw-r--r--flake.nix1841logstatsplain
d---------lib34logstatsplain
d---------src294logstatsplain