feat[venom]: add loop invariant hoisting pass#4175

Open

HodanPlodky wants to merge 28 commits intovyperlang:masterfrom HodanPlodky:loop_invariant

+426

Commits on Jul 10, 2024

feat[venom]: add loop invariant hoisting pass
HodanPlodky
committed

Commits on Jul 12, 2024

Commits on Jul 15, 2024

Commits on Jul 17, 2024

fix[venom]: removed hoisting just constants
HodanPlodky
committed

Commits on Jul 18, 2024

Commits on Jul 19, 2024

fix[venom]: changes from review and better loophoisting structure (skipping over the literals)
HodanPlodky
committed

Commits on Jul 22, 2024

Commits on Jul 23, 2024

Commits on Jul 29, 2024

clean up loop detection
harkal
committed

Commits on Aug 10, 2024

Merge pull request #1 from harkal/update_loop_detection
HodanPlodky
authored

Commits on Aug 12, 2024

fix[venom]: improved tests to increase coverage
HodanPlodky
committed

Commits on Aug 13, 2024

fix[venom]: error when the store is not constant
HodanPlodky
committed

Commits on Sep 30, 2024

Merge branch 'master' into loop_invariant
HodanPlodky
authored

Commits on Jan 9, 2025

Merge branch 'master' into loop_invariant
HodanPlodky
authored

Commits on Jan 31, 2025

Merge branch 'master' into loop_invariant
HodanPlodky
authored

Commits on Feb 1, 2025

mypy help
HodanPlodky
committed

Commits on Feb 25, 2025

Merge branch 'master' into loop_invariant
HodanPlodky
authored

Commits on Feb 27, 2025

Commits on Feb 28, 2025