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

Direct translation from normalized JuvixCore to VampIR #2086

Merged
merged 14 commits into from
May 19, 2023
Merged

Direct translation from normalized JuvixCore to VampIR #2086

merged 14 commits into from
May 19, 2023

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented May 12, 2023 •
edited
Loading

@lukaszcz lukaszcz added this to the 0.4 - Prague milestone May 12, 2023
@lukaszcz lukaszcz self-assigned this May 12, 2023
@lukaszcz lukaszcz marked this pull request as ready for review May 15, 2023 13:52
@jonaprieto jonaprieto mentioned this pull request May 15, 2023
Merged
@lukaszcz lukaszcz mentioned this pull request May 17, 2023
Merged
@lukaszcz lukaszcz merged commit fe78ff4 into main May 19, 2023
@lukaszcz lukaszcz deleted the vampir-translation branch May 19, 2023 12:43
@jonaprieto jonaprieto removed this from the 0.4 - Prague milestone May 19, 2023
@jonaprieto jonaprieto added this to the 0.3.4 milestone May 19, 2023
jonaprieto added a commit that referenced this pull request May 22, 2023
@lukaszcz @jonaprieto
VampIR integration (#2103)
d576111 
* Closes #2035 
* Depends on #2086 
* Depends on #2096 
* Adds end-to-end tests for the Juvix-to-VampIR compilation pipeline.

---------

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

@janmasrovira janmasrovira Awaiting requested review from janmasrovira

Assignees

@lukaszcz lukaszcz

Labels
pipeline:vampir
Projects
None yet
Milestone
0.3.4
Development

Successfully merging this pull request may close these issues.

Direct translation of JuvixCore to VampIR
3 participants
@lukaszcz @jonaprieto @janmasrovira