| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplainabout |
| -rw-r--r-- | Cargo.lock | 9153 | logplainabout |
| -rw-r--r-- | Cargo.toml | 341 | logplainabout |
| -rw-r--r-- | LICENSE | 34670 | logplainabout |
| -rw-r--r-- | README.md | 70 | logplainabout |
| d--------- | src | 119 | logplain |
 |
index : sdrs | |
| Experimental formally verified Rust port of SDC, yay! | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |