specs2016/.gitignore at dev · yoavnir/specs2016 · 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
54
55
56
# EXE directory
specs/exe/

# Work directory
specs/work

# Eclipse files, assuming the eclipse root is in the src directory
specs/src/.cproject
specs/src/.project
specs/src/.settings/

# also vscode, whether you aim it at src or the root
specs/src/.vscode/
.vscode

# Generated Makefile
specs/src/Makefile

# object and dependency file
specs/src/*/*.d
specs/src/*/*.o
specs/src/*/*.obj

# the compressed manpage
specs/src/specs.1.gz

# the tests temporary files
specs/tests/__pycache__
specs/tests/cmd.out
specs/tests/valgrind.out
specs/tests/theinp
specs/tests/theinp2
specs/tests/theout
specs/tests/thespec
specs/tests/theconf
specs/tests/memcheck.pyc
specs/tests/input_samples.pyc

# Visual Studio generated files
*.vcxproj.user
specs/bin/
specs/src/Debug/
specs/src/Release/

# Mac OS stuff
.DS_Store

# GDB-related
specs/src/.gdbinit
specs/src/gdb/__pycache__

# Generated build info
specs/src/utils/build_info.h

# AI agents
.devin