Issues

• Parameterise DynSemContext with Language

  back-endenhancementH
  metaborg/dynsem#168 · Filter by author vvergu opened on Jun 6, 2017
  

• Update Truffle

  back-endenhancementM
  metaborg/dynsem#167 · Filter by author vvergu opened on Jun 6, 2017
  

• RTCO does not propagate accumulated components

  back-endbugM
  metaborg/dynsem#165 · Filter by author vvergu opened on Feb 5, 2017

• Builders in DynSem

  metaborg/dynsem#157 · Filter by author eelcovisser opened on Dec 8, 2016

• Wrong variable name generation in explication

  metaborg/dynsem#156 · Filter by author eelcovisser opened on Dec 8, 2016

• Rule could not be type checked

  metaborg/dynsem#154 · Filter by author eelcovisser opened on Dec 8, 2016
  4

• Report a warning if the -init-> arrow has unsatisfied components

  enhancementfront-endideaL
  metaborg/dynsem#153 · Filter by author vvergu opened on Dec 7, 2016

• Rule cannot be type checked if LHS constructor is not declared

  bugfront-endM
  metaborg/dynsem#151 · Filter by author vvergu opened on Dec 7, 2016

• Lazily load term classes

  back-endenhancement
  metaborg/dynsem#150 · Filter by author vvergu opened on Dec 6, 2016

• Generate Maven dependency on the language project

  back-endenhancementL
  metaborg/dynsem#148 · Filter by author vvergu opened on Dec 6, 2016
  1

• Add support for Spoofax Core transformations in DynSem interpreters

  enhancementL
  metaborg/dynsem#147 · Filter by author vvergu opened on Dec 6, 2016
  1

• Report time spent in rules

  metaborg/dynsem#145 · Filter by author vvergu opened on Dec 5, 2016

• Tail recursion optimization for indirect recursion

  metaborg/dynsem#144 · Filter by author eelcovisser opened on Dec 5, 2016

• Benchmark harness

  back-endenhancementH
  metaborg/dynsem#143 · Filter by author eelcovisser opened on Dec 5, 2016

• Empty tuple as unit?

  enhancementidea
  metaborg/dynsem#138 · Filter by author casper-bach opened on Nov 24, 2016

• Run programs on downloaded Graal VMs

  back-endenhancement
  metaborg/dynsem#137 · Filter by author vvergu opened on Nov 17, 2016 · Enhancements sprint

• Tuple classes should be generated from use sites

  back-endenhancementL
  metaborg/dynsem#135 · Filter by author vvergu opened on Nov 15, 2016

• meta-function confuses typing of default arrow

  enhancementfront-end
  metaborg/dynsem#132 · Filter by author eelcovisser opened on Nov 14, 2016
  4

• De-factorization and copy propagation broken for case match

  back-endbugL
  metaborg/dynsem#128 · Filter by author vvergu opened on Nov 14, 2016 · Bugfixes sprint

• Unapplied meta-functions should be eagerly applied

  enhancementfront-end
  metaborg/dynsem#126 · Filter by author eelcovisser opened on Nov 13, 2016 · Enhancements sprint
  2

• desugaring meta-function causes mistyping

  bugfront-endH
  metaborg/dynsem#122 · Filter by author eelcovisser opened on Nov 11, 2016 · Bugfixes sprint
  4

• Add string interpolation facilities

  back-endenhancementfront-endH
  metaborg/dynsem#116 · Filter by author vvergu opened on Nov 9, 2016

• Explore incremental generation of term library

  back-endenhancementideaL
  metaborg/dynsem#114 · Filter by author vvergu opened on Nov 9, 2016

• Explore interpretation of non-explicated specs

  back-endenhancementideaL
  metaborg/dynsem#108 · Filter by author vvergu opened on Nov 7, 2016

• Implement standard list operations

  back-endenhancementfront-endideaL
  metaborg/dynsem#107 · Filter by author vvergu opened on Nov 7, 2016 · Enhancements sprint
  3