forked from boogie-org/corral
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
31 lines (31 loc) · 1.13 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
30
31
references/*.dll
references/*.pdb
references/*.exe
obj
bin
*.suo
*.suo
*.swp
AddOns/FastAVN/FastAVN/bin
AddOns/FastAVN/FastAVN/obj
AddOns/AliasAnalysis/AliasAnalysis.v11.suo
AddOns/AngelicVerifierNull/AngelicVerifierNull.psess
AddOns/AngelicVerifierNull/AngelicVerifierNull.sdf
AddOns/AngelicVerifierNull/AngelicVerifierNull.v11.suo
AddOns/AngelicVerifierNull/AngelicVerifierNull/AngelicVerifierNull.csproj.user
AddOns/FastAVN/FastAVN/FastAVN.csproj.user
AddOns/FastAVN/FastAVN/FastAVN.v11.suo
AddOns/AngelicVerifierNull/test/c-smack/*.avn.log
#AddOns/AngelicVerifierNull/test/c-smack/*.inst.bpl
AddOns/AngelicVerifierNull/test/c-smack/*.harness.bpl
AddOns/AngelicVerifierNull/test/c-smack/*.harness_inst.bpl
AddOns/AngelicVerifierNull/test/Angelic*
AddOns/AngelicVerifierNull/test/Blocked*
AddOns/AngelicVerifierNull/test/Output
AddOns/AngelicVerifierNull/test/corralMain.bpl
AddOns/AngelicVerifierNull/test/corraldebug.out
AddOns/AngelicVerifierNull/test/last_query.bpl
AddOns/AngelicVerifierNull/test/runcorral.bpl
AddOns/AngelicVerifierNull/test/temp_rar.bpl
AddOns/AngelicVerifierNull/test/trace_prog.bpl
/AddOns/PropInst/PropInst/PropInst.csproj.user