├── .github └── workflows │ ├── codeql-analysis.yml │ ├── pypi.yml │ ├── python-app.yml │ └── ruff.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── examples ├── advanced │ ├── axi-stream.wal │ ├── axi-stream.wawk │ ├── repl.wal │ └── uart-axi.fst ├── basics │ ├── basics1.wal │ ├── basics2.wal │ └── counter.fst ├── general │ ├── advent-of-code-2020-15.wal │ ├── euler1.wal │ ├── extern.py │ ├── lisp.wal │ ├── python.wal │ └── useroperator.py ├── print-vcd │ └── print-vcd.wal ├── riscv-profile │ ├── README.md │ ├── config.wal │ ├── gcd.elf │ └── profile.py ├── virtual-examples │ ├── print-vcd.wal │ ├── virtual1.wal │ ├── virtual2.wal │ ├── virtual3.wal │ └── vtrace.wal └── wawk │ ├── basic-blocks │ ├── Makefile │ ├── cfg.wawk │ └── gcd.fst │ ├── basics2.wawk │ └── vexriscv-pipeline │ ├── .gitignore │ ├── I-ADDI-01.fst │ ├── Makefile │ ├── extern.py │ └── pipeline.wawk ├── pyproject.toml ├── setup.py ├── tests ├── __init__.py ├── context.py ├── files │ ├── p1.wal │ ├── p2.wal │ └── p3.wal ├── test_bitwise_operators.py ├── test_eval.py ├── test_eval_array.py ├── test_eval_list.py ├── test_parser.py ├── test_stdlib.py ├── test_trace_eq.py ├── test_trace_reader.py ├── test_types.py ├── test_varresolve.py └── traces │ ├── counter.fst │ ├── counter.vcd │ ├── sv_struct_array.fst │ └── sv_struct_array.vcd ├── wal ├── __init__.py ├── __main__.py ├── ast_defs.py ├── core.py ├── eval.py ├── implementation │ ├── __init__.py │ ├── array.py │ ├── bitwise.py │ ├── core.py │ ├── list.py │ ├── math.py │ ├── special.py │ ├── types.py │ ├── virtual.py │ └── wal.py ├── libs │ └── std │ │ ├── module.wal │ │ └── std.wal ├── passes.py ├── reader.py ├── repl.py ├── spade.py ├── trace │ ├── __init__.py │ ├── container.py │ ├── csvtrace.py │ ├── fst.py │ ├── trace.py │ ├── vcd.py │ └── virtual.py ├── util.py ├── version.py ├── wal.py └── walc.py ├── walc ├── __init__.py └── __main__.py └── wawk ├── README.md ├── __init__.py ├── ast_defs.py ├── parser.py ├── version.py └── wawk.py /.github/workflows/codeql-analysis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/.github/workflows/codeql-analysis.yml -------------------------------------------------------------------------------- /.github/workflows/pypi.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/.github/workflows/pypi.yml -------------------------------------------------------------------------------- /.github/workflows/python-app.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/.github/workflows/python-app.yml -------------------------------------------------------------------------------- /.github/workflows/ruff.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/.github/workflows/ruff.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/README.md -------------------------------------------------------------------------------- /examples/advanced/axi-stream.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/advanced/axi-stream.wal -------------------------------------------------------------------------------- /examples/advanced/axi-stream.wawk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/advanced/axi-stream.wawk -------------------------------------------------------------------------------- /examples/advanced/repl.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/advanced/repl.wal -------------------------------------------------------------------------------- /examples/advanced/uart-axi.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/advanced/uart-axi.fst -------------------------------------------------------------------------------- /examples/basics/basics1.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/basics/basics1.wal -------------------------------------------------------------------------------- /examples/basics/basics2.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/basics/basics2.wal -------------------------------------------------------------------------------- /examples/basics/counter.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/basics/counter.fst -------------------------------------------------------------------------------- /examples/general/advent-of-code-2020-15.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/advent-of-code-2020-15.wal -------------------------------------------------------------------------------- /examples/general/euler1.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/euler1.wal -------------------------------------------------------------------------------- /examples/general/extern.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/extern.py -------------------------------------------------------------------------------- /examples/general/lisp.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/lisp.wal -------------------------------------------------------------------------------- /examples/general/python.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/python.wal -------------------------------------------------------------------------------- /examples/general/useroperator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/general/useroperator.py -------------------------------------------------------------------------------- /examples/print-vcd/print-vcd.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/print-vcd/print-vcd.wal -------------------------------------------------------------------------------- /examples/riscv-profile/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/riscv-profile/README.md -------------------------------------------------------------------------------- /examples/riscv-profile/config.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/riscv-profile/config.wal -------------------------------------------------------------------------------- /examples/riscv-profile/gcd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/riscv-profile/gcd.elf -------------------------------------------------------------------------------- /examples/riscv-profile/profile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/riscv-profile/profile.py -------------------------------------------------------------------------------- /examples/virtual-examples/print-vcd.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/virtual-examples/print-vcd.wal -------------------------------------------------------------------------------- /examples/virtual-examples/virtual1.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/virtual-examples/virtual1.wal -------------------------------------------------------------------------------- /examples/virtual-examples/virtual2.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/virtual-examples/virtual2.wal -------------------------------------------------------------------------------- /examples/virtual-examples/virtual3.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/virtual-examples/virtual3.wal -------------------------------------------------------------------------------- /examples/virtual-examples/vtrace.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/virtual-examples/vtrace.wal -------------------------------------------------------------------------------- /examples/wawk/basic-blocks/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/basic-blocks/Makefile -------------------------------------------------------------------------------- /examples/wawk/basic-blocks/cfg.wawk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/basic-blocks/cfg.wawk -------------------------------------------------------------------------------- /examples/wawk/basic-blocks/gcd.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/basic-blocks/gcd.fst -------------------------------------------------------------------------------- /examples/wawk/basics2.wawk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/basics2.wawk -------------------------------------------------------------------------------- /examples/wawk/vexriscv-pipeline/.gitignore: -------------------------------------------------------------------------------- 1 | index.html 2 | -------------------------------------------------------------------------------- /examples/wawk/vexriscv-pipeline/I-ADDI-01.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/vexriscv-pipeline/I-ADDI-01.fst -------------------------------------------------------------------------------- /examples/wawk/vexriscv-pipeline/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/vexriscv-pipeline/Makefile -------------------------------------------------------------------------------- /examples/wawk/vexriscv-pipeline/extern.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/vexriscv-pipeline/extern.py -------------------------------------------------------------------------------- /examples/wawk/vexriscv-pipeline/pipeline.wawk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/examples/wawk/vexriscv-pipeline/pipeline.wawk -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/setup.py -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/context.py -------------------------------------------------------------------------------- /tests/files/p1.wal: -------------------------------------------------------------------------------- 1 | ; Test program 1 2 | (print "hello, test") 3 | 4 | ( + x 2) 5 | -------------------------------------------------------------------------------- /tests/files/p2.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/files/p2.wal -------------------------------------------------------------------------------- /tests/files/p3.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/files/p3.wal -------------------------------------------------------------------------------- /tests/test_bitwise_operators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_bitwise_operators.py -------------------------------------------------------------------------------- /tests/test_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_eval.py -------------------------------------------------------------------------------- /tests/test_eval_array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_eval_array.py -------------------------------------------------------------------------------- /tests/test_eval_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_eval_list.py -------------------------------------------------------------------------------- /tests/test_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_parser.py -------------------------------------------------------------------------------- /tests/test_stdlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_stdlib.py -------------------------------------------------------------------------------- /tests/test_trace_eq.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_trace_eq.py -------------------------------------------------------------------------------- /tests/test_trace_reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_trace_reader.py -------------------------------------------------------------------------------- /tests/test_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_types.py -------------------------------------------------------------------------------- /tests/test_varresolve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/test_varresolve.py -------------------------------------------------------------------------------- /tests/traces/counter.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/traces/counter.fst -------------------------------------------------------------------------------- /tests/traces/counter.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/traces/counter.vcd -------------------------------------------------------------------------------- /tests/traces/sv_struct_array.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/traces/sv_struct_array.fst -------------------------------------------------------------------------------- /tests/traces/sv_struct_array.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/tests/traces/sv_struct_array.vcd -------------------------------------------------------------------------------- /wal/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wal/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/__main__.py -------------------------------------------------------------------------------- /wal/ast_defs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/ast_defs.py -------------------------------------------------------------------------------- /wal/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/core.py -------------------------------------------------------------------------------- /wal/eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/eval.py -------------------------------------------------------------------------------- /wal/implementation/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wal/implementation/array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/array.py -------------------------------------------------------------------------------- /wal/implementation/bitwise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/bitwise.py -------------------------------------------------------------------------------- /wal/implementation/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/core.py -------------------------------------------------------------------------------- /wal/implementation/list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/list.py -------------------------------------------------------------------------------- /wal/implementation/math.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/math.py -------------------------------------------------------------------------------- /wal/implementation/special.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/special.py -------------------------------------------------------------------------------- /wal/implementation/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/types.py -------------------------------------------------------------------------------- /wal/implementation/virtual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/virtual.py -------------------------------------------------------------------------------- /wal/implementation/wal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/implementation/wal.py -------------------------------------------------------------------------------- /wal/libs/std/module.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/libs/std/module.wal -------------------------------------------------------------------------------- /wal/libs/std/std.wal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/libs/std/std.wal -------------------------------------------------------------------------------- /wal/passes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/passes.py -------------------------------------------------------------------------------- /wal/reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/reader.py -------------------------------------------------------------------------------- /wal/repl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/repl.py -------------------------------------------------------------------------------- /wal/spade.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/spade.py -------------------------------------------------------------------------------- /wal/trace/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wal/trace/container.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/container.py -------------------------------------------------------------------------------- /wal/trace/csvtrace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/csvtrace.py -------------------------------------------------------------------------------- /wal/trace/fst.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/fst.py -------------------------------------------------------------------------------- /wal/trace/trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/trace.py -------------------------------------------------------------------------------- /wal/trace/vcd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/vcd.py -------------------------------------------------------------------------------- /wal/trace/virtual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/trace/virtual.py -------------------------------------------------------------------------------- /wal/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/util.py -------------------------------------------------------------------------------- /wal/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/version.py -------------------------------------------------------------------------------- /wal/wal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/wal.py -------------------------------------------------------------------------------- /wal/walc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wal/walc.py -------------------------------------------------------------------------------- /walc/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /walc/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/walc/__main__.py -------------------------------------------------------------------------------- /wawk/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wawk/README.md -------------------------------------------------------------------------------- /wawk/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /wawk/ast_defs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wawk/ast_defs.py -------------------------------------------------------------------------------- /wawk/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wawk/parser.py -------------------------------------------------------------------------------- /wawk/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wawk/version.py -------------------------------------------------------------------------------- /wawk/wawk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ics-jku/wal/HEAD/wawk/wawk.py --------------------------------------------------------------------------------