Commits · master · curry-packages / currypp

18 Jan, 2021 1 commit
- Avoid use of easycheck package · dff7bb76
  Michael Hanus authored Jan 18, 2021
  
  dff7bb76
03 Jan, 2021 2 commits
- Version date updated · 058fccac
  Michael Hanus authored Jan 03, 2021
  
  058fccac
- Parser options updated · de79b8b5
  Michael Hanus authored Jan 03, 2021
  
  de79b8b5
16 Dec, 2020 1 commit
- Dependency on `.cpm/bin` removed in test · ba2ef664
  Michael Hanus authored Dec 16, 2020
  
  ba2ef664
15 Dec, 2020 4 commits
- Banner updated · a15e7c38
  Michael Hanus authored Dec 15, 2020
  
  a15e7c38
- Transformation for contract checking corrected and tests for contract checking reactived · 2ee731b5
  Michael Hanus authored Dec 15, 2020
  
  2ee731b5
- README updated · edbecd2b
  Michael Hanus authored Dec 15, 2020
  
  edbecd2b
- SQL tests re-activated · 81b23516
  Michael Hanus authored Dec 15, 2020
  
  81b23516
14 Dec, 2020 2 commits
- Small fixes to enable tests · 39cc52a4
  Michael Hanus authored Dec 14, 2020
  
  39cc52a4
- Merge branch 'version3' into 'master' · 96d5f45a
  Michael Hanus authored Dec 14, 2020
```
Migrate to version 3

See merge request !2
```
  96d5f45a
13 Dec, 2020 5 commits
- Update remaining modules for version 3 · f6c58bb3
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  f6c58bb3
- Fix map imports · de7f1664
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  de7f1664
- Fix FormatParser · 8583b1d3
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  8583b1d3
- Fix Contracts · a527804f
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  a527804f
- Fix monadic operations (when, unless, done) · c8eafbed
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  c8eafbed
08 Dec, 2020 3 commits
- html replaced by html2 · 749300ce
  Michael Hanus authored Dec 08, 2020
  
  749300ce
- Merge branch 'version3-integration' into 'master' · 6d6fb13a
  Michael Hanus authored Dec 08, 2020
```
Merge version 3 changes

See merge request !1
```
  6d6fb13a
- Merge branch 'master' into 'version3-integration' · b3e52983
  Michael Hanus authored Dec 08, 2020
```
# Conflicts:
#   package.json
#   src/IntegratedCode/Parser/ML/MLTranslate.curry
```
  b3e52983
07 Dec, 2020 1 commit
- Foreign HTML integrator changed to html2 · 97273d05
  Michael Hanus authored Dec 07, 2020
  
  97273d05
24 Nov, 2020 2 commits
- Update more imports · 6275a8f1
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  6275a8f1
- Merge branch 'master' into libs_refactor · 741843ad
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  741843ad
17 Aug, 2020 1 commit
- Dependencies refined · 71add747
  Michael Hanus authored Aug 17, 2020
  
  71add747
28 Apr, 2020 1 commit
- License file added · 4e028843
  Michael Hanus authored Apr 28, 2020
  
  4e028843
11 Oct, 2019 1 commit
- Fix for using default rules and contracts, examples moved into example directory · c587a684
  Michael Hanus authored Oct 11, 2019
  
  c587a684
30 Apr, 2019 1 commit
- Update w.r.t. package contracts · 9e0c6581
  Michael Hanus authored Apr 30, 2019
  
  9e0c6581
08 Apr, 2019 2 commits
- Version date updated · 1b3cefc5
  Michael Hanus authored Apr 08, 2019
  
  1b3cefc5
- Bug fix for transformation of polymorphic contracts · 4e86c148
  Michael Hanus authored Apr 08, 2019
  
  4e86c148
03 Jan, 2019 1 commit
- Imports updated · 9050d5a6
  Michael Hanus authored Jan 03, 2019
  
  9050d5a6
02 Jan, 2019 1 commit
- Imports updated · c32afe17
  Michael Hanus authored Jan 02, 2019
  
  c32afe17
01 Jan, 2019 1 commit
- Updates w.r.t. new packages · 245f221a
  Michael Hanus authored Jan 02, 2019
  
  245f221a
29 Dec, 2018 2 commits
- Version date updated · 0a5d290a
  Michael Hanus authored Dec 29, 2018
  
  0a5d290a
- Format parser produces code for library Data.Format · fd6e3e79
  Michael Hanus authored Dec 29, 2018
  
  fd6e3e79
16 Dec, 2018 1 commit
- Imports updated · fd88de19
  Michael Hanus authored Dec 16, 2018
  
  fd88de19
31 Oct, 2018 2 commits
- Loading of proof files improved · 6c0d285c
  Michael Hanus authored Oct 31, 2018
  
  6c0d285c
- Loading of proof files improved · 6f93e9ce
  Michael Hanus authored Oct 31, 2018
  
  6f93e9ce
30 Oct, 2018 2 commits
- Updates w.r.t. currycheck updates · d414a3b9
  Michael Hanus authored Oct 31, 2018
  
  d414a3b9
- Adapted to updates of CurryCheck · b5eef8a1
  Michael Hanus authored Oct 30, 2018
  
  b5eef8a1
27 Oct, 2018 1 commit
- Add base dependency · edbbef9f
  Kai Prott authored Oct 27, 2018
  
  edbbef9f
24 Jul, 2018 2 commits
- Increase Version · 05cc32a7
  Kai-Oliver Prott authored Jul 25, 2018
  
  05cc32a7
- Modify for base-2.0.0 · 492e104d
  Kai-Oliver Prott authored Jul 25, 2018
  
  492e104d