.gitignore 763 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus's avatar
Michael Hanus committed
5
cpm/src/CPM/ConfigPackage.curry
Michael Hanus's avatar
Michael Hanus committed
6
*.agdai
Michael Hanus's avatar
Michael Hanus committed
7
*_cache
8
browser/.cpm/packages/addtypes-0.0.1
9
10
browser/.cpm/packages/cass-2.0.0
browser/.cpm/packages/cass-analysis-2.0.0
11
12
browser/.cpm/packages/importusage-0.0.1
browser/.cpm/packages/showflatcurry-0.0.1
13
14
15
16
17
currycheck/.cpm/packages/rewriting-2.0.0
currypp/.cpm/packages/cass-2.0.0
currypp/.cpm/packages/cass-analysis-2.0.0
currypp/.cpm/packages/currycheck-2.0.0
currypp/.cpm/packages/rewriting-2.0.0
18
currypp/.cpm/packages/verify-0.0.2
19
20
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
21
22

# executables
Michael Hanus's avatar
Michael Hanus committed
23
browser/BrowserGUI
Michael Hanus's avatar
Michael Hanus committed
24
cpm/src/CPM.Main
25
cpns/CPNSD
26
currypp/Main
Michael Hanus's avatar
Michael Hanus committed
27
currycheck/CurryCheck
Michael Hanus's avatar
Michael Hanus committed
28
optimize/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
29
runcurry/RunCurry
30
31
www/Registry
www/SubmitForm