feat(debugger): CodeTracer time-travelling debugger support#7758

Open

nickysn wants to merge 229 commits intonoir-lang:masterfrom

blocksense-network:nargo_trace

Commits on Mar 20, 2025

feat: Add tracing command which auto-debugs

smanilov
authored and
nickysn
committed
feat(tracing): Add scaffolding for tracing tests

smanilov
authored and
nickysn
committed
feat(tracing): return and save trace_artifact

smanilov
authored and
nickysn
committed
feat(tracing): More structural cleanup

smanilov
authored and
nickysn
committed
feat(tracer): Count lines, not opcodes

smanilov
authored and
nickysn
committed
feat(tracing): Use runtime_tracing, not TraceArtifact

smanilov
authored and
nickysn
committed
feat(tracing): Outline `get_current_line_and_filepath`

smanilov
authored and
nickysn
committed
feat(tracing): Ignore formatting in trace comparison

smanilov
authored and
nickysn
committed
feat(trace): Add test for function calls

smanilov
authored and
nickysn
committed
feat(trace): simplify trace test scaffold

smanilov
authored and
nickysn
committed
feat(trace): introduce SourceLocation and DebugStepResult

smanilov
authored and
nickysn
committed
feat(trace): fix bug of missing steps

smanilov
authored and
nickysn
committed
feat(tracing): Add test with two files

smanilov
authored and
nickysn
committed
feat(tracer): Record function calls and returns

smanilov
authored and
nickysn
committed
chore: remove autogen'ed main.rs

smanilov
authored and
nickysn
committed
refactor: outline `fn convert_debugger_location`

smanilov
authored and
nickysn
committed
chore: outline helpers to Tracer

smanilov
authored and
nickysn
committed
chore: outline debug_context glue functions

smanilov
authored and
nickysn
committed
chore: split tracer into modules

smanilov
authored and
nickysn
committed
refactor(tracer): outline `fn convert_debugger_stack_frame`

smanilov
authored and
nickysn
committed
feat(tracer): Register variables in trace

smanilov
authored and
nickysn
committed
feat(tracer): Add conversion for UnsignedInteger

smanilov
authored and
nickysn
committed
Add a tool for formatting nargo trace json output

Aristotelis2002
authored and
nickysn
committed
feat(tracer): Use newer version of runtime_tracing

smanilov
authored and
nickysn
committed
feat(tracer): Add function params to trace

smanilov
authored and
nickysn
committed
feat(tracer): Generate trace_paths.json too

smanilov
authored and
nickysn
committed
chore(tracing): Improve tool for formatting traces

Aristotelis2002
authored and
nickysn
committed
feat(tracer): Add additional artifacts in trace tests

smanilov
authored and
nickysn
committed
feat(tracer): Store package name in trace metadata

smanilov
authored and
nickysn
committed
chore(Cargo.lock): update with new package

smanilov
authored and
nickysn
committed
test(tracing): Add unit tests for trace formatter

Aristotelis2002
authored and
nickysn
committed
feat(tracer): Fix steps before call

smanilov
authored and
nickysn
committed
feat(tracer): Add extra step after returns

smanilov
authored and
nickysn
committed
feat(tracer): Replace todo! with warn! for types

smanilov
authored and
nickysn
committed
feat(trace_plonky2): update runtime_tracing library to 0.5.16
nickysn
committed
feat(trace_plonky2): update tests after previous commit
nickysn
committed
fix(trace): fix crash when tracing zk_dungeon
nickysn
committed
test(trace): added zk_dungeon to test_programs/plonky2_trace
nickysn
committed
fix(trace): added todo: investigate comment and a debug println instead of a panic for the error 'param_name not found in variables'
nickysn
committed
Update tooling/tracer/src/debugger_glue.rs

nickysn
and
smanilov
committed
feat(trace): try to generate value records for Bool, Array

alehander92
authored and
nickysn
committed
test(trace): update expected_trace.json files after adding bool/array value tracking

alehander92
authored and
nickysn
committed
feat(trace): make the function result visible as a local variable
nickysn
committed
feat(trace): the temporary local variable, used to hold the result value renamed __debug_return_expr
nickysn
committed
feat(trace): proper support for reporting return values
nickysn
committed
feat(trace): update expected output of tests after implementation of tracing return values
nickysn
committed
feat(trace): report program's print and println output as 'special events'
nickysn
committed
test(trace): added test, demonstrating the use of print/println special events
nickysn
committed
refactor(trace): simplified the print callback creation in TracingContext::new()
nickysn
committed
fix(trace): stop using `start()`: don't record a toplevel call

alehander92
authored and
nickysn
committed
test(trace): fix tests after Alexander's previous commit that removes the use of `start()`
nickysn
committed
test(tracer): removed the dummy "?" entry in expected_paths.json after Alexander's fix, related to the use of `start()`
nickysn
committed
fix(trace): use the line before for print events

alehander92
authored and
nickysn
committed
test(trace): update test after Alexander's commit named 'use the line before for print events'
nickysn
committed
fix(debug): fix bug, causing the debugger to step into both 'then' and 'else'
nickysn
committed
test(trace): update tests after previous fix
nickysn
committed
test(trace): added test for the if..then..else bug
nickysn
committed
fix(trace): use an empty span for the extra `let __debug_return_expr =` assignment, inserted by the debug instrumenter
nickysn
committed
fix(trace): only assign the __debug_return_expr variable in the outermost function scope
nickysn
committed
test(trace): update tests after the previous two commits
nickysn
committed
fix(trace): fix tracing of return values after commit 8477d752142fecb77459a26f5959fb09c5b09830
nickysn
committed
feat(trace): upgrade runtime_tracing lib to version 0.7.0
nickysn
committed
feat: support SignedInteger in tracer

smanilov
authored and
nickysn
committed
fix(debug): Disable loop invariant code motion

smanilov
authored and
nickysn
committed
fix(debug) Really disable loop invariant code motion

Aristotelis2002
authored and
nickysn
committed
feat(fmt): Expose format trace functions

Aristotelis2002
authored and
nickysn
committed
feat(fmt): Add `nargo format-trace` to CLI

Aristotelis2002
authored and
nickysn
committed
chore(cargo): Update Cargo.lock

Aristotelis2002
authored and
nickysn
committed
fix(nargo-debug): Disable constant folding

smanilov
authored and
nickysn
committed
fix(nargo-debug): Remove failing tests

smanilov
authored and
nickysn
committed
feat(trace): report failed asserts as special events
nickysn
committed
test(trace): added test plonky2_trace/assert
nickysn
committed
test(trace): fix tests plonky2_trace_7_looper and plonky2_trace_hoist_instructions after merge of PR #182
nickysn
committed
fix(trace): convert the error types from generated_acirs into the SsaProgramArtifact result in create_program()
nickysn
committed
feat(trace): implemented support for tracing assert messages
nickysn
committed
test(trace): added test plonky2_trace_assert_message
nickysn
committed
feat(optimizations): Create a distinction in optimization levels

smanilov
authored and
nickysn
committed
Revert "fix(nargo-debug): Remove failing tests"

smanilov
authored and
nickysn
committed
cleanup: shorten the "saved trace" message to one line; fix the error message for paths

alehander92
authored and
nickysn
committed
fix(build): cargo test succeeds again

smanilov
authored and
nickysn
committed
chore: address warnings during compilation

smanilov
authored and
nickysn
committed
chore(warnings): Address upstream warnings

smanilov
authored and
nickysn
committed
chore: cargo fmt
nickysn
committed
chore: compilation fix after daily sync
nickysn
committed
fix(merge): Satisfy borrow-checker

smanilov
authored and
nickysn
committed
fix(trace): fixed crash when debugging/tracing programs with arrays
nickysn
committed
chore(format_trace): Apply clippy fix
Aristotelis2002
committed
fix(trace): Add missing field for SsaEvaluatorOptions
Aristotelis2002
committed
chore(trace): Remove compile warnings
Aristotelis2002
committed

Commits on Mar 24, 2025

Merge 'origin/master' into nargo_trace. March 24
Aristotelis2002
committed

Commits on Mar 26, 2025

Commits on Mar 28, 2025

Commits on Apr 1, 2025

Commits on Apr 4, 2025

Commits on Apr 9, 2025

Commits on Apr 15, 2025

Commits on Apr 16, 2025

Merge 'origin/master' into nargo_trace. April 16
Aristotelis2002
committed

Commits on Apr 22, 2025

Merge branch 'master' into nargo_trace
nickysn
committed

Commits on Apr 24, 2025

Commits on Apr 25, 2025

Commits on Apr 28, 2025

Commits on Apr 29, 2025

Merge branch 'aztec-master' into nargo_trace
Syndamia
committed

Commits on Apr 30, 2025

Commits on May 1, 2025

Commits on May 2, 2025

Merge 'origin/master' into nargo_trace. May 2
Syndamia
committed

Commits on May 5, 2025

Merge 'origin/master' into nargo_trace. May 5
Syndamia
committed

Commits on May 7, 2025

Commits on May 8, 2025

Merge 'origin/master' into nargo_trace. May 8
Aristotelis2002
committed

Commits on May 12, 2025

Commits on May 13, 2025

Merge 'origin/master' into nargo_trace. May 13
Aristotelis2002
committed

Commits on May 14, 2025

Merge 'origin/master' into nargo_trace. May 14
Aristotelis2002
committed

Commits on May 15, 2025

Merge 'origin/master' into nargo_trace. May 15
Aristotelis2002
committed

Commits on May 16, 2025

Merge 'origin/master' into nargo_trace. May 16
Aristotelis2002
committed

Commits on May 19, 2025

Merge 'origin/master' into nargo_trace. May 19
Aristotelis2002
committed

Commits on May 21, 2025

Commits on May 22, 2025

Merge 'origin/master' into nargo_trace. May 22
Aristotelis2002
committed

Commits on May 23, 2025

Merge 'origin/master' into nargo_trace. May 23
Aristotelis2002
committed

Commits on May 27, 2025

Merge 'origin/master' into nargo_trace. May 27
Aristotelis2002
committed

Commits on May 28, 2025

Merge 'origin/master' into nargo_trace. May 28
Aristotelis2002
committed

Commits on Jun 4, 2025

Merge 'origin/master' into nargo_trace. June 4
Aristotelis2002
committed

Commits on Jun 11, 2025

Merge 'origin/master' into nargo_trace. June 11
Aristotelis2002
committed

Commits on Jun 18, 2025

Merge 'origin/master' into nargo_trace. June 18
Aristotelis2002
committed

Commits on Jun 19, 2025

Commits on Jun 23, 2025

Commits on Jun 25, 2025

Merge 'origin/master' into nargo_trace. June 25
Aristotelis2002
committed

Commits on Jul 1, 2025

Commits on Jul 2, 2025

Commits on Jul 15, 2025

Merge 'origin/master' into nargo_trace. 15 July
Aristotelis2002
committed

Commits on Jul 16, 2025

Merge 'origin/master' into nargo_trace. 16 July
Aristotelis2002
committed

Commits on Jul 17, 2025

Commits on Jul 28, 2025

Commits on Jul 30, 2025

Merge 'origin/master' into nargo_trace. 30 July
Aristotelis2002
committed

Commits on Aug 6, 2025

Merge 'origin/master' into nargo_trace. Aug 6
Aristotelis2002
committed

Commits on Aug 20, 2025

Merge 'origin/master' into nargo_trace. Aug 20
Aristotelis2002
committed

Commits on Aug 27, 2025

Merge 'origin/master' into nargo_trace. Aug 27
Aristotelis2002
committed

Commits on Sep 3, 2025

Commits on Sep 10, 2025

Merge 'origin/master' into nargo_trace. Sep 10
Aristotelis2002
committed

Commits on Sep 17, 2025

Merge 'origin/master' into nargo_trace. Sep 17
Aristotelis2002
committed

Commits on Sep 24, 2025

Merge 'origin/master' into nargo_trace. Sep 24
Aristotelis2002
committed

Commits on Oct 2, 2025

Merge 'origin/master' into nargo_trace. Oct 2
Aristotelis2002
committed

Commits on Oct 13, 2025

Merge 'origin/master' into nargo_trace. Oct 13
Aristotelis2002
committed

Commits on Oct 15, 2025

Merge 'origin/master' into nargo_trace. Oct 15
Aristotelis2002
committed

Commits on Oct 16, 2025

feat(nargo-trace): upgrade runtime_tracing 0.14.0 reference to codetracer_trace_writer 0.16.0
nickysn
committed

Commits on Oct 22, 2025

Merge 'origin/master' into nargo_trace. Oct 22
Aristotelis2002
committed

Commits on Oct 29, 2025

Merge 'origin/master' into nargo_trace. Oct 29
Aristotelis2002
committed

Commits on Nov 5, 2025

Merge 'origin/master' into nargo_trace. Nov 5
Aristotelis2002
committed

Commits on Nov 12, 2025

Merge 'origin/master' into nargo_trace. Nov 12
Aristotelis2002
committed

Commits on Nov 19, 2025

Commits on Nov 26, 2025

Merge 'origin/master' into nargo_trace. Nov 26
Aristotelis2002
committed

Commits on Dec 4, 2025

Merge 'origin/master' into nargo_trace. Dec 3
Aristotelis2002
committed

Commits on Dec 11, 2025

Merge 'origin/master' into nargo_trace. Dec 11
Aristotelis2002
committed

Commits on Jan 12, 2026

Merge 'origin/master' into nargo_trace. 12 Jan
Aristotelis2002
committed