summaryrefslogtreecommitdiffstats
path: root/vendor/varisat-internal-proof
ModeNameSize
-rw-r--r--.cargo-checksum.json666logstatsplain
-rw-r--r--Cargo.toml987logstatsplain
-rw-r--r--LICENSE-APACHE10847logstatsplain
-rw-r--r--LICENSE-MIT1062logstatsplain
-rw-r--r--README.md789logstatsplain
d---------src116logstatsplain