Skip to content

Latest commit

 

History

History
15 lines (11 loc) · 585 Bytes

README.md

File metadata and controls

15 lines (11 loc) · 585 Bytes

Uses submodules to track bril for dependencies brili and bril2json and bril2text. (And for lifting examples for testing).

./bin/setup.sh should be called to set up bril2json and bril2txt. Unfortunately they are installed to local rust/cargo folders instead of a project .venv, but the python versions were too slow.

quickstart

git submodule init && git submodule update
./bin/setup.sh

Note some other required deps:

  • turnt (for testing), install from pip.
  • jq (for sorting keys, and working with json format generally).
  • graphviz if using visualization.