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

fix: add tx kernel library with stubs and link it on -l base #277

Merged
merged 7 commits into from
Aug 15, 2024

Commits on Aug 14, 2024

  1. Configuration menu
    Copy the full SHA
    44fe589 View commit details
    Browse the repository at this point in the history
  2. fix: load tx kernel library stubs via SourceManager

    Remove `miden-core` dependency from `midenc-tx-kernel` crate;
    greenhat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    7874a13 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3151fe2 View commit details
    Browse the repository at this point in the history
  4. refactor: build the MASL for the tx kernel stubs in build.rs and

    load the `CompiledLibrary` from the bytes.
    Move the tx kernel to `masm/tx`.
    greenhat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    30b4e8b View commit details
    Browse the repository at this point in the history
  5. refactor: delete miden-tx-kernel-sys crate and move the code to `mi…

    …den-base-sys`
    
    Add `bindings` and `masm-lib` features to the `miden-base-sys`
    crate to separate the the user facing Rust bindings from the MASM library
    needed only for the compiler.
    greenhat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    2b7fdc4 View commit details
    Browse the repository at this point in the history
  6. fix clippy warnings

    greenhat committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    fb80d83 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b9de0b5 View commit details
    Browse the repository at this point in the history