Skip to content

Issues: metaborg/dynsem

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

36 Open 91 Closed
36 Open 91 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Parameterise DynSemContext with Language back-end enhancement H
#168 opened Jun 6, 2017 by vvergu
@vvergu
Update Truffle back-end enhancement M
#167 opened Jun 6, 2017 by vvergu
@vvergu
RTCO does not propagate accumulated components back-end bug M
#165 opened Feb 5, 2017 by vvergu
Builders in DynSem
#157 opened Dec 8, 2016 by eelcovisser
Wrong variable name generation in explication
#156 opened Dec 8, 2016 by eelcovisser
Rule could not be type checked
#154 opened Dec 8, 2016 by eelcovisser
4
Report a warning if the -init-> arrow has unsatisfied components enhancement front-end idea L
#153 opened Dec 7, 2016 by vvergu
Rule cannot be type checked if LHS constructor is not declared bug front-end M
#151 opened Dec 7, 2016 by vvergu
Lazily load term classes back-end enhancement
#150 opened Dec 6, 2016 by vvergu
Generate Maven dependency on the language project back-end enhancement L
#148 opened Dec 6, 2016 by vvergu
1
Add support for Spoofax Core transformations in DynSem interpreters enhancement L
#147 opened Dec 6, 2016 by vvergu
1
Report time spent in rules
#145 opened Dec 5, 2016 by vvergu
Tail recursion optimization for indirect recursion
#144 opened Dec 5, 2016 by eelcovisser
Benchmark harness back-end enhancement H
#143 opened Dec 5, 2016 by eelcovisser
Empty tuple as unit? enhancement idea
#138 opened Nov 24, 2016 by casperbp
Run programs on downloaded Graal VMs back-end enhancement
#137 opened Nov 17, 2016 by vvergu Enhancements sprint
Tuple classes should be generated from use sites back-end enhancement L
#135 opened Nov 15, 2016 by vvergu
meta-function confuses typing of default arrow enhancement front-end
#132 opened Nov 14, 2016 by eelcovisser
4
De-factorization and copy propagation broken for case match back-end bug L
#128 opened Nov 14, 2016 by vvergu Bugfixes sprint
Unapplied meta-functions should be eagerly applied enhancement front-end
#126 opened Nov 13, 2016 by eelcovisser Enhancements sprint
2
desugaring meta-function causes mistyping bug front-end H
#122 opened Nov 11, 2016 by eelcovisser Bugfixes sprint
4
Add string interpolation facilities back-end enhancement front-end H
#116 opened Nov 9, 2016 by vvergu
Explore incremental generation of term library back-end enhancement idea L
#114 opened Nov 9, 2016 by vvergu
Explore interpretation of non-explicated specs back-end enhancement idea L
#108 opened Nov 7, 2016 by vvergu
Implement standard list operations back-end enhancement front-end idea L
#107 opened Nov 7, 2016 by vvergu Enhancements sprint
3
ProTip! Exclude everything labeled bug with -label:bug.