Commits · master · curry-packages / currypp

20 Dec, 2021 1 commit
- Update test script · e527b2d9
  Michael Hanus authored Dec 20, 2021
  
  e527b2d9
03 Nov, 2021 1 commit
- Fix non-termination for identical directories in CURRYPATH · 99ebb6c8
  Michael Hanus authored Nov 03, 2021
  
  99ebb6c8
01 Nov, 2021 2 commits
- CurryPP updated w.r.t. checking for imports · 560945b2
  Michael Hanus authored Nov 01, 2021
  
  560945b2
- CurryPP fixed for translating modules not located in CURRYPATH · 6be2c1e6
  Michael Hanus authored Nov 01, 2021
  
  6be2c1e6
06 Jul, 2021 1 commit
- Manual and examples updated · 34025f5f
  Michael Hanus authored Jul 06, 2021
  
  34025f5f
04 Jun, 2021 2 commits
- Use package allvalues instead of searchtree · 6c21e583
  Michael Hanus authored Jun 04, 2021
  
  6c21e583
- Add required imports to examples · 1c1dbba8
  Michael Hanus authored Jun 04, 2021
  
  1c1dbba8
25 Mar, 2021 1 commit
- Update version date · 361d6d5e
  Michael Hanus authored Mar 25, 2021
  
  361d6d5e
23 Mar, 2021 1 commit
- Use of ReadShowTerm avoided · 48651048
  Michael Hanus authored Mar 23, 2021
  
  48651048
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 1 commit
- Version date updated · 0a5d290a
  Michael Hanus authored Dec 29, 2018
  
  0a5d290a