0xPolygonMiden compiler issues

0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly

MIT License

63 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Failed to build a Wasm component from the Wasm core module with "non-component" imports

#334 greenhat opened 1 week ago
8
wip: hir refactoring

#332 bitwalker opened 1 week ago
0
docs: merge docs changes from main to next

#331 bitwalker closed 1 week ago
0
docs: update docs to use updated nightly version

#330 greenhat closed 1 week ago
0
feature(cargo-miden): support building Wasm component from a Cargo project

#329 greenhat opened 2 weeks ago
0
Merge v0.0.7

#328 greenhat closed 2 weeks ago
0
Release v0.0.7

#327 greenhat closed 2 weeks ago
0
chore: remove `miden-assembly` dependency from `sdk/base-sys` for `bindings` feature

#326 greenhat closed 2 weeks ago
0
Switch cargo-miden to v0.4.0 of the new project template with `dev` profile to fix the #323 compilation issue

#325 greenhat closed 2 weeks ago
0
doc: add `--release` option to `cargo miden build` command

#324 greenhat closed 2 weeks ago
0
Failing to build a new cargo-miden project with `cargo miden build` (`invalid stack index` error)

#323 greenhat closed 2 weeks ago
2
chore: update rust toolchain and rework ci workflows

#322 bitwalker closed 2 weeks ago
3
chore: update cargo-component to v0.16.0

#321 greenhat closed 3 weeks ago
0
Expose `midenc` CLI features (print, run, debug) through `cargo-miden`

#320 greenhat opened 3 weeks ago
1
chore: update Miden VM crates to the commit 1b4609e (next, Sep 5, 2024)

#319 greenhat opened 3 weeks ago
5
chore: fallback to cwd if CARGO_MANIFEST_DIR env var is not set

#318 greenhat closed 3 weeks ago
0
`cargo test` takes 8x more time on my laptop after the switch to Miden VM v0.10.5 (from v0.10.3)

#317 greenhat opened 3 weeks ago
13
Implement `midenc toolchain` command

#316 bitwalker opened 3 weeks ago
0
Docs/copy edit 1

#315 kmurphypolygon closed 3 weeks ago
2
Note script support in cargo-miden

#314 greenhat opened 3 weeks ago
0
chore: add `CompilerTestInputType::CargoMiden` and use `cargo-miden` build it

#313 greenhat closed 3 weeks ago
0
Use `cargo-miden` to compile Rust code in `CompilerTest`

#312 greenhat closed 3 weeks ago
0
chore: add `cargo-semver-checks` install to the CONTRIBUTING.md

#311 greenhat closed 3 weeks ago
0
release: 0.0.6

#310 bitwalker closed 4 weeks ago
0
release: prepare for 0.0.6 release

#309 bitwalker closed 4 weeks ago
1
Use Miden SDK as a Rust lib instead of Wasm component

#308 greenhat opened 4 weeks ago
0
Use the tx kernel lib from `miden-base` for linking in `MidenTxKernelLibrary`

#307 greenhat opened 4 weeks ago
3
High-level API for the account storage access

#306 greenhat opened 4 weeks ago
0
docs: revisit/update documentation

#305 bitwalker closed 4 weeks ago
0
Binding against Miden procedures from Rust

#304 bitwalker opened 4 weeks ago
0
Cross-Context Procedure Invocation

#303 bitwalker opened 4 weeks ago
0
chore: fix mkdocs warnings, move cargo-miden README to docs

#302 greenhat closed 4 weeks ago
0
chore: clean up unused deps

#301 bitwalker closed 1 month ago
0
chore: switch all crates to a single workspace version (0.0.5)

#300 greenhat closed 1 month ago
0
docs: switch from mdbook to mkdocs

#299 bitwalker closed 1 month ago
0
Release v0.0.5

#298 greenhat closed 1 month ago
0
Release v0.0.4 (take 2)

#297 greenhat closed 1 month ago
0
Crates publishing failed in v0.0.4 release

#296 greenhat closed 1 month ago
1
`release-plz update` should bump minor and major version of the crates

#295 greenhat closed 1 month ago
2
Release v0.0.4

#294 greenhat closed 1 month ago
0
Add tests for memory intrinsics for i8, u8, i16, u16 types

#293 greenhat opened 1 month ago
0
chore: fix clippy warnings in tests

#292 greenhat closed 1 month ago
2
Refactor HIR to support structured control flow, signless integral types

#291 bitwalker opened 1 month ago
0
Add a test for memory intrinsics for storing/loading felts

#290 greenhat closed 1 month ago
0
Release v0.0.1 (take 8): Initial release of the compiler and SDK crates

#289 greenhat closed 1 month ago
0
fix: `cargo release` by adding `help` feature to `clap` dependency

#288 greenhat closed 1 month ago
1
Release v0.0.1 (take 7): Initial release of the compiler and SDK crates

#287 greenhat closed 1 month ago
0
[2/2] Release v0.0.1 (take 6): Initial release of the compiler and SDK crates

#286 greenhat closed 1 month ago
0
[1/2] chore: remove separate SDK crates publishing on CI since they are now published as a part of the workspace

#285 greenhat closed 1 month ago
0
fix: abi transformation tests

#284 bitwalker closed 1 month ago
1