Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat[venom]: new DFTPass algorithm #4255

Draft
wants to merge 140 commits into
base: master
Choose a base branch
from

Commits on Sep 18, 2024

  1. τεμπ

    temp
    
    more stack2mem
    
    exception and usage
    
    mem allocator
    
    tests and fixes to allocator
    
    fixes
    
    lint allocator
    
    more
    
    stack top method
    
    allocator fixes
    
    lint
    
    fixes and update tests
    
    plug memory allocator
    
    add types
    
    cleanup and lint
    
    exceptions handling
    harkal committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    919346b View commit details
    Browse the repository at this point in the history
  2. revert get_phi_depth() changes

    harkal committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f4c7ac5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cc50efe View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. StackModel refactor

    harkal committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    28eed40 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. feat[venom]: add small heuristic for cleaning input stack

    this commit adds a small heuristic for cleaning the input stack from
    cfg_in, which is to pop the shallowest items first.
    
    it also cleans up the code a little bit and adds stronger preconditions
    to the code.
    
    a further optimization would be to try to align the output stack as best
    as possible at the jnz, but that belongs in the DFT pass.
    charles-cooper committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    e871868 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Configuration menu
    Copy the full SHA
    e97bc88 View commit details
    Browse the repository at this point in the history
  2. improve ordering

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    12487fc View commit details
    Browse the repository at this point in the history
  3. r fences

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    185ae23 View commit details
    Browse the repository at this point in the history
  4. remove old code

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d8e6c74 View commit details
    Browse the repository at this point in the history
  5. adapt fensing

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    4a87e93 View commit details
    Browse the repository at this point in the history
  6. more

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    24ad003 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    5b7f60c View commit details
    Browse the repository at this point in the history
  8. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2f0b4af View commit details
    Browse the repository at this point in the history
  9. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    1f94e46 View commit details
    Browse the repository at this point in the history
  10. squash

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f12192c View commit details
    Browse the repository at this point in the history
  11. wip - ament

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d89adb6 View commit details
    Browse the repository at this point in the history
  12. pass all tests

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a581a09 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    948f7f1 View commit details
    Browse the repository at this point in the history
  14. cleanups

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8c99eee View commit details
    Browse the repository at this point in the history
  15. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    58182ab View commit details
    Browse the repository at this point in the history
  16. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6efbce8 View commit details
    Browse the repository at this point in the history
  17. no merge node

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    57353b2 View commit details
    Browse the repository at this point in the history
  18. fix

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8bac9f5 View commit details
    Browse the repository at this point in the history
  19. fix

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a332610 View commit details
    Browse the repository at this point in the history
  20. gda

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    56fed17 View commit details
    Browse the repository at this point in the history
  21. groups

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    93c7dcf View commit details
    Browse the repository at this point in the history
  22. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    1958f48 View commit details
    Browse the repository at this point in the history
  23. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ce584ac View commit details
    Browse the repository at this point in the history
  24. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    81143c6 View commit details
    Browse the repository at this point in the history
  25. better dep traversal

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    44e6880 View commit details
    Browse the repository at this point in the history
  26. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ebeb9ee View commit details
    Browse the repository at this point in the history
  27. before circle breaking

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    fce4086 View commit details
    Browse the repository at this point in the history
  28. cycles detector

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e7ce364 View commit details
    Browse the repository at this point in the history
  29. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    58d7387 View commit details
    Browse the repository at this point in the history
  30. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    644e124 View commit details
    Browse the repository at this point in the history
  31. fix

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    9f8511f View commit details
    Browse the repository at this point in the history
  32. wip

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    26c129c View commit details
    Browse the repository at this point in the history
  33. grouping refactor

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ec29d76 View commit details
    Browse the repository at this point in the history
  34. cleanup

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f30b11c View commit details
    Browse the repository at this point in the history
  35. spelling

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    44ebf21 View commit details
    Browse the repository at this point in the history
  36. DUP1 SWAP1 optimization

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a8ffb79 View commit details
    Browse the repository at this point in the history
  37. Configuration menu
    Copy the full SHA
    192ee8f View commit details
    Browse the repository at this point in the history
  38. cleanup and add comments

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    958974b View commit details
    Browse the repository at this point in the history
  39. lint

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    9e64c6e View commit details
    Browse the repository at this point in the history
  40. fixes

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    3cd1e8b View commit details
    Browse the repository at this point in the history
  41. refactor

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a008fe8 View commit details
    Browse the repository at this point in the history
  42. lint

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    23f2b65 View commit details
    Browse the repository at this point in the history
  43. remove store expantion pass

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e3c3ba4 View commit details
    Browse the repository at this point in the history
  44. refactor

    harkal committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ba88b4e View commit details
    Browse the repository at this point in the history
  45. Configuration menu
    Copy the full SHA
    63246e7 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Configuration menu
    Copy the full SHA
    1f0ae6a View commit details
    Browse the repository at this point in the history
  2. properly hash

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    3e08f83 View commit details
    Browse the repository at this point in the history
  3. review dead code

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    3d3a4cf View commit details
    Browse the repository at this point in the history
  4. refactor

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8ccb393 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1bb6da6 View commit details
    Browse the repository at this point in the history
  6. refactor

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    b61f9b9 View commit details
    Browse the repository at this point in the history
  7. refactor

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    f259618 View commit details
    Browse the repository at this point in the history
  8. remove force

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    e04285f View commit details
    Browse the repository at this point in the history
  9. refactor/cleanup

    harkal committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    588a818 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    d4f3cf0 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    72b10b5 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Configuration menu
    Copy the full SHA
    918cd5f View commit details
    Browse the repository at this point in the history
  2. work

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    3d26886 View commit details
    Browse the repository at this point in the history
  3. lint

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    6f77fa8 View commit details
    Browse the repository at this point in the history
  4. wip

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    7367822 View commit details
    Browse the repository at this point in the history
  5. wip

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    0a9240b View commit details
    Browse the repository at this point in the history
  6. w

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    7f89a8b View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ceffef6 View commit details
    Browse the repository at this point in the history
  8. new dep

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    3f45f5e View commit details
    Browse the repository at this point in the history
  9. no groups

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    8cb64da View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    2987d36 View commit details
    Browse the repository at this point in the history
  11. wip

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    b1425ca View commit details
    Browse the repository at this point in the history
  12. wip

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    cfbb0eb View commit details
    Browse the repository at this point in the history
  13. push iszero-assert together

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    2a9a3ce View commit details
    Browse the repository at this point in the history
  14. cleanup

    harkal committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    65b1351 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Revert "remove store expantion pass"

    This reverts commit e3c3ba4.
    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    dae696a View commit details
    Browse the repository at this point in the history
  2. enable store expansion

    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    db87ff8 View commit details
    Browse the repository at this point in the history
  3. improve naming

    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    d025298 View commit details
    Browse the repository at this point in the history
  4. fix get_write_effects()

    Co-authored-by: Harry Kalogirou <[email protected]>
    charles-cooper and harkal authored Sep 28, 2024
    Configuration menu
    Copy the full SHA
    e9b5303 View commit details
    Browse the repository at this point in the history
  5. effects

    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    36ff613 View commit details
    Browse the repository at this point in the history
  6. effect deps

    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    283d93a View commit details
    Browse the repository at this point in the history
  7. work

    harkal committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    f94e103 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Update vyper/venom/effects.py

    Co-authored-by: HodanPlodky <[email protected]>
    charles-cooper and HodanPlodky authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8be0bef View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fcb688f View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. effects magic

    harkal committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    94aeeb0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b9046cc View commit details
    Browse the repository at this point in the history
  3. wip

    harkal committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    bdc1b4d View commit details
    Browse the repository at this point in the history
  4. disable effects

    harkal committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    62616cd View commit details
    Browse the repository at this point in the history
  5. Merge remote-tracking branch 'origin-charles/refactor/effects-analysi…

    …s' into feat/dft_upgrade
    harkal committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    805b079 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    eea930b View commit details
    Browse the repository at this point in the history
  7. remove sort

    harkal committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    826e821 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. fix

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    2e628b6 View commit details
    Browse the repository at this point in the history
  2. cleanup

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    cbf47ef View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9b791f3 View commit details
    Browse the repository at this point in the history
  4. fix deps

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    843a127 View commit details
    Browse the repository at this point in the history
  5. remove store expanstion

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    a99ccf6 View commit details
    Browse the repository at this point in the history
  6. Revert "remove store expanstion"

    This reverts commit a99ccf6.
    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d8d747b View commit details
    Browse the repository at this point in the history
  7. lint

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    ba0b912 View commit details
    Browse the repository at this point in the history
  8. python 3.11 support

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    da7c00a View commit details
    Browse the repository at this point in the history
  9. cleanup

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d8a63c9 View commit details
    Browse the repository at this point in the history
  10. cleanup

    harkal committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    face008 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. wip

    harkal committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    3836b87 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Configuration menu
    Copy the full SHA
    015278a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9191c6a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1d6b762 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ff9e43c View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. debug

    charles-cooper committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    baadeed View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Configuration menu
    Copy the full SHA
    d5cc045 View commit details
    Browse the repository at this point in the history
  2. wip barriers

    don't sort barriers at all
    charles-cooper committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    0a1a001 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6a72efe View commit details
    Browse the repository at this point in the history
  4. an improvement

    charles-cooper committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    ddde336 View commit details
    Browse the repository at this point in the history
  5. Merge pull request #8 from charles-cooper/dft-shenanigans

    some dft improvements
    harkal authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    6a8d595 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. cleanup

    harkal committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    defdf8d View commit details
    Browse the repository at this point in the history
  2. remove deadcode and debuging

    harkal committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    0b899e4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9e2c428 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    747e54b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    919dc22 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2b49132 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    26592bc View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. Configuration menu
    Copy the full SHA
    7406e85 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b4c6998 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. Configuration menu
    Copy the full SHA
    3192f9c View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Configuration menu
    Copy the full SHA
    e46d946 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ef84d70 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1c98c23 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b450deb View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7523cb1 View commit details
    Browse the repository at this point in the history
  6. merge barriers

    harkal committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    d2ed247 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b4b22cf View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    52efbaf View commit details
    Browse the repository at this point in the history
  9. add back SCCP

    harkal committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    9212c86 View commit details
    Browse the repository at this point in the history
  10. fixes and cleanup

    harkal committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    414ca33 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Configuration menu
    Copy the full SHA
    f48ded6 View commit details
    Browse the repository at this point in the history
  2. heuristic update

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    caaae55 View commit details
    Browse the repository at this point in the history
  3. Revert "Merge branch 'feat/stack2mem' into feat/dft_upgrade"

    This reverts commit f48ded6, reversing
    changes made to d2ed247.
    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    a29efac View commit details
    Browse the repository at this point in the history
  4. cleanup

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    02b5082 View commit details
    Browse the repository at this point in the history
  5. refactor

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    aec32a0 View commit details
    Browse the repository at this point in the history
  6. fix test

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    267732c View commit details
    Browse the repository at this point in the history
  7. add sha3_64 to effects

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    acd5d77 View commit details
    Browse the repository at this point in the history
  8. lint

    harkal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    40e2e94 View commit details
    Browse the repository at this point in the history