Commits · 42e872c0772bbc59ce96c8b22f21caee65bb1829 · Fredrik Wieczerkowski / curry-tools

09 May, 2016 1 commit
- currycheck extended for checking missing cpp call · 42e872c0
  Michael Hanus authored May 09, 2016
  
  42e872c0
08 May, 2016 2 commits
- Preprocessor refactored to deal with options for various targets · c67206b9
  Michael Hanus authored May 08, 2016
  
  c67206b9
- Integration of various preprocessing tasks improved · e97d8972
  Michael Hanus authored May 08, 2016
  
  e97d8972
07 May, 2016 1 commit
- Test example for combining default rules and contract wrapper added · 4f1f4b9e
  Michael Hanus authored May 07, 2016
  
  4f1f4b9e
06 May, 2016 2 commits
- Tests for cotract wrapper added · 2f612875
  Michael Hanus authored May 07, 2016
  
  2f612875
- Contract suffix 'specd omitted since it is automatically analysed · f4c9095a
  Michael Hanus authored May 06, 2016
  
  f4c9095a
05 May, 2016 4 commits
- Determinism checking added to contract wrappers, code refactoring to support currypp combinations · 42b3dd6e
  Michael Hanus authored May 06, 2016
  
  42b3dd6e
- Code refactored, manual extended · e3346e2d
  Michael Hanus authored May 05, 2016
  
  e3346e2d
- Check for intended usage of contracts added to currycheck · 3a677e81
  Michael Hanus authored May 05, 2016
  
  3a677e81
- Check for intended uses of Prelude.DET added · 74e5bf22
  Michael Hanus authored May 05, 2016
  
  74e5bf22
04 May, 2016 1 commit
- Contract wrapper improved to check all calls as default · fc74ac62
  Michael Hanus authored May 04, 2016
  
  fc74ac62
03 May, 2016 1 commit
- Contract wrapper added · c9cff272
  Michael Hanus authored May 04, 2016
  
  c9cff272
27 Apr, 2016 1 commit
- Contract documentation eta expanded for better readability · 5ec8cad6
  Michael Hanus authored Apr 27, 2016
  
  5ec8cad6
25 Apr, 2016 5 commits
- currycheck bug fixed: arities for checking are based on function types · 591a489f
  Michael Hanus authored Apr 26, 2016
  
  591a489f
- Explanations changed · c68b7413
  Michael Hanus authored Apr 25, 2016
  
  c68b7413
- Slight doc improvements · 61c27a3d
  Michael Hanus authored Apr 25, 2016
  
  61c27a3d
- Contract documentation improved · ae788c1d
  Michael Hanus authored Apr 25, 2016
  
  ae788c1d
- Tools adapted to new library Test.Prop · 696aee9c
  Michael Hanus authored Apr 25, 2016
  
  696aee9c
24 Apr, 2016 1 commit
- Tools adapted to renamings of library Sort · 835a9f79
  Michael Hanus authored Apr 24, 2016
  
  835a9f79
23 Apr, 2016 1 commit
- CurryDoc extended so that it also documents contracts · 4be06e60
  Michael Hanus authored Apr 23, 2016
  
  4be06e60
21 Apr, 2016 2 commits
- currycheck adapted to EasyCheck libs · 71b38c59
  Michael Hanus authored Apr 21, 2016
  
  71b38c59
- CurryCheck adapted to new EasyCheck structure · 141dc934
  Michael Hanus authored Apr 21, 2016
  
  141dc934
20 Apr, 2016 2 commits
- Source code reference for properties added · 983c55b3
  Michael Hanus authored Apr 20, 2016
  
  983c55b3
- currydoc extended to include properties in documentation · 5cdedac3
  Michael Hanus authored Apr 20, 2016
  
  5cdedac3
05 Apr, 2016 1 commit
- Comment correct · 4aa93755
  Michael Hanus authored Apr 05, 2016
  
  4aa93755
16 Mar, 2016 1 commit
- Manual for CurryCheck extended · 574bb5e8
  Michael Hanus authored Mar 16, 2016
  
  574bb5e8
14 Mar, 2016 1 commit
- currycheck bug with import qualifications fixed · b3e38b36
  Michael Hanus authored Mar 14, 2016
  
  b3e38b36
11 Mar, 2016 1 commit
- currytools Makefile improved, a little bit of coloring added to currycheck · 748399bd
  Michael Hanus authored Mar 11, 2016
  
  748399bd
09 Mar, 2016 1 commit
- runcurry test script improved · 4eb7b86f
  Michael Hanus authored Mar 09, 2016
  
  4eb7b86f
08 Mar, 2016 1 commit
- Number of test cases reduced in DefaultRules tests · e80043dc
  Michael Hanus authored Mar 08, 2016
  
  e80043dc
07 Mar, 2016 1 commit
- Tests for xmldata tool added · d71d0f06
  Michael Hanus authored Mar 07, 2016
  
  d71d0f06
03 Mar, 2016 2 commits
- Reformattings · 3f970dee
  Michael Hanus authored Mar 03, 2016
  
  3f970dee
- Some code refactoring · 0a216c12
  Michael Hanus authored Mar 03, 2016
  
  0a216c12
02 Mar, 2016 1 commit
- Statistics added to CurryCheck · 98494b2f
  Michael Hanus authored Mar 03, 2016
  
  98494b2f
27 Feb, 2016 1 commit
- currycheck default type changed to Ordering · be7a9d50
  Michael Hanus authored Feb 28, 2016
  
  be7a9d50
25 Feb, 2016 2 commits
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/curry-tools · 6aa44af3
  Michael Hanus authored Feb 25, 2016
  
  6aa44af3
- Checks for syntax errors in test modules added · 3bf9837b
  Michael Hanus authored Feb 25, 2016
  
  3bf9837b
23 Feb, 2016 2 commits
- Bug fix w.r.t. kics2 · 85adb419
  Michael Hanus authored Feb 23, 2016
  
  85adb419
- Problem w.r.t. determinism checking fixed · 9fbbc463
  Michael Hanus authored Feb 23, 2016
  
  9fbbc463
22 Feb, 2016 1 commit
- cusage deleted since it is integrated in CurryCheck · b900c0fc
  Michael Hanus authored Feb 22, 2016
  
  b900c0fc