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

Incomplete global v2 #123

Merged
merged 17 commits into from
Jan 23, 2024
Merged

Incomplete global v2 #123

merged 17 commits into from
Jan 23, 2024

Commits on Dec 22, 2023

  1. Identify imprecise edges, add precision

    @sifislag
    sifislag committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    8280394 View commit details
    Browse the repository at this point in the history

  2. Turn SpecialBlock into SpecialBlockEdge for scalability

    @sifislag
    sifislag committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    46b3926 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2023

  1. add new analytic

    @sifislag
    sifislag committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    1ed0a66 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2023

  1. Add some handling of non locally resolved jumpis in context sensitivity

    @sifislag
    sifislag committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    51c9c5b View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2023

  1. Try to gain precision in fallthrough blocks that push continuations

    @sifislag
    sifislag committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    6da242c View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

  1. Add draft code to disable context cutting when precision can be lost.

    @sifislag
    sifislag committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    b2821b4 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. fix bug in 6da242c

    @sifislag
    sifislag committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    ec2f289 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Refactor in HeuristicBlockCloner, add better support for fallthrough … 

    …call patterns
    @sifislag
    sifislag committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    0627a4f View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. Add transformation that allows fallthrough low-level calls to be prop… 

    …erly supported.
    @sifislag
    sifislag committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    0292f7b View commit details
    Browse the repository at this point in the history

  2. Fix broken test (due to improvement)

    @sifislag
    sifislag committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    b5c9baf View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. Try more complete heuristic for identifying loss of precision

    @sifislag
    sifislag committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    e40e038 View commit details
    Browse the repository at this point in the history

  2. Add another pattern for cloning continuations in the HeuristicBlockCl… 

    …oner
    @sifislag
    sifislag committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    b077dc1 View commit details
    Browse the repository at this point in the history

  3. Revert "Try more complete heuristic for identifying loss of precision" 

    This reverts commit e40e038.
    @sifislag
    sifislag committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    5a76733 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Add more analytics in comparizon script

    @sifislag
    sifislag committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    53d7cfb View commit details
    Browse the repository at this point in the history

  2. remove uneeded plans to support souffle 2.4

    @sifislag
    sifislag committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    6abddb6 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain … 

    …into unsoundness_global_experiment
    @sifislag
    sifislag committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    c5cdba6 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Cleanup, change default ctx depth to 20.

    @sifislag
    sifislag committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    9292238 View commit details
    Browse the repository at this point in the history