François Garillot huitseeker
huitseeker
/ debug_stack_issue_2404.rs
Created
December 15, 2025 14:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| use std::println; | |
| use miden_utils_testing::build_debug_test; | |
| /// Test case to reproduce issue #2404 where only some debug.stack calls print | |
| #[test] | |
| fn test_debug_stack_issue_2404() { | |
| let stack_inputs = [1, 2, 3, 4]; | |
| let source = " | |
| proc set_pool_state |
huitseeker
/ padding_stats.rs
Created
December 12, 2025 17:40
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Demo to measure padding overhead in basic blocks | |
| use miden_core_lib::CoreLibrary; | |
| use miden_core::{Operation, mast::MastNode}; | |
| fn main() { | |
| let libcore = CoreLibrary::default(); | |
| let mast_forest = libcore.mast_forest(); | |
| let total_nodes = mast_forest.num_nodes(); | |
| let mut basic_block_count = 0; |
huitseeker
/ gist:5dc80da17604f60350b99e8bc8ae8397
Created
October 22, 2025 04:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Compiling enum_dispatch_test v0.1.0 (/private/tmp/enum_dispatch_test) | |
| error[E0308]: `match` arms have incompatible types | |
| --> src/lib.rs:34:1 | |
| | | |
| 19 | fn to_builder(&self) -> impl Builder { | |
| | ------------ the expected opaque type | |
| ... | |
| 28 | fn to_builder(&self) -> impl Builder { | |
| | ------------ the found opaque type | |
| ... |
huitseeker
/ gist:2d889224f8b51f19c6f9c51ec3fda8e6
Created
September 29, 2025 03:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ORG="0xmiden" | |
| USER="huitseeker" | |
| DATE="2025-09-22T00:00:00Z" | |
| Q="org:$ORG is:pr reviewed-by:$USER" | |
| gh api graphql --paginate -f query=' | |
| query ($q: String!, $cursor: String) { | |
| search(type: ISSUE, query: $q, first: 100, after: $cursor) { | |
| pageInfo { hasNextPage endCursor } |
huitseeker
/ gist:7d55aed968532e2134ecfc0fda1753dc
Created
September 27, 2025 03:09
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2025-09-27T02:42:43.0925661Z ##[group]Run make test-build | |
| 2025-09-27T02:42:43.0925966Z [36;1mmake test-build[0m | |
| 2025-09-27T02:42:43.0957721Z shell: /usr/bin/bash -e {0} | |
| 2025-09-27T02:42:43.0957945Z env: | |
| 2025-09-27T02:42:43.0958122Z CACHE_ON_FAILURE: false | |
| 2025-09-27T02:42:43.0958329Z CARGO_INCREMENTAL: 0 | |
| 2025-09-27T02:42:43.0958520Z ##[endgroup] | |
| 2025-09-27T02:42:43.2886603Z make core-test-build NEXTEST_PROFILE=ci FEATURES="concurrent,testing,metal,executable" | |
| 2025-09-27T02:42:43.2906238Z make[1]: Entering directory '/home/runner/work/miden-vm/miden-vm' | |
| 2025-09-27T02:42:43.2907159Z make core-test EXTRA="--no-run" |
huitseeker
/ gist:55e3878ec31781cce589201638bbc624
Created
September 20, 2025 00:29
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- | |
| source: assembly/src/tests.rs | |
| expression: program.mast_forest() | |
| --- | |
| MastForest { | |
| nodes: [ | |
| Block( | |
| BasicBlockNode { | |
| op_batches: [ | |
| OpBatch { |
huitseeker
/ gist:dcba41f21fdf6e66ea12f7698c9b5df8
Created
September 20, 2025 00:28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- | |
| source: assembly/src/tests.rs | |
| assertion_line: 3920 | |
| expression: program.mast_forest() | |
| --- | |
| MastForest { | |
| nodes: [ | |
| Block( | |
| BasicBlockNode { | |
| op_batches: [ |
huitseeker
/ gist:7f01486e537debf7e17ec5b45b55f12a
Created
September 20, 2025 00:18
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Compiling miden-stdlib v0.18.0 (/Users/huitseeker/tmp/miden-vm/stdlib) | |
| Compiling miden-test-utils v0.1.0 (/Users/huitseeker/tmp/miden-vm/crates/utils/testing) | |
| Compiling miden-vm v0.18.0 (/Users/huitseeker/tmp/miden-vm/miden-vm) | |
| Compiling miden-assembly v0.18.0 (/Users/huitseeker/tmp/miden-vm/assembly) | |
| Compiling miden-processor v0.18.0 (/Users/huitseeker/tmp/miden-vm/processor) | |
| Finished `test` profile [unoptimized + debuginfo] target(s) in 8.25s | |
| ──────────── | |
| Nextest run ID b550b576-ec53-4674-b62f-a73916bc497a with nextest profile: default | |
| Starting 2 tests across 18 binaries (2246 tests skipped) | |
| START miden-assembly tests::test_issue_2181_locaddr_bug_assembly |
huitseeker
/ gist:a43498109a404e9326754b167bdf3766
Created
September 20, 2025 00:15
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Compiling miden-stdlib v0.18.0 (/Users/huitseeker/tmp/miden-vm/stdlib) | |
| Compiling miden-test-utils v0.1.0 (/Users/huitseeker/tmp/miden-vm/crates/utils/testing) | |
| Compiling miden-vm v0.18.0 (/Users/huitseeker/tmp/miden-vm/miden-vm) | |
| Compiling miden-assembly v0.18.0 (/Users/huitseeker/tmp/miden-vm/assembly) | |
| Compiling miden-processor v0.18.0 (/Users/huitseeker/tmp/miden-vm/processor) | |
| Finished `test` profile [unoptimized + debuginfo] target(s) in 9.96s | |
| ──────────── | |
| Nextest run ID 281c9101-dd33-4169-83ca-8d796547e752 with nextest profile: default | |
| Starting 2 tests across 17 binaries (2207 tests skipped) | |
| START miden-assembly tests::test_issue_2181_locaddr_bug_assembly |
huitseeker
/ gist:e7334e3432a006845a46b8b234c62dc7
Created
September 8, 2025 01:43
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Checking miden-prover v0.18.0 (/Users/huitseeker/tmp/miden-vm/prover) | |
| error: method should be `async` or return a future, but it is synchronous | |
| --> prover/src/gpu/metal/mod.rs:95:5 | |
| | | |
| 95 | / fn build_aux_trace<E: FieldElement<BaseField = Self::BaseField>>( | |
| 96 | | &self, | |
| 97 | | trace: &Self::Trace, | |
| 98 | | aux_rand_elements: &AuxRandElements<E>, | |
| 99 | | ) -> ColMatrix<E> { | |
| | |_____________________^ |
NewerOlder