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

Array copy set prep #1515

Merged
merged 18 commits into from
Nov 30, 2021
Merged

Array copy set prep #1515

merged 18 commits into from
Nov 30, 2021

Commits on Nov 17, 2021

  1. Use correct llvm mem in matchArg.

    @andreistefanescu
    andreistefanescu committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    d5d1c68 View commit details
    Browse the repository at this point in the history

  2. Change SMT solver for symbolic execution to Z3. Add timeout.

    @andreistefanescu
    andreistefanescu committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    6e5e014 View commit details
    Browse the repository at this point in the history

  3. Translate a SAWCore constant to a What4 constant in mkUninterpretedSA… 

    …W, instead of an uninterpreted function without parameters.
    @andreistefanescu
    andreistefanescu committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    b12e9e6 View commit details
    Browse the repository at this point in the history

  4. Add option for SAWCore to What4 translation for Crucible symbolic exe… 

    …cution.
    @andreistefanescu
    andreistefanescu committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    48872d2 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2021

  1. Refactor SAWScript.Crucible.LLVM.X86.

    @andreistefanescu
    andreistefanescu committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    e6c168d View commit details
    Browse the repository at this point in the history

  2. Add llvm_alloc_sym_init SAW command.

    @andreistefanescu
    andreistefanescu committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    9e1cb40 View commit details
    Browse the repository at this point in the history

  3. Match arrays at non-zero offsets.

    @andreistefanescu
    andreistefanescu committed Nov 18, 2021
    Configuration menu
    Copy the full SHA
    42899bb View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2021

  1. Fix typo.

    @andreistefanescu
    andreistefanescu committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    349d001 View commit details
    Browse the repository at this point in the history

  2. Add W4EvalTactic newtype.

    @andreistefanescu
    andreistefanescu committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    7fbf5dd View commit details
    Browse the repository at this point in the history

  3. Add LLVMAllocSpecInit datatype.

    @andreistefanescu
    andreistefanescu committed Nov 23, 2021
    Configuration menu
    Copy the full SHA
    16ab2b0 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2021

  1. Add set_crucible_timeout command.

    @andreistefanescu
    andreistefanescu committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    83580ed View commit details
    Browse the repository at this point in the history

  2. Edit changelog.

    @andreistefanescu
    andreistefanescu committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    8041408 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into array-copy-set-prep

    @andreistefanescu
    andreistefanescu authored Nov 24, 2021
    Configuration menu
    Copy the full SHA
    2c05dbc View commit details
    Browse the repository at this point in the history

  4. Set crucible timeout in saw-remote-api.

    @andreistefanescu
    andreistefanescu committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    31321c2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into array-copy-set-prep

    @andreistefanescu
    andreistefanescu authored Nov 24, 2021
    Configuration menu
    Copy the full SHA
    ddbba7b View commit details
    Browse the repository at this point in the history

  6. Handle llvm_alloc_sym_init in LLVM X86.

    @andreistefanescu
    andreistefanescu committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    4cd4aa3 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2021

  1. Add disable_alloc_sym_init_check command.

    @andreistefanescu
    andreistefanescu committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    b41fa9e View commit details
    Browse the repository at this point in the history

  2. Improve documentation.

    @andreistefanescu
    andreistefanescu committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    eb83fb1 View commit details
    Browse the repository at this point in the history