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

Implement a Rust runtime #2781

Closed
lukaszcz opened this issue May 14, 2024 · 0 comments · Fixed by #2782
Closed

Implement a Rust runtime #2781

lukaszcz opened this issue May 14, 2024 · 0 comments · Fixed by #2782
Assignees
@lukaszcz
Labels
enhancement New feature or request risc5 runtime rust-backend
Milestone
0.6.2

Comments

@lukaszcz
Copy link
Collaborator

Re-implement the C runtime in Rust, which a view toward using it with RISC0.
@lukaszcz lukaszcz added this to the 0.6.2 milestone May 14, 2024
@lukaszcz lukaszcz self-assigned this May 14, 2024
@lukaszcz lukaszcz added the risc5 label May 14, 2024
@lukaszcz lukaszcz mentioned this issue May 15, 2024
Merged
lukaszcz added a commit that referenced this issue May 22, 2024
@lukaszcz
Rust runtime (#2782)
7e737d7 
* Closes #2781 
* This PR only implements the Rust runtime. The Rust backend / code
generation need to be implemented in a separate PR.
* The tests are unit tests for different modules and tests with
"manually" compiled Juvix programs.
* Adds building & testing of the Rust runtime to the CI.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
enhancement New feature or request risc5 runtime rust-backend
Projects
None yet
Milestone
0.6.2
Development

Successfully merging a pull request may close this issue.

Rust runtime anoma/juvix
1 participant
@lukaszcz