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.

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

Rust backend #2787

Merged
merged 23 commits into from
May 29, 2024
Merged

Rust backend #2787

merged 23 commits into from
May 29, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented May 21, 2024

  • Implements code generation through Rust.
  • CLI: adds two dev compilation targets:
    1. rust for generating Rust code
    2. native-rust for generating a native executable via Rust
  • Adds end-to-end tests for compilation from Juvix to native executable via Rust.
  • A target for RISC0 needs to be added in a separate PR building on this one.

@lukaszcz lukaszcz added this to the 0.6.2 milestone May 21, 2024
@lukaszcz lukaszcz self-assigned this May 21, 2024
@lukaszcz lukaszcz force-pushed the rust-backend branch 4 times, most recently from ef33d61 to b4a7169 Compare May 28, 2024 08:15
@lukaszcz lukaszcz marked this pull request as ready for review May 28, 2024 15:04
@lukaszcz lukaszcz marked this pull request as draft May 29, 2024 08:44
@lukaszcz lukaszcz marked this pull request as ready for review May 29, 2024 09:10
@lukaszcz lukaszcz merged commit 55598e0 into main May 29, 2024
4 checks passed
@lukaszcz lukaszcz deleted the rust-backend branch May 29, 2024 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants