Commits · master · curry-packages / icurry · GitLab

Snippets Groups Projects

May 05, 2023
- Adapt to new graphviz version · 6eca1d71
  Michael Hanus authored 2 years ago
  
  View commits for tag v3.2.0 v3.2.0
  
  6eca1d71
Oct 17, 2022
- Add intermediate steps to graph outputs · 020fbe55
  Michael Hanus authored 2 years ago
  
  020fbe55
Oct 05, 2022
- Better drawing of incomplete trees, code reformatting · aaa07653
  Michael Hanus authored 2 years ago
  
  aaa07653
Sep 30, 2022
- Add --maxsteps Parameter · 01672d7d
  Michael Hanus authored 2 years ago
  
  01672d7d
Jul 20, 2022
- Fix examples · 65066fe1
  Michael Hanus authored 2 years ago
  
  65066fe1
- Add term graph output to interpreter (based on Sascha Ecks BSc thesis) · 535a1815
  Michael Hanus authored 2 years ago
  
  535a1815
Feb 08, 2022
- Add output of current expression during interpretation if not quiet mode · 71e48e41
  Michael Hanus authored 3 years ago
  
  View commits for tag v3.1.0 v3.1.0
  
  71e48e41
Sep 08, 2021
- Add typical pull-tab example · 15f652be
  Michael Hanus authored 3 years ago
  
  15f652be
Jul 28, 2021
- Adapt tests · 1544af84
  Michael Hanus authored 3 years ago
  
  1544af84
- Refactoring and improved possibilities to output PDF graphs · 782af490
  Michael Hanus authored 3 years ago
  
  782af490
Jul 05, 2021
- Add operation to return current state of ICOptions · 194f2a0e
  Michael Hanus authored 3 years ago
  
  194f2a0e
Jul 02, 2021
- Replace qname lists by maps · 96946b0e
  Michael Hanus authored 3 years ago
  
  96946b0e
- Code refactored · 9d11823a
  Michael Hanus authored 3 years ago
  
  9d11823a
Jul 01, 2021
- Internal error message a bit more informative · 6a70b8f5
  Michael Hanus authored 3 years ago
  
  6a70b8f5
Mar 22, 2021
- Remove error message for newtypes since the type definition itself is present... · 6a40aaf3
  Michael Hanus authored 4 years ago
  6a40aaf3
- Read interface instead of complete FlatCurry program of imported modules · 42536874
  Michael Hanus authored 4 years ago
  
  42536874
Mar 21, 2021
- Add ICurry.Compiler.flatCurry2ICurryWithProgs · d349293d
  Michael Hanus authored 4 years ago
  
  d349293d
Mar 08, 2021
- newtype elimination added to ICurry compiler · 6d79f6b4
  Michael Hanus authored 4 years ago
  
  6d79f6b4
Mar 02, 2021
- Option `optFrontendParams` added which is used to read FlatCurry programs · eab027ca
  Michael Hanus authored 4 years ago
  
  eab027ca
Jan 26, 2021
- Package category added · a8c641f0
  Michael Hanus authored 4 years ago
  
  a8c641f0
Jan 13, 2021
- Add option --output and refactor option processing · 59c8e139
  Michael Hanus authored 4 years ago
  
  59c8e139
Jan 11, 2021
- Executables checked for existence · 763aa1a8
  Michael Hanus authored 4 years ago
  
  763aa1a8
Dec 26, 2020
- Refactored w.r.t. new currypath package · 53eedad6
  Michael Hanus authored 4 years ago
  
  53eedad6
- Fix for compiling non-local modules · 78dc201b
  Michael Hanus authored 4 years ago
  
  78dc201b
Nov 30, 2020
- Adapt to version3 · dacc5d1f
  Michael Hanus authored 4 years ago
  
  dacc5d1f
Aug 06, 2020
- Add ICurry.Compiler.flatCurry2ICurry · 02e322b7
  Michael Hanus authored 4 years ago
  
  View commits for tag v3.0.1 v3.0.1
  
  02e322b7
Jun 25, 2020
- Local implementation of Control.Monad.State removed and replaced by using the transformers package · 6b00c323
  Michael Hanus authored 4 years ago
  
  6b00c323
Jun 04, 2020
- Pretty printer fixed · 477893ac
  Michael Hanus authored 5 years ago
  
  View commits for tag v3.0.0 v3.0.0
  
  477893ac
May 15, 2020
- Add option --optvardecls · f459c196
  Michael Hanus authored 5 years ago
  
  f459c196
May 13, 2020
- Case lifter produces shorter and unique names for lifted functions · 59ff4352
  Michael Hanus authored 5 years ago
  
  59ff4352
Feb 19, 2020
- Bug fix for lifting nested cases · 7fab9490
  Michael Hanus authored 5 years ago
  
  7fab9490
Feb 13, 2020
- Code refactoring · 774b5db3
  Michael Hanus authored 5 years ago
  
  774b5db3
Feb 09, 2020
- Option --nolifting added · 104a1965
  Michael Hanus authored 5 years ago
  
  104a1965
Feb 04, 2020
- import of Unsafe removed · 4334e6a0
  Michael Hanus authored 5 years ago
  
  4334e6a0
- Translated Prelude.? directly into IOr, placement of .icy files corrected · c84b909a
  Michael Hanus authored 5 years ago
  
  c84b909a
Feb 03, 2020
- Handling of free variables via narrowing added to interpreter · 52ef02ea
  Michael Hanus authored 5 years ago
  
  52ef02ea
- Extend lifting to nested "Free" expression to avoid later problems · 573f41c4
  Michael Hanus authored 5 years ago
  
  573f41c4
Feb 02, 2020
- Type synonym IArity used · 228e6739
  Michael Hanus authored 5 years ago
  
  228e6739
- Add constructor arity to IConsBranch · 66c8cca1
  Michael Hanus authored 5 years ago
  
  66c8cca1
Jan 27, 2020
- Arithmetic examples moved to examples directory · 62b4147a
  Michael Hanus authored 5 years ago
  
  62b4147a