-rw-r--r-- | 46 | .gitignore | blob | history | raw |
-rw-r--r-- | 35141 | LICENSE | blob | history | raw |
-rw-r--r-- | 2222 | README.md | blob | history | raw |
drwxr-xr-x | - | c | tree | history |
-rw-r--r-- | 3611 | c_generation.py | blob | history | raw |
-rw-r--r-- | 6674 | conversion.py | blob | history | raw |
-rw-r--r-- | 11600 | crossplatform_ir_generation.py | blob | history | raw |
-rw-r--r-- | 9516 | desugaring.py | blob | history | raw |
drwxr-xr-x | - | examples | tree | history |
-rwxr-xr-x | 161 | grind.sh | blob | history | raw |
-rw-r--r-- | 5359 | integration_tests.py | blob | history | raw |
-rw-r--r-- | 6646 | interpreter.py | blob | history | raw |
-rw-r--r-- | 1028 | main.py | blob | history | raw |
-rw-r--r-- | 9594 | normalization.py | blob | history | raw |
-rw-r--r-- | 1654 | optimization.py | blob | history | raw |
-rw-r--r-- | 21008 | parsing.py | blob | history | raw |
-rw-r--r-- | 14 | requirements.txt | blob | history | raw |
drwxr-xr-x | - | templates | tree | history |
-rw-r--r-- | 9407 | tokenization.py | blob | history | raw |
-rw-r--r-- | 642 | util.py | blob | history | raw |