Commits · master · curry-packages / icurry

05 Jul, 2021 1 commit
- Add operation to return current state of ICOptions · 194f2a0e
  Michael Hanus authored Jul 05, 2021
  
  194f2a0e
02 Jul, 2021 2 commits
- Replace qname lists by maps · 96946b0e
  Michael Hanus authored Jul 02, 2021
  
  96946b0e
- Code refactored · 9d11823a
  Michael Hanus authored Jul 02, 2021
  
  9d11823a
01 Jul, 2021 1 commit
- Internal error message a bit more informative · 6a70b8f5
  Michael Hanus authored Jul 01, 2021
  
  6a70b8f5
22 Mar, 2021 2 commits
- Remove error message for newtypes since the type definition itself is present... · 6a40aaf3
  Michael Hanus authored Mar 22, 2021
```
Remove error message for newtypes since the type definition itself is present after newtype elimination
```
  6a40aaf3
- Read interface instead of complete FlatCurry program of imported modules · 42536874
  Michael Hanus authored Mar 22, 2021
  
  42536874
21 Mar, 2021 1 commit
- Add ICurry.Compiler.flatCurry2ICurryWithProgs · d349293d
  Michael Hanus authored Mar 21, 2021
  
  d349293d
08 Mar, 2021 1 commit
- newtype elimination added to ICurry compiler · 6d79f6b4
  Michael Hanus authored Mar 08, 2021
  
  6d79f6b4
02 Mar, 2021 1 commit
- Option `optFrontendParams` added which is used to read FlatCurry programs · eab027ca
  Michael Hanus authored Mar 02, 2021
  
  eab027ca
26 Jan, 2021 1 commit
- Package category added · a8c641f0
  Michael Hanus authored Jan 26, 2021
  
  a8c641f0
13 Jan, 2021 1 commit
- Add option --output and refactor option processing · 59c8e139
  Michael Hanus authored Jan 13, 2021
  
  59c8e139
11 Jan, 2021 1 commit
- Executables checked for existence · 763aa1a8
  Michael Hanus authored Jan 11, 2021
  
  763aa1a8
26 Dec, 2020 2 commits
- Refactored w.r.t. new currypath package · 53eedad6
  Michael Hanus authored Dec 26, 2020
  
  53eedad6
- Fix for compiling non-local modules · 78dc201b
  Michael Hanus authored Dec 26, 2020
  
  78dc201b
30 Nov, 2020 1 commit
- Adapt to version3 · dacc5d1f
  Michael Hanus authored Nov 30, 2020
  
  dacc5d1f
06 Aug, 2020 1 commit
- Add ICurry.Compiler.flatCurry2ICurry · 02e322b7
  Michael Hanus authored Aug 06, 2020
  
  02e322b7
25 Jun, 2020 1 commit
- Local implementation of Control.Monad.State removed and replaced by using the transformers package · 6b00c323
  Michael Hanus authored Jun 25, 2020
  
  6b00c323
04 Jun, 2020 1 commit
- Pretty printer fixed · 477893ac
  Michael Hanus authored Jun 04, 2020
  
  477893ac
15 May, 2020 1 commit
- Add option --optvardecls · f459c196
  Michael Hanus authored May 15, 2020
  
  f459c196
13 May, 2020 1 commit
- Case lifter produces shorter and unique names for lifted functions · 59ff4352
  Michael Hanus authored May 13, 2020
  
  59ff4352
19 Feb, 2020 1 commit
- Bug fix for lifting nested cases · 7fab9490
  Michael Hanus authored Feb 19, 2020
  
  7fab9490
13 Feb, 2020 1 commit
- Code refactoring · 774b5db3
  Michael Hanus authored Feb 13, 2020
  
  774b5db3
09 Feb, 2020 1 commit
- Option --nolifting added · 104a1965
  Michael Hanus authored Feb 09, 2020
  
  104a1965
04 Feb, 2020 2 commits
- import of Unsafe removed · 4334e6a0
  Michael Hanus authored Feb 04, 2020
  
  4334e6a0
- Translated Prelude.? directly into IOr, placement of .icy files corrected · c84b909a
  Michael Hanus authored Feb 04, 2020
  
  c84b909a
03 Feb, 2020 2 commits
- Handling of free variables via narrowing added to interpreter · 52ef02ea
  Michael Hanus authored Feb 03, 2020
  
  52ef02ea
- Extend lifting to nested "Free" expression to avoid later problems · 573f41c4
  Michael Hanus authored Feb 03, 2020
  
  573f41c4
02 Feb, 2020 2 commits
- Type synonym IArity used · 228e6739
  Michael Hanus authored Feb 02, 2020
  
  228e6739
- Add constructor arity to IConsBranch · 66c8cca1
  Michael Hanus authored Feb 02, 2020
  
  66c8cca1
27 Jan, 2020 2 commits
- Arithmetic examples moved to examples directory · 62b4147a
  Michael Hanus authored Jan 27, 2020
  
  62b4147a
- Nice interpreter and pretty ICurry output, Arithmetic example added · 08fb81a3
  Michael Hanus authored Jan 27, 2020
  
  08fb81a3
26 Jan, 2020 2 commits
- README updated · 09fb28ea
  Michael Hanus authored Jan 26, 2020
  
  09fb28ea
- Interpreter prints computed results immediately in order to deal with infinitely many results · 1440f95d
  Michael Hanus authored Jan 26, 2020
  
  1440f95d
23 Jan, 2020 1 commit
- ICurry format according to WFLP'19 paper on ICurry · f95850db
  Michael Hanus authored Jan 23, 2020
  
  f95850db
13 Jun, 2019 2 commits
- Import added · 9745f00a
  Michael Hanus authored Jun 13, 2019
  
  9745f00a
- Faster reading of intermediate files, option -p for pretty-printing icurry files · 60b22b52
  Michael Hanus authored Jun 13, 2019
  
  60b22b52
11 Jun, 2019 1 commit
- Documentation extended with one example · 4a2b46c8
  Michael Hanus authored Jun 11, 2019
  
  4a2b46c8
25 Apr, 2019 2 commits
- Extend README · 4f24076b
  Michael Hanus authored Apr 25, 2019
  
  4f24076b
- Error output slightly improved · 9ff16ede
  Michael Hanus authored Apr 25, 2019
  
  9ff16ede
19 Feb, 2019 1 commit
- Reference to Sprite added · 68cddffc
  Michael Hanus authored Feb 19, 2019
  
  68cddffc