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

#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

#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