| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AbstractInterpretation.v | 53008 | logplain |
| -rw-r--r-- | AbstractInterpretationProofs.v | 1920 | logplain |
| -rw-r--r-- | Arithmetic.v | 124272 | logplain |
| -rw-r--r-- | CLI.v | 11799 | logplain |
| -rw-r--r-- | CStringification.v | 123743 | logplain |
| -rw-r--r-- | CompilersTestCases.v | 13179 | logplain |
| d--------- | ExtractionHaskell | 96 | logplain |
| d--------- | ExtractionOCaml | 96 | logplain |
| -rw-r--r-- | GENERATEDIdentifiersWithoutTypes.v | 107782 | logplain |
| -rw-r--r-- | Language.v | 74416 | logplain |
| -rw-r--r-- | MiscCompilerPasses.v | 9199 | logplain |
| -rw-r--r-- | README.md | 4594 | logplain |
| -rw-r--r-- | Rewriter.v | 99333 | logplain |
| -rw-r--r-- | SlowPrimeSynthesisExamples.v | 60994 | logplain |
| -rw-r--r-- | StandaloneHaskellMain.v | 2384 | logplain |
| -rw-r--r-- | StandaloneOCamlMain.v | 3866 | logplain |
| -rw-r--r-- | Toplevel1.v | 127771 | logplain |
| -rw-r--r-- | Toplevel2.v | 158777 | logplain |
| -rw-r--r-- | UnderLets.v | 8413 | logplain |
| -rw-r--r-- | fancy_rewrite_head.out | 288548 | logplain |
| -rw-r--r-- | haskell.sed | 179 | logplain |
| -rw-r--r-- | rewrite_head.out | 862056 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |