forked from git-tcd/RTEMS-SMP-Formal
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
29 lines (29 loc) · 1.04 KB
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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__
RTEMS-SMP-Formal.code-workspace
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