-
Gwennan Eliezer authoredMoved the python environment into 'tools', added Project object in the python environment alongside minor changes, created some scripts to test the environment, and changed make_dot function in topology.ml such that it removes the path of a file before using it as graph name.
Gwennan Eliezer authoredMoved the python environment into 'tools', added Project object in the python environment alongside minor changes, created some scripts to test the environment, and changed make_dot function in topology.ml such that it removes the path of a file before using it as graph name.
.gitignore 201 B
*~
*.cm*
_build/
*.install
bin/dune-project
.merlin
*.o
*.seed
*.rif
lib/sasacore/sasaVersion.ml
*.pdf
*.log
*.save
rdbg-session*.ml
*.lut
*.org_archive
Makefile.local
notes.org
sasa-*.dot
*.html
*.pyc