.gitignore

formal/promela/src/env
formal/promela/src/src/library.py
formal/promela/src/src/syntax_ml.py
formal/promela/src/src/syntax_pml.py
formal/promela/src/src/syntax_yaml.py
formal/promela/src/src/testgen.py
formal/promela/src/src/tests/library.py
formal/promela/src/src/tests/test_coverage_spin2test.py
formal/promela/src/src/tests/test_coverage_testgen.py
formal/promela/src/src/tests/test_optional.py
formal/promela/src/testgen_ml.py
formal/promela/src/testgen_yaml.py
formal/promela/src/src/__pycache__
proto/Haskell/threadq-sim/.stack-work
proto/Haskell/threadq-sim/MAIN.aux
proto/Haskell/threadq-sim/MAIN.bbl
proto/Haskell/threadq-sim/MAIN.blg
proto/Haskell/threadq-sim/MAIN.fdb_latexmk
proto/Haskell/threadq-sim/MAIN.fls
proto/Haskell/threadq-sim/MAIN.log
proto/Haskell/threadq-sim/MAIN.out
proto/Haskell/threadq-sim/MAIN.pdf
proto/Haskell/threadq-sim/MAIN.synctex.gz
proto/Haskell/threadq-sim/MAIN.toc
refine-config.yml
proto/Haskell/rtems-spec/MAIN.log
proto/Haskell/rtems-spec/MAIN.pdf
proto/Haskell/rtems-spec/rtems-spec.cabal
*.spn
*.trail
tr-*-*[0-9].c
tc-*.c

model-0-test.log
pan*