Skip to content
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

Jump to bottom

JuvixReg interpreter #2577

Closed
lukaszcz opened this issue Jan 11, 2024 · 0 comments · Fixed by #2635
Closed

JuvixReg interpreter #2577

lukaszcz opened this issue Jan 11, 2024 · 0 comments · Fixed by #2635
Assignees
@lukaszcz
Labels
juvix-reg
Milestone
0.6.0

Comments

@lukaszcz
Copy link
Collaborator

Since we will be implementing multiple transformations on JuvixReg, it would be very helpful for debugging and ensuring correctness to have a JuvixReg interpreter.

Transformations on JuvixReg:
@lukaszcz lukaszcz added this to the 0.6.0 milestone Jan 11, 2024
@lukaszcz lukaszcz self-assigned this Jan 11, 2024
@lukaszcz lukaszcz mentioned this issue Feb 8, 2024
Merged
lukaszcz added a commit that referenced this issue Feb 15, 2024
@lukaszcz
JuvixReg interpreter (#2635)
a110297 
* Closes #2577 
* Adds the `juvix dev reg run file.jvr` command.
* Adds interpreter tests.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
juvix-reg
Projects
None yet
Milestone
0.6.0
Development

Successfully merging a pull request may close this issue.

JuvixReg interpreter anoma/juvix
1 participant
@lukaszcz