Search results

fix[venom]: liveness assumption venom to assembly

Status: Closed (abandoned).

vyperlang/vypernumber 4716

#4716 In vyperlang/vyper;

· by HodanPlodky was closed on Jul 18, 2025

fix[venom]: reduce single-use expansion

Status: Merged (completed).

vyperlang/vypernumber 4667

#4667 In vyperlang/vyper;

· by HodanPlodky was closed on Jun 7, 2025

fix[venom]: fix callsite phis after inlining

Status: Merged (completed).

vyperlang/vypernumber 4666

#4666 In vyperlang/vyper;

· by HodanPlodky was closed on May 30, 2025

feat[venom]: stack order analysis

Status: Open (in progress).

vyperlang/vypernumber 4646

#4646 In vyperlang/vyper;

· HodanPlodky opened on May 15, 2025

feat[venom]: improve phi elimination pass

Status: Merged (completed).

vyperlang/vypernumber 4635

#4635 In vyperlang/vyper;

· by HodanPlodky was closed on May 9, 2025

feat[venom]: add phi simplification pass

Status: Merged (completed).

vyperlang/vypernumber 4628

#4628 In vyperlang/vyper;

· by HodanPlodky was closed on May 6, 2025

feat[venom]: improve <code>dload</code>/<code>mstore</code> merging

Status: Merged (completed).

vyperlang/vypernumber 4570

#4570 In vyperlang/vyper;

· by HodanPlodky was closed on Apr 28, 2025

fix[venom]: fix var defined check for unreachable blocks

Status: Merged (completed).

vyperlang/vypernumber 4518

#4518 In vyperlang/vyper;

· by HodanPlodky was closed on Mar 18, 2025

refactor[test]: add more tests with hevm venom harness

Status: Merged (completed).

vyperlang/vypernumber 4493

#4493 In vyperlang/vyper;

· by HodanPlodky was closed on Mar 8, 2025

feat[venom]: add basic semantic check machinery to venom

Status: Merged (completed).

vyperlang/vypernumber 4483

#4483 In vyperlang/vyper;

· by HodanPlodky was closed on Mar 11, 2025

feat[test]: add tests for venom dload lowering pass

Status: Merged (completed).

vyperlang/vypernumber 4471

#4471 In vyperlang/vyper;

· by HodanPlodky was closed on Mar 7, 2025

feat[venom]: improvements for iszero handling and memmerge

Status: Merged (completed).

vyperlang/vypernumber 4469

#4469 In vyperlang/vyper;

· by HodanPlodky was closed on Apr 7, 2025