Commits · master · curry-packages / icurry

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 2 commits
- Reference to Sprite added · 68cddffc
  Michael Hanus authored Feb 19, 2019
  
  68cddffc
- Exported modules added to package specification · 2cc24cd0
  Michael Hanus authored Feb 19, 2019
  
  2cc24cd0
21 Jan, 2019 1 commit
- Generic intermediate format for compiling Curry to imperative languages packaged · 4b3736ec
  Michael Hanus authored Jan 21, 2019
  
  4b3736ec