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

Re-enable Juvix in all benchmarks #1973

Closed
lukaszcz opened this issue Apr 4, 2023 · 0 comments · Fixed by #1974
Closed

Re-enable Juvix in all benchmarks #1973

lukaszcz opened this issue Apr 4, 2023 · 0 comments · Fixed by #1974
Labels
benchmark
Milestone
0.3.2 - HB-J

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Apr 4, 2023

In about half of the benchmarks Juvix is not included, because the programs generated with the old backend crashed. They should work with the new backend now.
@lukaszcz lukaszcz added this to the 0.3.2 milestone Apr 4, 2023
@lukaszcz lukaszcz mentioned this issue Apr 4, 2023
Merged
lukaszcz added a commit that referenced this issue Apr 4, 2023
@lukaszcz
Add Juvix to all benchmarks (#1974)
75d25a5 
* Closes #1973
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
benchmark
Projects
None yet
Milestone
0.3.2 - HB-J
Development

Successfully merging a pull request may close this issue.

Add Juvix to all benchmarks anoma/juvix
1 participant
@lukaszcz