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

# executables
Michael Hanus's avatar
Michael Hanus committed
8
9
addtypes/AddTypes
browser/BrowserGUI
10
11
browser/GenInt
browser/ShowFlatCurry
Michael Hanus's avatar
Michael Hanus committed
12
browser/SourceProgGUI
Michael Hanus's avatar
Michael Hanus committed
13
14
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
15
createmakefile/CreateMakefile
Michael Hanus's avatar
Michael Hanus committed
16
curry2js/Curry2JS
17
currypp/Main
18
currypp/ContractWrapper/cwrapper
Michael Hanus's avatar
Michael Hanus committed
19
currycheck/CurryCheck
20
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
21
currytest/CurryTest
Michael Hanus's avatar
Michael Hanus committed
22
cusage/CheckUsage
23
24
ertools/ERD2CDBI
ertools/erd2curry
25
importcalls/ImportCalls
Michael Hanus's avatar
Michael Hanus committed
26
27
optimize/bindingopt
optimize/binding_optimization/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
28
runcurry/RunCurry
Michael Hanus's avatar
Michael Hanus committed
29
spicey/spiceup
30
verification/ToVerifier
Michael Hanus's avatar
Michael Hanus committed
31
xmldata/Data2Xml