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

feat: Adding the integer conversion operations to the llvm dialect #721

Merged
merged 25 commits into from
Oct 25, 2024
Merged

feat: Adding the integer conversion operations to the llvm dialect #721

merged 25 commits into from
Oct 25, 2024

Commits on Oct 16, 2024

  1. Renamed the script files

    @lfrenot
    lfrenot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0fdee4a View commit details
    Browse the repository at this point in the history

  2. re-ran scripts

    @lfrenot
    lfrenot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    43a4918 View commit details
    Browse the repository at this point in the history

  3. Edits to the gen files

    @lfrenot
    lfrenot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    48b1be2 View commit details
    Browse the repository at this point in the history

  4. re-ran the tests

    @lfrenot
    lfrenot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    1011dc2 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Adding a log to the test-gen

    @lfrenot
    lfrenot committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    21fdfde View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Updated test-gen to create log fiels

    @lfrenot
    lfrenot committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    55789ff View commit details
    Browse the repository at this point in the history

  2. Updated proof-gen to log build failures

    @lfrenot
    lfrenot committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    979785c View commit details
    Browse the repository at this point in the history

  3. Re-ran the sccripts

    @lfrenot
    lfrenot committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    4bf2f93 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into instcombine-test-stats

    @lfrenot
    lfrenot committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    044021d View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Basic script to read the logs

    @lfrenot
    lfrenot committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    e92cf94 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Merge remote-tracking branch 'origin/main' into instcombine-test-stats

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    32be146 View commit details
    Browse the repository at this point in the history

  2. Updated tests

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    edb64a3 View commit details
    Browse the repository at this point in the history

  3. forgot to commit the changes to proof-gen

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    a3f8ce4 View commit details
    Browse the repository at this point in the history

  4. updated read-logs

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    e9c8757 View commit details
    Browse the repository at this point in the history

  5. edits to cfg

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    3b3b157 View commit details
    Browse the repository at this point in the history

  6. Update SSA/Projects/InstCombine/scripts/cfg.py 

    Co-authored-by: Tobias Grosser <tobias@grosser.es>
    @lfrenot @tobiasgrosser
    lfrenot and tobiasgrosser authored Oct 23, 2024
    Configuration menu
    Copy the full SHA
    5c249d7 View commit details
    Browse the repository at this point in the history

  7. removed commented-out code

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    ee4aa76 View commit details
    Browse the repository at this point in the history

  8. Update cfg.py

    @lfrenot
    lfrenot authored Oct 23, 2024
    Configuration menu
    Copy the full SHA
    7e096bd View commit details
    Browse the repository at this point in the history

  9. Added newlines at end of files

    @lfrenot
    lfrenot committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    04c4b1c View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. Semantics for Integer Conversion ops

    @lfrenot
    lfrenot committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    ced1725 View commit details
    Browse the repository at this point in the history

  2. First attempt (not working)

    @lfrenot
    lfrenot committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    a8f0d16 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into llvm-integer-cast-ops

    @lfrenot
    lfrenot committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    393f9e3 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into llvm-integer-cast-ops

    @lfrenot
    lfrenot committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    a634e40 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Quick cleanups

    @lfrenot
    lfrenot committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    621171d View commit details
    Browse the repository at this point in the history

  2. Fix typing of llvm conversions

    @ineol
    ineol committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d2008f2 View commit details
    Browse the repository at this point in the history