List view

Symbolic Rust EVM

A-evmArea: EVMArea: EVM

A-symbolic-executionArea: symbolic executionArea: symbolic execution

Status: Open.

#15 In foundry-rs/foundry;

· gakonst opened on Sep 20, 2021

feat(<code>cheatcodes</code>): add support for <code>vm.expectCall</code> on internal calls

A-cheatcodesArea: cheatcodesArea: cheatcodes

T-featureType: featureType: feature

T-post-V1Area: to tackle after V1Area: to tackle after V1

Status: Open.

#8474 In foundry-rs/foundry;

· clauBv23 opened on Jul 19, 2024

add option to <code>forge build</code> to only get the AST without compiling to bytecode

C-forgeCommand: forgeCommand: forge

Cmd-forge-buildCommand: forge buildCommand: forge build

T-featureType: featureType: feature

Status: Open.

#7212 In foundry-rs/foundry;

· 0xalpharush opened on Feb 22, 2024

meta(output): tracking issue for issues related to output modes (<code>--json</code>, <code>stdout</code>, <code>stderr</code>)

T-metaType: metaType: meta

Status: Open.

#8794 In foundry-rs/foundry;

· zerosnacks opened on Sep 3, 2024

feat(<code>debugger</code>): show generated <code>yul</code> when compiled <code>--via-ir</code>

A-debuggerArea: debuggerArea: debugger

C-forgeCommand: forgeCommand: forge

Cmd-forge-buildCommand: forge buildCommand: forge build

Cmd-forge-debugCommand: forge runCommand: forge run

Cmd-forge-testCommand: forge testCommand: forge test

D-hardDifficulty: hardDifficulty: hard

P-lowPriority: lowPriority: low

T-featureType: featureType: feature

Status: Open.

#1252 In foundry-rs/foundry;

· zk-tarts opened on Apr 10, 2022

feat(<code>debugger</code>) cursor should auto-scroll to modified memory after an <code>MSTORE</code>

A-debuggerArea: debuggerArea: debugger

C-forgeCommand: forgeCommand: forge

Cmd-forge-debugCommand: forge runCommand: forge run

T-featureType: featureType: feature

Status: Open.

#1873 In foundry-rs/foundry;

· StErMi opened on Jun 8, 2022

<code>forge create --verify</code> is incompatible with <code>--json</code>, gives mixed output

C-forgeCommand: forgeCommand: forge

Cmd-forge-createCommand: forge createCommand: forge create

P-normalPriority: normalPriority: normal

T-bugType: bugType: bug

T-to-discussType: requires discussionType: requires discussion

Status: Open.

#1976 In foundry-rs/foundry;

· hbarcelos opened on Jun 15, 2022

feat: extend (error) traces to include source code line number and filename

A-testingArea: testingArea: testing

A-tracingArea: tracingArea: tracing

C-forgeCommand: forgeCommand: forge

Cmd-forge-testCommand: forge testCommand: forge test

D-hardDifficulty: hardDifficulty: hard

P-highPriority: highPriority: high

T-featureType: featureType: feature

Status: Open.

#2328 In foundry-rs/foundry;

· ckoopmann opened on Jul 15, 2022

Forge remappings output wrong with multiple remappings.txt on dependencies.

A-compilerArea: compilerArea: compiler

A-dependenciesArea: dependenciesArea: dependencies

T-bugType: bugType: bug

Status: Open.

#6431 In foundry-rs/foundry;

· Rizary opened on Nov 26, 2023

feat(<code>debugger</code>): show values of variables in current scope during debugging

A-debuggerArea: debuggerArea: debugger

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-featureType: featureType: feature

Status: Open.

#410 In foundry-rs/foundry;

· crisgarner opened on Jan 10, 2022