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

Heapster translation perf improvements #1513

Merged
merged 12 commits into from
Nov 16, 2021
Merged

Heapster translation perf improvements #1513

merged 12 commits into from
Nov 16, 2021

Commits on Nov 15, 2021

  1. added the command heapster_set_translation_checks to turn off the tra… 

    …nslation-time assertPermStack* and assertTopPermM checks used during translation
    Eddy Westbrook committed Nov 15, 2021
    Configuration menu
    Copy the full SHA
    b39aa80 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2021

  1. Replaced a number of uses of fmap and mbMap2 with mbMapCl, to try to … 

    …reduce the number of times name-bindings are converted between fresh function and fresh pair representations
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    620f349 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into heapster/translatio… 

    …n-perf-improvements
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    14bdc64 View commit details
    Browse the repository at this point in the history

  3. updated CruUtil.hs to handle a recent change to Crucible

    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    4835d6d View commit details
    Browse the repository at this point in the history

  4. removed unused variables

    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    6bfc52a View commit details
    Browse the repository at this point in the history

  5. whoops, undid that recent change to CruUtil.hs because it looks like … 

    …that was for an older version of Crucible...
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    6d3bf5b View commit details
    Browse the repository at this point in the history

  6. changed the translation of the catch rule to not translate the second… 

    … branch if the first one succeeds
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    98fb656 View commit details
    Browse the repository at this point in the history

  7. added tracing information to implCatchM, to see where catches and bac… 

    …ktracking happen
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    78d6ee3 View commit details
    Browse the repository at this point in the history

  8. Update opam install arguments to support v2.1 or later.

    @kquick
    kquick committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    97027a3 View commit details
    Browse the repository at this point in the history

  9. tweaked the tracing messages in implCatchM

    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    a7ae7bd View commit details
    Browse the repository at this point in the history

  10. Merge branch 'heapster/translation-perf-improvements' of github.com:G… 

    …aloisInc/saw-script into heapster/translation-perf-improvements
    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    ed9b2ac View commit details
    Browse the repository at this point in the history

  11. renamed unChecksFlag to checksFlagSet

    Eddy Westbrook committed Nov 16, 2021
    Configuration menu
    Copy the full SHA
    e547a6c View commit details
    Browse the repository at this point in the history