Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / 0xPolygonMiden/miden-vm issues and pull requests
#1517 - Propagate procedure attributes from AST to MastForest
Issue -
State: open - Opened by bobbinth 3 days ago
Labels: assembly
#1516 - Fix bug in chiplet bus
Pull Request -
State: open - Opened by Al-Kindi-0 4 days ago
#1515 - Kernel proc table never actually adds any kernel procedure
Issue -
State: open - Opened by plafer 4 days ago
Labels: bug, processor
#1514 - Fix chiplets vtable construction
Pull Request -
State: closed - Opened by plafer 5 days ago
#1513 - [fix]: VerifyCmd Flag Collision
Pull Request -
State: open - Opened by varun-doshi 5 days ago
#1512 - Fix block stack table respan
Pull Request -
State: open - Opened by plafer 5 days ago
#1511 - Fix block stack table
Pull Request -
State: closed - Opened by plafer 6 days ago
- 1 comment
#1510 - feat: implement procedure annotation syntax
Pull Request -
State: closed - Opened by bitwalker 7 days ago
- 2 comments
Labels: enhancement, assembly
#1509 - Fix block hash table
Pull Request -
State: closed - Opened by plafer 8 days ago
#1508 - chore(deps): bump clap from 4.5.16 to 4.5.18
Pull Request -
State: closed - Opened by dependabot[bot] 8 days ago
- 1 comment
Labels: dependencies
#1507 - chore(deps): bump unicode-width from 0.1.13 to 0.2.0
Pull Request -
State: closed - Opened by dependabot[bot] 8 days ago
- 1 comment
Labels: dependencies
#1506 - Documentation fixes
Pull Request -
State: closed - Opened by PhilippGackstatter 8 days ago
- 1 comment
Labels: no changelog
#1505 - Move Op group table and block hash table to LogUp-GKR
Pull Request -
State: open - Opened by plafer 11 days ago
- 4 comments
Labels: no changelog
#1504 - LogUp-GKR: Tracking PR
Pull Request -
State: open - Opened by plafer 12 days ago
#1503 - `miden` binary fails to deserialize `std.masl`
Issue -
State: open - Opened by PhilippGackstatter 12 days ago
- 3 comments
Labels: bug
#1502 - Debug mode via cli option
Pull Request -
State: closed - Opened by yasonk 13 days ago
#1501 - Unit tests in miden-vm package are not running
Issue -
State: open - Opened by yasonk 14 days ago
#1500 - Docs fix typos
Pull Request -
State: open - Opened by cratiu222 14 days ago
#1499 - chore(deps): bump pretty_assertions from 1.4.0 to 1.4.1
Pull Request -
State: closed - Opened by dependabot[bot] 15 days ago
- 1 comment
Labels: dependencies
#1498 - chore(deps): bump miden-crypto from 0.10.0 to 0.10.1
Pull Request -
State: closed - Opened by dependabot[bot] 15 days ago
- 1 comment
Labels: dependencies
#1497 - Performance of current decorator representation
Issue -
State: open - Opened by bitwalker 17 days ago
- 2 comments
Labels: bug, processor
#1496 - Introduce `Emit` instruction
Pull Request -
State: closed - Opened by plafer 17 days ago
#1495 - Fix operation batch flags constraints
Pull Request -
State: closed - Opened by plafer 18 days ago
- 2 comments
Labels: documentation, no changelog
#1494 - feat: add `PartialEq`,`Eq` and `De/Serialize` for `AdviceInputs` and `AdviceMap`
Pull Request -
State: closed - Opened by SantiagoPittella 19 days ago
#1493 - Integrate LogUp-GKR into the VM
Pull Request -
State: closed - Opened by Al-Kindi-0 19 days ago
- 5 comments
#1492 - Simplify `batch_ops()`
Pull Request -
State: closed - Opened by plafer 20 days ago
- 1 comment
Labels: no changelog
#1491 - Modify `DecoratorIterator` to return `&Decorator` instead of `DecoratorId`
Issue -
State: open - Opened by plafer 21 days ago
Labels: good first issue, processor
#1490 - Investigate reducing the size of `MastNode` to 64 bytes
Issue -
State: open - Opened by plafer 21 days ago
#1489 - Refactor `MastForest` format to put all decorator data at the end
Issue -
State: open - Opened by plafer 21 days ago
- 2 comments
Labels: enhancement, good first issue
#1488 - chore(deps): bump serde_json from 1.0.125 to 1.0.128
Pull Request -
State: closed - Opened by dependabot[bot] 22 days ago
- 1 comment
Labels: dependencies
#1487 - chore(deps): bump serde from 1.0.208 to 1.0.210
Pull Request -
State: closed - Opened by dependabot[bot] 22 days ago
- 1 comment
Labels: dependencies
#1486 - chore(deps): bump winter-utils from 0.9.1 to 0.9.2
Pull Request -
State: closed - Opened by dependabot[bot] 22 days ago
- 1 comment
Labels: dependencies
#1485 - chore(deps): bump clap from 4.5.16 to 4.5.17
Pull Request -
State: closed - Opened by dependabot[bot] 22 days ago
- 1 comment
Labels: dependencies
#1484 - Properly constrain `u32` values
Issue -
State: open - Opened by plafer 22 days ago
- 1 comment
Labels: air
#1483 - Add `is_empty_word` procedure to the standard library
Issue -
State: open - Opened by bobbinth 22 days ago
- 1 comment
Labels: enhancement, stdlib
#1482 - Fix `MastForest` serialization
Pull Request -
State: closed - Opened by plafer 24 days ago
- 3 comments
Labels: no changelog
#1481 - fix(assembly): properly indent first op in nested blocks
Pull Request -
State: closed - Opened by bitwalker 26 days ago
Labels: bug, assembly
#1480 - feat: improve handling of u32 operations
Pull Request -
State: closed - Opened by bitwalker 26 days ago
- 4 comments
Labels: enhancement, assembly, processor
#1479 - Add pedantic warning mode
Issue -
State: open - Opened by plafer 27 days ago
Labels: good first issue, assembly
#1478 - Incorrect behavior of `caller` instruction for dynamic calls
Issue -
State: open - Opened by bobbinth 27 days ago
Labels: bug, processor, air
#1477 - chore(deps): bump lalrpop-util from 0.20.2 to 0.21.0
Pull Request -
State: closed - Opened by dependabot[bot] 29 days ago
- 1 comment
Labels: dependencies
#1476 - chore(deps): bump lalrpop from 0.20.2 to 0.21.0
Pull Request -
State: closed - Opened by dependabot[bot] 29 days ago
- 1 comment
Labels: dependencies
#1475 - chore(deps): bump rustc_version from 0.4.0 to 0.4.1
Pull Request -
State: closed - Opened by dependabot[bot] 29 days ago
- 1 comment
Labels: dependencies
#1474 - feat: miden-gpu CUDA integration for prover
Pull Request -
State: open - Opened by TheMenko about 1 month ago
#1473 - Remove uniqueness invariant from `MastForestBuilder`
Pull Request -
State: closed - Opened by plafer about 1 month ago
- 3 comments
#1472 - Tracking PR for v0.11.0 release
Pull Request -
State: open - Opened by bobbinth about 1 month ago
#1471 - chore: Add warning about `no_std` environment
Pull Request -
State: closed - Opened by plafer about 1 month ago
- 1 comment
Labels: no changelog
#1470 - chore: remove callset from `Procedure`
Pull Request -
State: closed - Opened by plafer about 1 month ago
- 4 comments
Labels: no changelog
#1469 - Miden Assembly Linter?
Issue -
State: open - Opened by partylikeits1983 4 months ago
- 4 comments
Labels: enhancement, help wanted
#1468 - chore(deps): bump serde_json from 1.0.125 to 1.0.127
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1467 - chore(deps): bump serde from 1.0.208 to 1.0.209
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1466 - Plafer 1122 fix decorators
Pull Request -
State: closed - Opened by plafer about 1 month ago
- 5 comments
#1465 - Wrap MastForest in Program and Library in Arc
Pull Request -
State: open - Opened by bobbinth about 1 month ago
#1465 - Wrap MastForest in Program and Library in Arc
Pull Request -
State: closed - Opened by bobbinth about 1 month ago
#1464 - fix: detect circular external nodes
Pull Request -
State: closed - Opened by bobbinth about 1 month ago
#1463 - Add no_std once primitive for stdlib deserialization
Pull Request -
State: closed - Opened by sergerad about 1 month ago
- 11 comments
#1462 - Only register local procedures in the MAST forest store
Pull Request -
State: closed - Opened by bobbinth about 1 month ago
#1462 - Only register local procedures in the MAST forest store
Pull Request -
State: closed - Opened by bobbinth about 1 month ago
#1461 - add basic block merging threshold
Pull Request -
State: closed - Opened by plafer about 1 month ago
Labels: assembly
#1461 - add basic block merging threshold
Pull Request -
State: closed - Opened by plafer about 1 month ago
Labels: assembly
#1460 - chore(deps): bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1460 - chore(deps): bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1460 - chore(deps): bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1460 - chore(deps): bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1460 - chore(deps): bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies
#1459 - Add WebGPU support
Pull Request -
State: open - Opened by GopherJ about 1 month ago
- 1 comment
#1459 - Add WebGPU support
Pull Request -
State: open - Opened by GopherJ about 1 month ago
- 1 comment
#1459 - Add WebGPU support
Pull Request -
State: open - Opened by GopherJ about 1 month ago
- 1 comment
#1459 - Add WebGPU support
Pull Request -
State: open - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1458 - webgpu
Pull Request -
State: closed - Opened by GopherJ about 1 month ago
- 1 comment
#1457 - Refactor events and advice injectors
Issue -
State: open - Opened by bobbinth about 2 months ago
- 2 comments
Labels: assembly, instruction set, processor, air
#1457 - Refactor events and advice injectors
Issue -
State: open - Opened by bobbinth about 2 months ago
- 2 comments
Labels: assembly, instruction set, processor, air
#1457 - Refactor events and advice injectors
Issue -
State: open - Opened by bobbinth about 2 months ago
- 3 comments
Labels: assembly, instruction set, processor, air
#1457 - Refactor events and advice injectors
Issue -
State: open - Opened by bobbinth about 2 months ago
- 2 comments
Labels: assembly, instruction set, processor, air
#1457 - Refactor events and advice injectors
Issue -
State: open - Opened by bobbinth about 2 months ago
- 2 comments
Labels: assembly, instruction set, processor, air
#1456 - Restrict the number of stack inputs and outputs to 16
Pull Request -
State: open - Opened by Fumuran about 2 months ago
- 3 comments
#1456 - Restrict the number of stack inputs and outputs to 16
Pull Request -
State: open - Opened by Fumuran about 2 months ago
#1456 - Restrict the number of stack inputs and outputs to 16
Pull Request -
State: open - Opened by Fumuran about 2 months ago
#1455 - Enable executing external `Dyn` nodes
Pull Request -
State: closed - Opened by bobbinth about 2 months ago
#1455 - Enable executing external `Dyn` nodes
Pull Request -
State: closed - Opened by bobbinth about 2 months ago
#1455 - Enable executing external `Dyn` nodes
Pull Request -
State: closed - Opened by bobbinth about 2 months ago
#1454 - Assembler: merge adjacent basic blocks
Pull Request -
State: closed - Opened by plafer about 2 months ago
- 10 comments
#1453 - add unsafe constructors to nodes for deserialization
Pull Request -
State: closed - Opened by sergerad about 2 months ago
- 5 comments
#1452 - Fix re-exports from aliased modules
Pull Request -
State: open - Opened by plafer about 2 months ago
Labels: assembly
#1452 - Fix re-exports from aliased modules
Pull Request -
State: open - Opened by plafer about 2 months ago
Labels: assembly
#1452 - Fix re-exports from aliased modules
Pull Request -
State: open - Opened by plafer about 2 months ago
Labels: assembly
#1452 - Fix re-exports from aliased modules
Pull Request -
State: closed - Opened by plafer about 2 months ago
- 1 comment
Labels: assembly
#1451 - Fix re-exports from aliased module
Issue -
State: open - Opened by plafer about 2 months ago
Labels: bug, assembly
#1451 - Fix re-exports from aliased module
Issue -
State: open - Opened by plafer about 2 months ago
Labels: bug, assembly
#1451 - Fix re-exports from aliased module
Issue -
State: open - Opened by plafer about 2 months ago
Labels: bug, assembly
#1451 - Fix re-exports from aliased module
Issue -
State: open - Opened by plafer about 2 months ago
Labels: bug, assembly
#1451 - Fix re-exports from aliased module
Issue -
State: open - Opened by plafer about 2 months ago
Labels: bug, assembly
#1450 - Merge v0.10.3 changes into `next`
Pull Request -
State: closed - Opened by bobbinth about 2 months ago
#1450 - Merge v0.10.3 changes into `next`
Pull Request -
State: closed - Opened by bobbinth about 2 months ago
#1450 - Merge v0.10.3 changes into `next`
Pull Request -
State: closed - Opened by bobbinth about 2 months ago