Commits · a8e6f2d029a62463575f27c11a76b33292b29daf · Fredrik Wieczerkowski / curry-tools

22 Feb, 2017 4 commits
- 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 4 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
- clean of links added · ed12034b
  Michael Hanus authored Jan 11, 2017
  
  ed12034b
08 Dec, 2016 2 commits
- Version date updated · 61fa22d3
  Michael Hanus authored Dec 08, 2016
  
  61fa22d3
- currycheck extension: construct value generators also for indirectly used data types · 06dec8a2
  Michael Hanus authored Dec 08, 2016
  
  06dec8a2
02 Dec, 2016 1 commit
- Spicey: css label renamed to avoid conflict with bootstrap definitions · 6667e276
  Michael Hanus authored Dec 02, 2016
  
  6667e276
23 Nov, 2016 1 commit
- peval/README added · 5f12ef2d
  Michael Hanus authored Nov 23, 2016
  
  5f12ef2d
11 Nov, 2016 2 commits
- Options -h|-?|--help added to some tools · 4d379348
  Michael Hanus authored Nov 11, 2016
  
  4d379348
- Checking for existence of pandoc added · 3394c7a9
  Michael Hanus authored Nov 11, 2016
  
  3394c7a9
10 Nov, 2016 2 commits
- Description of Curry style (checker) added · 5e79cf68
  Michael Hanus authored Nov 10, 2016
  
  5e79cf68
- calls to makecurrycgi script updated · 9e0eac8c
  Michael Hanus authored Nov 10, 2016
  
  9e0eac8c