.gitignore 401 Bytes
Newer Older
1
2
3
4
# intermediate files
*~
.curry
*.state
5
Curry_Main_Goal.curry
6
7

# executables
Michael Hanus's avatar
Michael Hanus committed
8
9
10
addtypes/AddTypes
browser/BrowserGUI
browser/SourceProgGUI
Michael Hanus's avatar
Michael Hanus committed
11
12
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
13
curry2js/Curry2JS
Michael Hanus's avatar
Michael Hanus committed
14
currypp/Translator
15
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
16
17
currytest/CurryTest
createmakefile/CreateMakefile
Michael Hanus's avatar
Michael Hanus committed
18
erd2curry/erd2curry
19
20
genint/GenInt
importcalls/ImportCalls
Michael Hanus's avatar
Michael Hanus committed
21
22
optimize/bindingopt
optimize/binding_optimization/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
23
spicey/spiceup