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

Optimize blocks #919

Merged
merged 51 commits into from
Aug 15, 2024
Merged

Optimize blocks #919

merged 51 commits into from
Aug 15, 2024

Commits on Jul 24, 2024

  1. Extracted classes into separate files

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    be35cf1 View commit details
    Browse the repository at this point in the history

  2. Print splits and various small fixes

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    52d696b View commit details
    Browse the repository at this point in the history

  3. Update tests

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    5e2d548 View commit details
    Browse the repository at this point in the history

  4. Update tests

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    c4a0342 View commit details
    Browse the repository at this point in the history

  5. Add back /print

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    b89dde0 View commit details
    Browse the repository at this point in the history

  6. Optimize blocks

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    70ec2a0 View commit details
    Browse the repository at this point in the history

  7. Update expect file

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    51d1322 View commit details
    Browse the repository at this point in the history

  8. Update expect file

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    8393fce View commit details
    Browse the repository at this point in the history

  9. Update split expect files

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    1a161c8 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'printSplit' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    149c07e View commit details
    Browse the repository at this point in the history

  11. Fix bug and update test

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    8bed7e5 View commit details
    Browse the repository at this point in the history

  12. Move deadVarElim.cs classes into separate files

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e98b27e View commit details
    Browse the repository at this point in the history

  13. Clean up code in BlockCoalescer and remove duplicate feature in Block… 

    …Transformations
    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    07ad293 View commit details
    Browse the repository at this point in the history

  14. Fix test

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e08091b View commit details
    Browse the repository at this point in the history

  15. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    83ae368 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. Remove unused import

    @keyboardDrummer
    keyboardDrummer committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    9e868e4 View commit details
    Browse the repository at this point in the history

  2. Merge commit 'c7878aa7ac1' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    2b64f97 View commit details
    Browse the repository at this point in the history

  3. Fixes

    @keyboardDrummer
    keyboardDrummer committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    e522dbf View commit details
    Browse the repository at this point in the history

  4. Fix

    @keyboardDrummer
    keyboardDrummer committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    9cd2a55 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Fix tests

    @keyboardDrummer
    keyboardDrummer committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    6aa492c View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Merge remote-tracking branch 'origin/master' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    78a851d View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge branch 'master' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer authored Aug 7, 2024
    Configuration menu
    Copy the full SHA
    61f5902 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Configure a VC timeout for all tests

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    5eed5f6 View commit details
    Browse the repository at this point in the history

  2. Fix concurrency issue in QuantifierInstantiationEngine

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    c79011b View commit details
    Browse the repository at this point in the history

  3. Add a process limit timeout

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    2870fb0 View commit details
    Browse the repository at this point in the history

  4. Make trace output culture invariant

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    735fee4 View commit details
    Browse the repository at this point in the history

  5. Fix Rlimitouts0.bpl

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    830ac55 View commit details
    Browse the repository at this point in the history

  6. Fix tests

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    9d5ef3d View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into setTimeout

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    bb5a3a6 View commit details
    Browse the repository at this point in the history

  8. Fix indentation

    @keyboardDrummer
    keyboardDrummer committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    43ca15e View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Fix comp error

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    f98fe32 View commit details
    Browse the repository at this point in the history

  2. Increase timeout of KeyboardClass test

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    b57c1ed View commit details
    Browse the repository at this point in the history

  3. Add more cancellation

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2b662ef View commit details
    Browse the repository at this point in the history

  4. Interrupt threads when disposing custom stack scheduler

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1e9f7ce View commit details
    Browse the repository at this point in the history

  5. Add blame-hang-timeout to unit test

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    972c9be View commit details
    Browse the repository at this point in the history

  6. Fix

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    3d84ae9 View commit details
    Browse the repository at this point in the history

  7. Refactoring

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    3e9470b View commit details
    Browse the repository at this point in the history

  8. Fix warning

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2e8ca55 View commit details
    Browse the repository at this point in the history

  9. Removed output that causes tests to fail

    @keyboardDrummer
    keyboardDrummer committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    02b3561 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Delete accident

    @keyboardDrummer
    keyboardDrummer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    dabf0ef View commit details
    Browse the repository at this point in the history

  2. Add process time limit

    @keyboardDrummer
    keyboardDrummer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    00ef399 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'setTimeout' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    8d49878 View commit details
    Browse the repository at this point in the history

  4. Increase timeout for treiber

    @keyboardDrummer
    keyboardDrummer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    df7861b View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Infinite timeout for treiber-stack

    @keyboardDrummer
    keyboardDrummer committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    3fe0fc5 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge commit 'a3cc4bae85db' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    d6711d3 View commit details
    Browse the repository at this point in the history

  2. Reduce changes

    @keyboardDrummer
    keyboardDrummer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    4c2cfee View commit details
    Browse the repository at this point in the history

  3. Undo changes

    @keyboardDrummer
    keyboardDrummer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    24d5acc View commit details
    Browse the repository at this point in the history

  4. Reduce changes

    @keyboardDrummer
    keyboardDrummer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    7f3d836 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    c258866 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Cleanup

    @keyboardDrummer
    keyboardDrummer committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    100ee6c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into optimizeBlocks

    @keyboardDrummer
    keyboardDrummer authored Aug 15, 2024
    Configuration menu
    Copy the full SHA
    b4d6abc View commit details
    Browse the repository at this point in the history