https://github.com/AliaumeL/circuit-syntax
Tip revision: 2d8d84cab14afb41778d0a44dd0bece03a97a2a2 authored by Aliaume Lopez on 29 December 2016, 00:28:05 UTC
Better makefile
Better makefile
Tip revision: 2d8d84c
| File | Mode | Size |
|---|---|---|
| circuit-examples | ||
| Makefile | -rw-r--r-- | 488 bytes |
| README.md | -rw-r--r-- | 6.6 KB |
| ast.ml | -rw-r--r-- | 3.4 KB |
| circuits.ml | -rw-r--r-- | 11.0 KB |
| compiler.ml | -rw-r--r-- | 4.4 KB |
| dags.ml | -rw-r--r-- | 11.1 KB |
| dot.ml | -rw-r--r-- | 2.9 KB |
| examples.ml | -rw-r--r-- | 1.3 KB |
| lexer.ml | -rw-r--r-- | 3.0 KB |
| lines.txt | -rw-r--r-- | 104 bytes |
| parser.ml | -rw-r--r-- | 8.7 KB |
| ptg.ml | -rw-r--r-- | 19.0 KB |
| rewriting.ml | -rw-r--r-- | 25.9 KB |
| solver.ml | -rw-r--r-- | 10.8 KB |
| tests.ml | -rw-r--r-- | 484 bytes |
| typesystem.md | -rw-r--r-- | 3.1 KB |
| typesystem.ml | -rw-r--r-- | 10.0 KB |
| utils.ml | -rw-r--r-- | 5.0 KB |
