Commits · master · curry-packages / currypp

17 Oct, 2022 1 commit
- Update SQL tests for currypp · edb97062
  Michael Hanus authored Oct 17, 2022
  
  edb97062
12 Oct, 2022 4 commits
- README updated · c2371f9b
  Michael Hanus authored Oct 12, 2022
  
  c2371f9b
- Structure of source code changed to hierarchical modules to avoid different source dirs · 5ba75625
  Michael Hanus authored Oct 12, 2022
  
  5ba75625
- Add version to banner · 94547459
  Michael Hanus authored Oct 12, 2022
  
  94547459
- Adapt currypp to regexp version 4.0.0 · 2523e062
  Michael Hanus authored Oct 12, 2022
  
  2523e062
11 Oct, 2022 1 commit
- Restricted version of package regexp · 39b65802
  Michael Hanus authored Oct 11, 2022
  
  39b65802
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