Commits · 79b31cc54216118df3b9ee705f72058c0b039f6d · Fredrik Wieczerkowski / curry-tools

29 Mar, 2017 2 commits
- gitignore updated · 79b31cc5
  Michael Hanus authored Mar 29, 2017
  
  79b31cc5
- CPM added to tools · 3f2d1751
  Michael Hanus authored Mar 29, 2017
  
  3f2d1751
02 Mar, 2017 1 commit
- CASS worker executable unified with main executable · e7499a7b
  Michael Hanus authored Mar 02, 2017
  
  e7499a7b
27 Feb, 2017 1 commit
- Curry CreateMake improved · d82181fb
  Michael Hanus authored Feb 27, 2017
  
  d82181fb
24 Feb, 2017 2 commits
- Makefile improved to avoid conflict with parallel make and KiCS2/GHC · 3243ae8d
  Michael Hanus authored Feb 24, 2017
  
  3243ae8d
- Makefile: more dependencies for parallel make added · bd999974
  Michael Hanus authored Feb 24, 2017
  
  bd999974
23 Feb, 2017 2 commits
- Support for parallel make added to tests · bed4d2bf
  Michael Hanus authored Feb 23, 2017
  
  bed4d2bf
- Makefiles improved for better error termination · 72d1fc0c
  Michael Hanus authored Feb 23, 2017
  
  72d1fc0c
22 Feb, 2017 5 commits
- Makefile improved for parallel make · ab065df5
  Michael Hanus authored Feb 22, 2017
  
  ab065df5
- Make of several tools in on directory sequentialized to avoid conflicts with parallel make · a8e6f2d0
  Michael Hanus authored Feb 22, 2017
  
  a8e6f2d0
- lockfile commands replaced by lockfile-create · 41455e39
  Michael Hanus authored Feb 22, 2017
  
  41455e39
- README updated · 82b3df20
  Michael Hanus authored Feb 22, 2017
  
  82b3df20
- cpns demon and www added to tools (and removed from root dir of Curry system) · 1d8c93e0
  Michael Hanus authored Feb 22, 2017
  
  1d8c93e0
10 Feb, 2017 1 commit
- kics2 check: extended to generate floats · d92889bf
  Michael Hanus authored Feb 10, 2017
  
  d92889bf
09 Feb, 2017 1 commit
- Analysis for recursive types added · ae8cee50
  Michael Hanus authored Feb 09, 2017
  
  ae8cee50
07 Feb, 2017 1 commit
- Trace messages removed from analyses · 64b5ae9a
  Michael Hanus authored Feb 07, 2017
  
  64b5ae9a
06 Feb, 2017 3 commits
- Manual updated w.r.t. float type generation · e3ee6771
  Michael Hanus authored Feb 06, 2017
  
  e3ee6771
- Float test added · c15863c9
  Michael Hanus authored Feb 06, 2017
  
  c15863c9
- CurryCheck extended to Float generation · 9be79f86
  Michael Hanus authored Feb 06, 2017
  
  9be79f86
05 Feb, 2017 3 commits
- currycheck fix: clean up w.r.t. non-local programs improved · 4ee8eb88
  Michael Hanus authored Feb 05, 2017
  
  4ee8eb88
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/curry-tools · c710bdc1
  Michael Hanus authored Feb 05, 2017
  
  c710bdc1
- CurryCheck improved for checking non-local modules · fe0ffe63
  Michael Hanus authored Feb 05, 2017
  
  fe0ffe63
03 Feb, 2017 1 commit
- Small bug fix for reading source files in non-local directories · 402de764
  Michael Hanus authored Feb 03, 2017
  
  402de764
01 Feb, 2017 1 commit
- --noreadline and REPL_OPTS added to some pakcs calls · 34e56d5b
  Michael Hanus authored Feb 01, 2017
  
  34e56d5b
31 Jan, 2017 2 commits
- Superfluous output of "which" command suppressed · 3bddafaa
  Michael Hanus authored Jan 31, 2017
  
  3bddafaa
- UTF-8 strings replaced in examples to avoid encoding problems · 580801a5
  Michael Hanus authored Jan 31, 2017
  
  580801a5
30 Jan, 2017 3 commits
- Checking for existence of sqlite3 binary added · 56d636d8
  Michael Hanus authored Jan 30, 2017
  
  56d636d8
- Makefiles changed so that runtest considers variable RUNTESTPARAMS · 0886e969
  Michael Hanus authored Jan 30, 2017
  
  0886e969
- Analysis documentation updated · af182b2f
  Michael Hanus authored Jan 30, 2017
  
  af182b2f
26 Jan, 2017 2 commits
- Productivity analysis slightly improved, analysis docs added · be99f013
  Michael Hanus authored Jan 26, 2017
  
  be99f013
- Productivity analysis improved · 5499585e
  Michael Hanus authored Jan 26, 2017
  
  5499585e
25 Jan, 2017 1 commit
- Productivity analysis updated · 2bdfe3e9
  Michael Hanus authored Jan 25, 2017
  
  2bdfe3e9
24 Jan, 2017 2 commits
- Root-replacement analysis corrected w.r.t. projection of arguments · e40dc83d
  Michael Hanus authored Jan 24, 2017
  
  e40dc83d
- New analyses for termination and productivity of operations added · 1a4af256
  Michael Hanus authored Jan 24, 2017
  
  1a4af256
12 Jan, 2017 3 commits
- CASS: analysis Functional added, Deterministic modified; currypp improved for... · ceee9142
  Michael Hanus authored Jan 12, 2017
```
CASS: analysis Functional added, Deterministic modified; currypp improved for reading non-local modules
```
  ceee9142
- Option --all added to CASS · f18d26b0
  Michael Hanus authored Jan 12, 2017
  
  f18d26b0
- Absolute path names removed in installation of tools · 7d1b0f6c
  Michael Hanus authored Jan 12, 2017
  
  7d1b0f6c
11 Jan, 2017 3 commits
- spicey changed to relative paths · ac817b4f
  Michael Hanus authored Jan 12, 2017
  
  ac817b4f
- binding_optimization: relative link added · 1433f765
  Michael Hanus authored Jan 12, 2017
  
  1433f765
- tools linked from bin dir via relative links · 165c5d6e
  Michael Hanus authored Jan 11, 2017
  
  165c5d6e