Commits · sad/typeclasses · Jonas Oberschweiber / curry-tools · GitLab

Snippets Groups Projects

Feb 10, 2015
- Merge branch 'typeclasses' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 896ccc26
  Sandra Dylus authored 10 years ago
  
  Conflicts: spicey/scaffolding/AbstractCurryGoodies.curry xmldata/AbstractGoodies.curry
  896ccc26
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · b0d88c00
  Sandra Dylus authored 10 years ago
  
  Conflicts: currypp/Parser/ML/MLParser.curry spicey/scaffolding/AbstractCurryGoodies.curry xmldata/AbstractGoodies.curry xmldata/Data2Xml.curry
  b0d88c00
Feb 09, 2015
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 3fbba4f5
  Michael Hanus authored 10 years ago
  
  3fbba4f5
- curry preprocessor generalized to include more preprocessing targets · 1a8aa318
  Michael Hanus authored 10 years ago
  
  1a8aa318
Feb 07, 2015
- currypp: error printing improved · ceb3b8c9
  Michael Hanus authored 10 years ago
  
  ceb3b8c9
Feb 06, 2015
- HTML/XML code integrator: Curry expressions of the form {{...}} added · 8821a43e
  Michael Hanus authored 10 years ago
  
  8821a43e
Feb 04, 2015
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 314af7cc
  Michael Hanus authored 10 years ago
  
  314af7cc
- xmldata now uses AbstractCurryGoodies · 94471fa9
  Michael Hanus authored 10 years ago
  
  94471fa9
Jan 31, 2015
- RegExp example adapted to typeclasses · 43db1562
  Michael Hanus authored 10 years ago
  
  43db1562
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 6f6c2ca4
  Michael Hanus authored 10 years ago
  
  6f6c2ca4
- Syntax problem in Format code integrator fixed · 0e67a739
  Michael Hanus authored 10 years ago
  
  0e67a739
Jan 30, 2015
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · b541545f
  Michael Hanus authored 10 years ago
  
  b541545f
- currypp XmlExample modified · fd14c96d
  Michael Hanus authored 10 years ago
  
  fd14c96d
- Examples for integrated code added and small problem fixed · a0bf456b
  Michael Hanus authored 10 years ago
  
  a0bf456b
Jan 27, 2015
- Removed warnings in CurryDoc · 9e0e7280
  Björn Peemöller authored 10 years ago
  
  9e0e7280
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · b46a7651
  Michael Hanus authored 10 years ago
  
  b46a7651
- optimization Makefile repaired · 7eed403a
  Michael Hanus authored 10 years ago
  
  7eed403a
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 68c23c95
  Michael Hanus authored 10 years ago
  
  68c23c95
- typeinference makefile built (partially) back · e32a7c48
  Michael Hanus authored 10 years ago
  
  e32a7c48
- Symbolic links for curry2js, genint, importcalls removed · d67e8e3b
  Michael Hanus authored 10 years ago
  
  d67e8e3b
- Corrected Makefile structure · 7d9bcb7f
  Björn Peemöller authored 10 years ago
  
  7d9bcb7f
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 9d9b252b
  Michael Hanus authored 10 years ago
  
  9d9b252b
- Some top-level type signatures added · 80511965
  Michael Hanus authored 10 years ago
  
  80511965
Jan 26, 2015
- clean separated from "make all" in tool makefiles · 17919ef8
  Michael Hanus authored 10 years ago
  
  17919ef8
- Makefiles improved to avoid superfluous remakes · faea6e8b
  Michael Hanus authored 10 years ago
  
  faea6e8b
- spicey/scaffolding/PrettyAbstract adapted to lib version · a9d7c979
  Michael Hanus authored 10 years ago
  
  a9d7c979
- Fixed bug in Makefile w.r.t. variable ROOT · 8463c3c5
  Björn Peemöller authored 10 years ago
  
  8463c3c5
- Improved Makefiles · ba9c5011
  Björn Peemöller authored 10 years ago
  
  ba9c5011
- Fixed two errors for `make clean` · 83d7438b
  Björn Peemöller authored 10 years ago
  
  83d7438b
Jan 23, 2015
- Established new Makefile structure with new targets - fixes #1249 · 4f52a318
  Björn Peemöller authored 10 years ago
  
  4f52a318
- Predefined variable REPL as BINDIR/curry, should work for PAKCS and KiCS2 · 02945349
  Björn Peemöller authored 10 years ago
  
  02945349
- Updated Makefiles · 7edd7329
  Björn Peemöller authored 10 years ago
  
  7edd7329
Jan 20, 2015
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 6f29c256
  Michael Hanus authored 10 years ago
  
  6f29c256
- currydoc updated to respect hierarchical module names · af57b8a4
  Michael Hanus authored 10 years ago
  
  af57b8a4
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses · 2fc54fb8
  Michael Hanus authored 10 years ago
  
  2fc54fb8
- CASS now re-analyzes program if source OR FlatCurry file is newer than analysis results · c64b7b46
  Michael Hanus authored 10 years ago
  
  c64b7b46
Jan 19, 2015
- CASS: improvements w.r.t. hierarchical module names · 3dc5da81
  Michael Hanus authored 10 years ago
  
  3dc5da81
Jan 16, 2015
- Types signatures adapted to type classes · 148b8ef8
  Michael Hanus authored 10 years ago
  
  148b8ef8
- Merge commit '289c3b11 ' into typeclasses · 325fbbed
  Michael Hanus authored 10 years ago
  
  325fbbed
- Merge commit 'f1cd54ef ' into typeclasses · 66ab934f
  Michael Hanus authored 10 years ago
  
  66ab934f