François Garillot huitseeker
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> { | |
| | |_____________________^ |
huitseeker
/ test-without-feature.log
Created
May 29, 2025 20:24
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 mpcs v0.1.0 (/Users/huitseeker/tmp/deep-prove/mpcs) | |
| Finished `bench` profile [optimized] target(s) in 22.13s | |
| Running benches/basefold.rs (target/release/deps/basefold-2696857fc69eaa79) | |
| Gnuplot not found, using plotters backend | |
| Benchmarking simple_batch_commit_open_verify_goldilocks_rs_base/batch_commit/20-64 | |
| Benchmarking simple_batch_commit_open_verify_goldilocks_rs_base/batch_commit/20-64: Warming up for 3.0000 s | |
| Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 16.3s. | |
| Benchmarking simple_batch_commit_open_verify_goldilocks_rs_base/batch_commit/20-64: Collecting 10 samples in estimated 16.317 s (10 iterations) | |
| Benchmarking simple_batch_commit_open_verify_goldilocks_rs_base/batch_commit/20-64: Analyzing |
huitseeker
/ test-with-feature.log
Created
May 29, 2025 20:17
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 proc-macro2 v1.0.95 | |
| Compiling unicode-ident v1.0.18 | |
| Compiling cfg-if v1.0.0 | |
| Compiling libc v0.2.172 | |
| Compiling serde v1.0.219 | |
| Compiling autocfg v1.4.0 | |
| Compiling libm v0.2.11 | |
| Compiling zerocopy v0.8.25 | |
| Compiling either v1.15.0 | |
| Compiling crossbeam-utils v0.8.21 |
huitseeker
/ gist:b48b26c301a1def025f90b923e35bef2
Created
September 23, 2024 17: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
| docs/PROOF.md:Lemma run_unwrap_or_default {T : Set} | |
| CoqOfRust/proofs/M.v: Lemma eqb_refl (kind : IntegerKind.t) : IntegerKind.eqb kind kind = true. | |
| CoqOfRust/experiments/MonadExperiments.v: Lemma State_is_valid : State.Valid.t State_Trait. | |
| CoqOfRust/experiments/MonadExperiments.v: Lemma run_main : | |
| CoqOfRust/lib/proofs/lib.v: Lemma normalize_wrap_is_valid (kind : IntegerKind.t) (z : Z) : | |
| CoqOfRust/lib/proofs/lib.v: Lemma normalize_with_error_eq (kind : IntegerKind.t) (z z' : Z) : | |
| CoqOfRust/lib/proofs/lib.v: Lemma add_is_valid (kind : IntegerKind.t) (z1 z2 z : Z) | |
| CoqOfRust/core/num/flt2dec/strategy/grisu.v: // scale fps. this gives the maximal error of 1 ulp (proved from Theorem 5.1). | |
| CoqOfRust/core/num/flt2dec/strategy/grisu.v: // Theorem 6.2: if `k` is the greatest integer s.t. `0 <= y mod 10^k <= y - x`, | |
| CoqOfRust/core/num/flt2dec/strategy/grisu.v: // find the digit length `kappa` between `(minus1, plus1)` as per Theorem 6.2. |
NewerOlder