.gitignore 631 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus's avatar
Michael Hanus committed
5
*.agdai
Michael Hanus's avatar
Michael Hanus committed
6
*_cache
7
8

# executables
Michael Hanus's avatar
Michael Hanus committed
9
10
addtypes/AddTypes
browser/BrowserGUI
11
12
browser/GenInt
browser/ShowFlatCurry
Michael Hanus's avatar
Michael Hanus committed
13
browser/SourceProgGUI
Michael Hanus's avatar
Michael Hanus committed
14
casc/CASC
15
casc/Docs/curry-style-guide.html
Michael Hanus's avatar
Michael Hanus committed
16
17
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
18
cpm/src/CPM.Main
19
cpns/CPNSD
Michael Hanus's avatar
Michael Hanus committed
20
createmakefile/CreateMakefile
Michael Hanus's avatar
Michael Hanus committed
21
curry2js/Curry2JS
22
currypp/Main
23
currypp/ContractWrapper/cwrapper
Michael Hanus's avatar
Michael Hanus committed
24
currycheck/CurryCheck
25
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
26
currytest/CurryTest
Michael Hanus's avatar
Michael Hanus committed
27
cusage/CheckUsage
28
ertools/ERD2CDBI
29
ertools/ERD2Curry
30
importcalls/ImportCalls
Michael Hanus's avatar
Michael Hanus committed
31
optimize/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
32
runcurry/RunCurry
Michael Hanus's avatar
Michael Hanus committed
33
spicey/spiceup
34
verification/ToVerifier
35
36
www/Registry
www/SubmitForm
Michael Hanus's avatar
Michael Hanus committed
37
xmldata/Data2Xml