Commits · 9c11b925104c232857207d8df00f5fb898a865de · Fredrik Wieczerkowski / curry-tools

22 Sep, 2016 3 commits
- Bug fix for currpp w.r.t. DET annotation translation · 9c11b925
  Michael Hanus authored Sep 22, 2016
  
  9c11b925
- Manual for curry2verify added · 44af7fc6
  Michael Hanus authored Sep 22, 2016
  
  44af7fc6
- Tools adapted to new Rewriting librariesRe · 49fe742c
  Michael Hanus authored Sep 22, 2016
  
  49fe742c
21 Sep, 2016 1 commit
- TestDriver modified, testall.sh added · c2c9418c
  Michael Hanus authored Sep 21, 2016
  
  c2c9418c
16 Sep, 2016 2 commits
- Fixed problems in peval manual · d9e03483
  Björn Peemöller authored Sep 16, 2016
  
  d9e03483
- Added partial evaluator to Curry tools · 362c5477
  Björn Peemöller authored Sep 16, 2016
  
  362c5477
07 Sep, 2016 1 commit
- SLight change in output · 63592b20
  Michael Hanus authored Sep 07, 2016
  
  63592b20
05 Sep, 2016 1 commit
- User interface simplified · 6e3e9bf6
  Michael Hanus authored Sep 05, 2016
  
  6e3e9bf6
30 Aug, 2016 1 commit
- CASC added to tools · f2fb0d3f
  Michael Hanus authored Aug 30, 2016
  
  f2fb0d3f
26 Aug, 2016 1 commit
- CASS now also works without existence of a home directory · bbcbe513
  Michael Hanus authored Aug 26, 2016
  
  bbcbe513
25 Aug, 2016 4 commits
- Manual for CASS added · 7b23654b
  Michael Hanus authored Aug 25, 2016
  
  7b23654b
- Analysis documentation slightly extended · e72b2fa3
  Michael Hanus authored Aug 25, 2016
  
  e72b2fa3
- Logic variables removed in SQLParser.parseCompHaveCond · 14b8615b
  Michael Hanus authored Aug 25, 2016
  
  14b8615b
- NonDetDeps analysis extended by storing "called-from" chain · 4c89825b
  Michael Hanus authored Aug 25, 2016
  
  4c89825b
22 Aug, 2016 2 commits
- GenInt moved to browser/ShowFlatCurry · eadbc426
  Michael Hanus authored Aug 22, 2016
  
  eadbc426
- browser: ShowFlatCurry deleted and GenInt re-used · ceaa5c29
  Michael Hanus authored Aug 22, 2016
  
  ceaa5c29
19 Aug, 2016 1 commit
- erd2cdbi: comments and sqliteDBFile added · 41a4145d
  Michael Hanus authored Aug 19, 2016
  
  41a4145d
17 Aug, 2016 2 commits
- currycheck: option --noproof added · 52bc4bba
  Michael Hanus authored Aug 17, 2016
  
  52bc4bba
- CDBI: eDescription renamed to e_CDBI_Description to avoid name clashes with ER... · d4585b21
  Michael Hanus authored Aug 17, 2016
```
CDBI: eDescription renamed to e_CDBI_Description to avoid name clashes with ER model, string with null values: Maybe type omitted
```
  d4585b21
16 Aug, 2016 6 commits
- SQL translator updated · 41e2535a
  Michael Hanus authored Aug 16, 2016
  
  41e2535a
- Small updates · fe5f9554
  Michael Hanus authored Aug 16, 2016
  
  fe5f9554
- Test for "testing with verification" added · 11427af6
  Michael Hanus authored Aug 16, 2016
  
  11427af6
- Examples for combining testing and verification added · 6ca41157
  Michael Hanus authored Aug 16, 2016
  
  6ca41157
- Comparison predicates added to Agda translation · 01923685
  Michael Hanus authored Aug 16, 2016
  
  01923685
- curry2verify: option -p to specify translation property added · f2382cf8
  Michael Hanus authored Aug 16, 2016
  
  f2382cf8
15 Aug, 2016 1 commit
- Theorem usage modified. Theorems are just properties and do not require prefix theorem' · 5f6ebaa9
  Michael Hanus authored Aug 15, 2016
  
  5f6ebaa9
12 Aug, 2016 1 commit
- Code refactoring, simplification of postconditions added to currycheck · 2e3a1f8f
  Michael Hanus authored Aug 12, 2016
  
  2e3a1f8f
29 Jul, 2016 1 commit
- Non-determinism dependency analysis extended · bb371ce1
  Michael Hanus authored Jul 29, 2016
  
  bb371ce1
28 Jul, 2016 3 commits
- Root replacement analysis added · efa14f9c
  Michael Hanus authored Jul 28, 2016
  
  efa14f9c
- CASS: AnalysisCollection renamed to Registry, analyses descriptions added · d0469315
  Michael Hanus authored Jul 28, 2016
  
  d0469315
- Version date updated · c16bbaa5
  Michael Hanus authored Jul 28, 2016
  
  c16bbaa5
22 Jun, 2016 2 commits
- Example updated · 3be04645
  Michael Hanus authored Jun 22, 2016
  
  3be04645
- post condition and determinism tests simplified · 7de1a1a5
  Michael Hanus authored Jun 22, 2016
  
  7de1a1a5
17 Jun, 2016 2 commits
- CASS/Main.curry added · 4aaa11ae
  Michael Hanus authored Jun 17, 2016
  
  4aaa11ae
- Option processing for CASS improved, the server mode now requires the explicit... · 39775165
  Michael Hanus authored Jun 17, 2016
```
Option processing for CASS improved, the server mode now requires the explicit option -s or --server
```
  39775165
14 Jun, 2016 3 commits
- curry2verify: small updates · dfa36144
  Michael Hanus authored Jun 14, 2016
  
  dfa36144
- Definition of type PInfo for SQL parser simplified · 3dad2331
  Michael Hanus authored Jun 14, 2016
  
  3dad2331
- Number of test cases reduced for PAKCS/SWI due to memory overflows · 20468d1d
  Michael Hanus authored Jun 14, 2016
  
  20468d1d
09 Jun, 2016 2 commits
- Tests for SQL currypp added · 1ac57474
  Michael Hanus authored Jun 10, 2016
  
  1ac57474
- Minor updates · 281b54fb
  Michael Hanus authored Jun 09, 2016
  
  281b54fb