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.

Sign up for GitHub

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

Jump to bottom

Adding new PyK wrappers to LLVM Python Bindings #4426

Merged
merged 31 commits into from
Jun 12, 2024
Merged

Adding new PyK wrappers to LLVM Python Bindings #4426

merged 31 commits into from
Jun 12, 2024

Commits on Jun 5, 2024

  1. Fixing comments in LLVMRewriteTrace

    @Robertorosmaninho
    Robertorosmaninho committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    45948b0 View commit details
    Browse the repository at this point in the history

  2. Introduces KoreHeader Python representation of kore_header

    @Robertorosmaninho
    Robertorosmaninho committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    6bd1cde View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Exposing LLVMEventType enum

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a1acc36 View commit details
    Browse the repository at this point in the history

  2. Exposing LLVMEventAnnotated struct

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    badee47 View commit details
    Browse the repository at this point in the history

  3. Implementing LLVMRewriteTraceIterator class and importing the corre… 

    …ct bindings
    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    9196b78 View commit details
    Browse the repository at this point in the history

  4. Formatting

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    d7d2a14 View commit details
    Browse the repository at this point in the history

  5. Adding new fixture to test_prooftrace

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    5958863 View commit details
    Browse the repository at this point in the history

  6. Using the new KoreHeader wrapper

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    438e0f6 View commit details
    Browse the repository at this point in the history

  7. Adding new test_streaming_parser_iter test

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    bdb2ec1 View commit details
    Browse the repository at this point in the history

  8. Adding new test_streaming_parser_iter test

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    f19b3ea View commit details
    Browse the repository at this point in the history

  9. Formatting

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    2242094 View commit details
    Browse the repository at this point in the history

  10. Importing KoreHeader

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ebfddd5 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    64fe65e View commit details
    Browse the repository at this point in the history

  12. Fixing merge error

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4b7b77e View commit details
    Browse the repository at this point in the history

  13. formatting

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a9d85ef View commit details
    Browse the repository at this point in the history

  14. Fixing import issue

    @Robertorosmaninho
    Robertorosmaninho committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4997f90 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    754d74c View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    575f120 View commit details
    Browse the repository at this point in the history

  2. Renaming hints and header file to avoid writing in different file tha… 

    …n expected
    @Robertorosmaninho
    Robertorosmaninho committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    2419fda View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. Addressing some simple comments

    @Robertorosmaninho
    Robertorosmaninho committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    3229264 View commit details
    Browse the repository at this point in the history

  2. Adding napoleon extentions

    @Robertorosmaninho
    Robertorosmaninho committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    4fb0822 View commit details
    Browse the repository at this point in the history

  3. Formatting Comments

    @Robertorosmaninho
    Robertorosmaninho committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    0d340f6 View commit details
    Browse the repository at this point in the history

  4. Formatting

    @Robertorosmaninho
    Robertorosmaninho committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    aea3ddc View commit details
    Browse the repository at this point in the history

  5. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    381df4a View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Addressing comments

    @Robertorosmaninho
    Robertorosmaninho committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    e8ea19e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    abac609 View commit details
    Browse the repository at this point in the history

  3. Addressing comments

    @Robertorosmaninho
    Robertorosmaninho committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    d91d011 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    8addcbe View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d2c0bef View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into pyk-streaming-parser-hints

    @rv-jenkins
    rv-jenkins authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d1072c2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'develop' into pyk-streaming-parser-hints

    @Robertorosmaninho
    Robertorosmaninho authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    b72f4a1 View commit details
    Browse the repository at this point in the history