forked from FStarLang/FStar
/
.gitignore
90 lines (73 loc) · 836 Bytes
/
.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
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
*~
.#*
\#*\#
*.vspx
*.psess
*.suo
*.smt2
*.sav
*.hints.fsval
*.hints.mlval
*.bench
dump*
cache/
/VS/packages
/src/parser/parse.fs
/src/parser/lex.fs
/src/boot
/bin/*.dll
/bin/*.pdb
/bin/*.mdb
/bin/*.xml
/bin/*.config
/bin/fstar.exe
/bin/fstar.ocaml
/bin/tests.exe
/bin/z3.exe
/bin/z3-x86.exe
/bin/z3-x64.exe
/src/*/obj
examples/*/*.ml
examples/crypto/CntProtocol.exe
examples/wysteria/ocaml-output/*
tests/*/*.ml
tests/incl/*.neg/error.log
_build/
/ulib/ml/_taclib_build/
/ulib/fs/obj
/ulib/fs/bin
*.native
*.byte
queries*.smt2
transcript
dump
# ignore .ml files on the root dir
/*.ml
*.cmi
*.cmo
*.cmx
*.cma
*.cmxs
*.cmxa
*.o
.depend
._depend
*.a
*.cmxa
*.so
*.annot
/VS/
tags
*~
*.swp
*.exe
*.checked
*.checked.lax
*.dump
/.nubuild
/nucache/
/nuobj/
nubuild.log
nubuild.progress
# Z3/F* nightly/weekly files
/nightly