| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AbstractInterpretation.v | 53008 | logplain |
| -rw-r--r-- | AbstractInterpretationProofs.v | 1920 | logplain |
| -rw-r--r-- | Arithmetic.v | 179417 | logplain |
| -rw-r--r-- | CLI.v | 16419 | logplain |
| -rw-r--r-- | CStringification.v | 125982 | logplain |
| -rw-r--r-- | CompilersTestCases.v | 13191 | logplain |
| d--------- | ExtractionHaskell | 149 | logplain |
| d--------- | ExtractionOCaml | 149 | logplain |
| -rw-r--r-- | GENERATEDIdentifiersWithoutTypes.v | 107782 | logplain |
| -rw-r--r-- | Language.v | 75995 | logplain |
| -rw-r--r-- | MiscCompilerPasses.v | 9199 | logplain |
| -rw-r--r-- | README.md | 4594 | logplain |
| -rw-r--r-- | Rewriter.v | 110194 | logplain |
| -rw-r--r-- | SlowPrimeSynthesisExamples.v | 60994 | logplain |
| -rw-r--r-- | StandaloneHaskellMain.v | 2799 | logplain |
| -rw-r--r-- | StandaloneOCamlMain.v | 4129 | logplain |
| -rw-r--r-- | Toplevel1.v | 171503 | logplain |
| -rw-r--r-- | Toplevel2.v | 158777 | logplain |
| -rw-r--r-- | UnderLets.v | 8413 | logplain |
| -rw-r--r-- | arith_rewrite_head.out | 884318 | logplain |
| -rw-r--r-- | fancy_rewrite_head.out | 2284288 | logplain |
| -rw-r--r-- | haskell.sed | 179 | logplain |
| -rw-r--r-- | nbe_rewrite_head.out | 226781 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |