Examples/.gitignore at master · tlaplus/Examples · GitHub

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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
## Ignore all files by default
*

## Don't ignore TLA+ files
!*.tla

## Don't ignore TLC model config and results
!*.cfg
!*.out  ## Usually .out files are small

## Don't ignore Toolbox model metadata
!*.launch

## Don't ignore Toolbox spec metadata
!.project
!*.prefs

## Don't ignore PDFs
!*.pdf

## Don't ignore all folders
!*/

## Don't ignore manifests
!manifest.json

## Ignore TLAPS cache folder
## See https://github.com/tlaplus/tlapm/issues/16
__tlacache__
.tlacache

## Don't ignore CI files
!.github/**

## Don't ignore READMEs
!*.md

## Ignore Python artifacts
__pycache__
pyvenv.cfg

## Ignore directories used for local CI testing
deps/
tree-sitter-tlaplus/

# Ignore TTrace specs
*_TTrace_*.tla

## Ignore tools/ folder created by .devcontainer.json
tools/

# Ignore directory created by Apalache
_apalache-out