├── .gitignore ├── LICENSE ├── README.md ├── examples ├── fact.c └── fib.c ├── pigletc.py └── src ├── __init__.py ├── gen.py ├── main.py ├── parse.py ├── raddsl_parse.py ├── raddsl_rewrite.py ├── term.py ├── tools.py └── trans.py /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__/ 2 | *.pyc 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/README.md -------------------------------------------------------------------------------- /examples/fact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/examples/fact.c -------------------------------------------------------------------------------- /examples/fib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/examples/fib.c -------------------------------------------------------------------------------- /pigletc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/pigletc.py -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/gen.py -------------------------------------------------------------------------------- /src/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/main.py -------------------------------------------------------------------------------- /src/parse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/parse.py -------------------------------------------------------------------------------- /src/raddsl_parse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/raddsl_parse.py -------------------------------------------------------------------------------- /src/raddsl_rewrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/raddsl_rewrite.py -------------------------------------------------------------------------------- /src/term.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/term.py -------------------------------------------------------------------------------- /src/tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/tools.py -------------------------------------------------------------------------------- /src/trans.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/true-grue/PigletC/HEAD/src/trans.py --------------------------------------------------------------------------------