Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ArithmeticSimplifier.v | 7422 | logplain |
-rw-r--r-- | ArithmeticSimplifierInterp.v | 4773 | logplain |
-rw-r--r-- | ArithmeticSimplifierUtil.v | 3140 | logplain |
-rw-r--r-- | ArithmeticSimplifierWf.v | 6311 | logplain |
-rw-r--r-- | BinaryNotationConstants.v | 9866 | logplain |
d--------- | Bounds | 391 | logplain |
-rw-r--r-- | CNotations.v | 132019 | logplain |
-rw-r--r-- | CommonSubexpressionElimination.v | 6027 | logplain |
-rw-r--r-- | CommonSubexpressionEliminationInterp.v | 1025 | logplain |
-rw-r--r-- | CommonSubexpressionEliminationWf.v | 1207 | logplain |
-rw-r--r-- | FoldTypes.v | 601 | logplain |
-rw-r--r-- | HexNotationConstants.v | 11850 | logplain |
-rw-r--r-- | Inline.v | 292 | logplain |
-rw-r--r-- | InlineInterp.v | 522 | logplain |
-rw-r--r-- | InlineWf.v | 366 | logplain |
-rw-r--r-- | JavaNotations.v | 82010 | logplain |
-rw-r--r-- | MapCastByDeBruijn.v | 1341 | logplain |
-rw-r--r-- | MapCastByDeBruijnInterp.v | 2637 | logplain |
-rw-r--r-- | MapCastByDeBruijnWf.v | 2875 | logplain |
d--------- | Named | 49 | logplain |
-rw-r--r-- | OpInversion.v | 750 | logplain |
-rw-r--r-- | Reify.v | 1940 | logplain |
-rw-r--r-- | Syntax.v | 3586 | logplain |
d--------- | Syntax | 72 | logplain |