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

Incorporate heapster-saw into saw-script #1327

Merged
merged 760 commits into from
Jun 24, 2021
Merged

Incorporate heapster-saw into saw-script #1327

merged 760 commits into from
Jun 24, 2021
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Jul 15, 2020

  1. wip: test branch for hobbits update

    Karl Smeltzer committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    b8cf706 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2020

  1. use SAWTranslation top-level entrypoints, as per #24

    @m-yac
    m-yac committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    7b8b382 View commit details
    Browse the repository at this point in the history

  2. remove all calls to mkParserEnv, runParser in HeapsterBuiltins

    @m-yac
    m-yac committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    75b2a64 View commit details
    Browse the repository at this point in the history

  3. remove all calls to runTCM in HeapsterBuiltins

    @m-yac
    m-yac committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    68a029a View commit details
    Browse the repository at this point in the history

  4. [cleanup] use do pattern matching + fix warnings in HeapsterBuiltins

    @m-yac
    m-yac committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    64bebe8 View commit details
    Browse the repository at this point in the history

  5. [cleanup] add failOnNothing, more indentation cleanup

    @m-yac
    m-yac committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    7a2c74e View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2020

  1. updated HeapsterBuiltins.hs to accommodate the latest changes to heap… 

    …ster-saw
    Eddy Westbrook committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    da9a4e5 View commit details
    Browse the repository at this point in the history

  2. bump submodule

    @m-yac
    m-yac committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    b341e2b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    224762f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    719f0c6 View commit details
    Browse the repository at this point in the history

  5. bumped submodule

    Eddy Westbrook committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    f8ba468 View commit details
    Browse the repository at this point in the history

  6. bumped submodule

    Eddy Westbrook committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    9abdd8e View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2020

  1. Merge branch 'wip-heapster' into wip-heapster-hobbits-update

    Karl Smeltzer committed Jul 20, 2020
    Configuration menu
    Copy the full SHA
    e002417 View commit details
    Browse the repository at this point in the history

  2. bump submodule

    Karl Smeltzer committed Jul 20, 2020
    Configuration menu
    Copy the full SHA
    7fc5a7e View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2020

  1. added commands heapster_find_symbol and heapster_typecheck_fun_rename

    Eddy Westbrook committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    65d31b4 View commit details
    Browse the repository at this point in the history

  2. bump submodule again

    Karl Smeltzer committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    576cefa View commit details
    Browse the repository at this point in the history

  3. update heapster and hobbits

    Karl Smeltzer committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    ffa4413 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Karl Smeltzer committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    a6d0dc8 View commit details
    Browse the repository at this point in the history

  5. updated to handle the new definition of NameSet in Hobbits

    Eddy Westbrook committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    4ce92a8 View commit details
    Browse the repository at this point in the history

  6. fix heapster submodule hash

    Karl Smeltzer committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    ef36944 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2020

  1. bumped submodule per Hobbits changes

    Eddy Westbrook committed Jul 22, 2020
    Configuration menu
    Copy the full SHA
    e11d6c3 View commit details
    Browse the repository at this point in the history

  2. using latest version of hobbits

    Eddy Westbrook committed Jul 22, 2020
    Configuration menu
    Copy the full SHA
    5c16ad2 View commit details
    Browse the repository at this point in the history

  3. removed an unnecessary import and some extra whitespace

    Eddy Westbrook committed Jul 22, 2020
    Configuration menu
    Copy the full SHA
    be3c84e View commit details
    Browse the repository at this point in the history

  4. updating to newer version of Hobbits

    Eddy Westbrook committed Jul 22, 2020
    Configuration menu
    Copy the full SHA
    c781743 View commit details
    Browse the repository at this point in the history

  5. bumping heapster-saw submodule to version that can handle simple loop… 

    … example
    Eddy Westbrook committed Jul 22, 2020
    Configuration menu
    Copy the full SHA
    7c97214 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2020

  1. added heapster_get_cfg command

    Eddy Westbrook committed Jul 23, 2020
    Configuration menu
    Copy the full SHA
    305e80a View commit details
    Browse the repository at this point in the history

  2. added a Haddock for heapster_get_cfg

    Eddy Westbrook committed Jul 23, 2020
    Configuration menu
    Copy the full SHA
    e518991 View commit details
    Browse the repository at this point in the history

  3. added load_sawcore_from_file

    Eddy Westbrook committed Jul 23, 2020
    Configuration menu
    Copy the full SHA
    20768de View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2020

  1. fixed the type-checking for the translation of opaque permissions to … 

    …abstract over the argument types
    Eddy Westbrook committed Jul 24, 2020
    Configuration menu
    Copy the full SHA
    78f71c6 View commit details
    Browse the repository at this point in the history

  2. bumped heapster-saw submodule

    Eddy Westbrook committed Jul 24, 2020
    Configuration menu
    Copy the full SHA
    b66aa5b View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2020

  1. bumped submodule

    Eddy Westbrook committed Jul 27, 2020
    Configuration menu
    Copy the full SHA
    e5a61bd View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2020

  1. implemented heapster_define_llvm_shape

    Eddy Westbrook committed Jul 28, 2020
    Configuration menu
    Copy the full SHA
    7dbb378 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2020

  1. bump heapster dependency for haddock fix

    Karl Smeltzer committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    c3e3fe4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Karl Smeltzer committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    2346a67 View commit details
    Browse the repository at this point in the history

  3. use correct submodule

    Karl Smeltzer committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    e59f0ff View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2020

  1. bumped submodule

    Eddy Westbrook committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    820ce52 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    54c8529 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2020

  1. Added support for named conjoinable permissions; this removed the nee… 

    …d for "llvm shapes", which were a special case
    Eddy Westbrook committed Aug 4, 2020
    Configuration menu
    Copy the full SHA
    1388495 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2020

  1. more work implementing array permissions, including some SAW core cha… 

    …nges that are required
    Eddy Westbrook committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    ce48357 View commit details
    Browse the repository at this point in the history

  2. bringing in updSliceBVVec from saw-core

    Eddy Westbrook committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    08aa056 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2020

  1. implemented heapster_assume_fun_multi; fixed a bug in saw-core-coq

    Eddy Westbrook committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    8cfbe3d View commit details
    Browse the repository at this point in the history

  2. bug fix: heapster_define_recursive_perm was creating fold and unfold … 

    …functions with the same names as the recursive permission being defined
    Eddy Westbrook committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    34b40a9 View commit details
    Browse the repository at this point in the history

  3. bumping submodule

    Eddy Westbrook committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    97c0917 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2020

  1. added heapster_find_symbols and mapM

    Eddy Westbrook committed Aug 12, 2020
    Configuration menu
    Copy the full SHA
    2f9dad2 View commit details
    Browse the repository at this point in the history

  2. whoops, accidentally bound heapster_find_symbols to heapster_find_symbol

    Eddy Westbrook committed Aug 12, 2020
    Configuration menu
    Copy the full SHA
    8c0d3fa View commit details
    Browse the repository at this point in the history

  3. updated the heapster SAW translation to append all error messages tog… 

    …ether on implication failure; this required adding a new appendString primitive and its Coq translation
    Eddy Westbrook committed Aug 12, 2020
    Configuration menu
    Copy the full SHA
    7eb5881 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2020

  1. added heapster_assume_fun_rename

    Eddy Westbrook committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    3fbfd06 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    c41ff6a View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2020

  1. upgraded to use Hobbits version 1.3, which is now on hackage

    Eddy Westbrook committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    ad6e658 View commit details
    Browse the repository at this point in the history

  2. use hackage version of hobbits with cabal

    Karl Smeltzer committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    1cda8a3 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2020

  1. Merge branch 'master' into wip-heapster

    Eddy Westbrook committed Aug 18, 2020
    Configuration menu
    Copy the full SHA
    12fcef6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Aug 18, 2020
    Configuration menu
    Copy the full SHA
    f841894 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2020

  1. whoops, fixed heapster_assume_fun to again work with functions that a… 

    …re defined and not just declared; also cleaned up some of the way CFGs are looked up
    Eddy Westbrook committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    55a6fb2 View commit details
    Browse the repository at this point in the history

  2. removed no longer used cryptol-verifier submodule

    Eddy Westbrook committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    697842a View commit details
    Browse the repository at this point in the history

  3. removed directories for submodules that no longer exist

    Eddy Westbrook committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    43f2228 View commit details
    Browse the repository at this point in the history

  4. whoops, forgot to commit the .cabal file in heapster-saw to be compat… 

    …ible with the master merge...
    Eddy Westbrook committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    93ed394 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2020

  1. bumped submodules

    Eddy Westbrook committed Aug 25, 2020
    Configuration menu
    Copy the full SHA
    a05f122 View commit details
    Browse the repository at this point in the history

  2. bump submodule

    Karl Smeltzer committed Aug 25, 2020
    Configuration menu
    Copy the full SHA
    5aa3101 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2020

  1. updating submodules to handle new Heapster arrays

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    46de7d5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    4187b90 View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    75dc0d9 View commit details
    Browse the repository at this point in the history

  4. bumped submodules again

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    c886340 View commit details
    Browse the repository at this point in the history

  5. bumped submodule

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    f11608e View commit details
    Browse the repository at this point in the history

  6. bumped submodule

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    43afc09 View commit details
    Browse the repository at this point in the history

  7. bumped submodules

    Eddy Westbrook committed Aug 26, 2020
    Configuration menu
    Copy the full SHA
    a69049a View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2020

  1. bump heapster submodule

    Karl Smeltzer committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    181cbeb View commit details
    Browse the repository at this point in the history

  2. add heapster_gen_block_perms_hint

    @m-yac
    m-yac committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    088c316 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2020

  1. bumped submodule

    Eddy Westbrook committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    928343e View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2020

  1. pulled in new saw-core prelude with bvSShiftR

    Eddy Westbrook committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    3bdd02b View commit details
    Browse the repository at this point in the history

  2. bump submodule

    Karl Smeltzer committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    9ae50a2 View commit details
    Browse the repository at this point in the history

  3. bump submodule again

    Karl Smeltzer committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    1c815ea View commit details
    Browse the repository at this point in the history

  4. bump saw-core-coq

    Karl Smeltzer committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    a0c6762 View commit details
    Browse the repository at this point in the history

  5. added SAW core emacs mode

    Eddy Westbrook committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    85154df View commit details
    Browse the repository at this point in the history

  6. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    3074323 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2020

  1. bumping heapster-saw for some bug fixes

    Eddy Westbrook committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    82a8493 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2020

  1. bumped heapster-saw submodule

    Eddy Westbrook committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    e8163f1 View commit details
    Browse the repository at this point in the history

  2. removing old code

    Eddy Westbrook committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    834bbd1 View commit details
    Browse the repository at this point in the history

  3. added heapster_join_point_hint as a top-level command, though it does… 

    … not do anything yet...
    Eddy Westbrook committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    d719576 View commit details
    Browse the repository at this point in the history

  4. whoops, added the wrong hint in heapster_join_point_hint

    Eddy Westbrook committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    7ead67b View commit details
    Browse the repository at this point in the history

  5. bumped submodules

    Eddy Westbrook committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    4fcd94c View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2020

  1. bump submodules for bitvector improvements

    @m-yac
    m-yac committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    7aa2055 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2020

  1. bumped submodule to incorporate recent Heapster bug-fixes

    Eddy Westbrook committed Sep 25, 2020
    Configuration menu
    Copy the full SHA
    4853aa7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Sep 25, 2020
    Configuration menu
    Copy the full SHA
    74ad931 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2020

  1. updated HeapsterBuiltins.hs to handle the API change in tcTranslateAd… 

    …dCFGs needed to support non-aligned loads
    Eddy Westbrook committed Sep 26, 2020
    Configuration menu
    Copy the full SHA
    a4f6268 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2020

  1. bumped submodules

    Eddy Westbrook committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    221f147 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2020

  1. bumped submodule

    Eddy Westbrook committed Sep 30, 2020
    Configuration menu
    Copy the full SHA
    d315534 View commit details
    Browse the repository at this point in the history

  2. bump submodules for bitvector improvements and zero_array proof

    @m-yac
    m-yac committed Sep 30, 2020
    Configuration menu
    Copy the full SHA
    59fdafa View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2020

  1. re-bumping saw-core submodule to the wip-heapster HEAD

    Eddy Westbrook committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    1c5124f View commit details
    Browse the repository at this point in the history

  2. bumped heapster-saw submodule with recent bug fixes

    Eddy Westbrook committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    67fb3e1 View commit details
    Browse the repository at this point in the history

  3. bumped submodules for arrays_proofs.v

    @m-yac
    m-yac committed Oct 1, 2020
    Configuration menu
    Copy the full SHA
    6d86fcb View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2020

  1. bumped submodule

    Eddy Westbrook committed Oct 2, 2020
    Configuration menu
    Copy the full SHA
    a704c91 View commit details
    Browse the repository at this point in the history

  2. bumped submodules for letRec proofs

    @m-yac
    m-yac committed Oct 2, 2020
    Configuration menu
    Copy the full SHA
    7e4a0ee View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2020

  1. bumped submodule

    Eddy Westbrook committed Oct 3, 2020
    Configuration menu
    Copy the full SHA
    e4dc443 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2020

  1. bump submodules for add_loop_spec_ref

    @m-yac
    m-yac committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    858d4c9 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    a6785e7 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2020

  1. bump submodules for automation improvements

    @m-yac
    m-yac committed Oct 6, 2020
    Configuration menu
    Copy the full SHA
    c277c11 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Oct 6, 2020
    Configuration menu
    Copy the full SHA
    e28a10f View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Oct 6, 2020
    Configuration menu
    Copy the full SHA
    f43a568 View commit details
    Browse the repository at this point in the history

  4. bumped submodule

    Eddy Westbrook committed Oct 6, 2020
    Configuration menu
    Copy the full SHA
    1893352 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2020

  1. bumped submodule

    Eddy Westbrook committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    c915a7a View commit details
    Browse the repository at this point in the history

  2. bumped submodule with bug fixes

    Eddy Westbrook committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    001fe84 View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    f309ed3 View commit details
    Browse the repository at this point in the history

  4. bumped submodule

    Eddy Westbrook committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    5184bc7 View commit details
    Browse the repository at this point in the history

  5. bumped submodule

    Eddy Westbrook committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    8709394 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2020

  1. bumped submodules for Coq automation improvements

    @m-yac
    m-yac committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    b5ad1e5 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    801b3b6 View commit details
    Browse the repository at this point in the history

  3. bumped submodules for intToBv

    @m-yac
    m-yac committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    850501f View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2020

  1. bumped submodules

    Eddy Westbrook committed Oct 10, 2020
    Configuration menu
    Copy the full SHA
    1983bc5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Oct 10, 2020
    Configuration menu
    Copy the full SHA
    c2c36cd View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2020

  1. bumped submodule

    Eddy Westbrook committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    771869c View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    e867f8d View commit details
    Browse the repository at this point in the history

  3. using intToBv for translating bitvector literals

    Eddy Westbrook committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    32a90a2 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2020

  1. bumped submodules for letRecM proofs + automation

    @m-yac
    m-yac committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    90423c0 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    c3a1c9b View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    d984d63 View commit details
    Browse the repository at this point in the history

  4. Init CI build/test workflow for heapster

    Lisanna Dettwyler committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    2386b73 View commit details
    Browse the repository at this point in the history

  5. bump submodules for bitvector automation changes

    @m-yac
    m-yac committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    4aba6f3 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2020

  1. bumped submodules for function call rewriting

    @m-yac
    m-yac committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    7d9d29e View commit details
    Browse the repository at this point in the history

  2. bump submodules for BVSBorrow and another function call example

    @m-yac
    m-yac committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    9b3d68b View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2020

  1. bumped heapster-saw: better error messages

    Eddy Westbrook committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    64c779b View commit details
    Browse the repository at this point in the history

  2. bumped submodule: bug fix for translating array borrows

    Eddy Westbrook committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    494b2a6 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2020

  1. bumped submodule: bug fixes around offsets of named permissions

    Eddy Westbrook committed Oct 16, 2020
    Configuration menu
    Copy the full SHA
    b6eaa16 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #860 from GaloisInc/wip-heapster-ci-init 

    Init CI build/test workflow for heapster
    Eddy Westbrook committed Oct 16, 2020
    Configuration menu
    Copy the full SHA
    0b4eda0 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2020

  1. bump submodules for CompMExtra changes

    @m-yac
    m-yac committed Oct 19, 2020
    Configuration menu
    Copy the full SHA
    7729581 View commit details
    Browse the repository at this point in the history

  2. Init CI for GHC 8.8.4 & 8.10.2 (#871)

    @lisanna-dettwyler
    lisanna-dettwyler committed Oct 19, 2020
    Configuration menu
    Copy the full SHA
    0196ed8 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2020

  1. Fix CI build step return code

    Lisanna Dettwyler committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    1379b53 View commit details
    Browse the repository at this point in the history

  2. bump submodules for CompMExtra fix

    @m-yac
    m-yac committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    ad1c98a View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2020

  1. bump submodule for bvlshr

    Karl Smeltzer committed Oct 22, 2020
    Configuration menu
    Copy the full SHA
    4a3e95e View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2020

  1. implemented back-end support for reachability permissions, and adjust… 

    …ed heapster_define_recursive_perm to work with these changes
    Eddy Westbrook committed Oct 27, 2020
    Configuration menu
    Copy the full SHA
    ba58c3b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Oct 27, 2020
    Configuration menu
    Copy the full SHA
    fbffc61 View commit details
    Browse the repository at this point in the history

  3. added define_reachability_perm command; trying to get it to work corr… 

    …ectly...
    Eddy Westbrook committed Oct 27, 2020
    Configuration menu
    Copy the full SHA
    7d9e121 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2020

  1. bumped submodule to try to get reachability perms working...

    Eddy Westbrook committed Oct 28, 2020
    Configuration menu
    Copy the full SHA
    ce9d569 View commit details
    Browse the repository at this point in the history

  2. bumped submodule to address failing test

    Eddy Westbrook committed Oct 28, 2020
    Configuration menu
    Copy the full SHA
    d280988 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2020

  1. bumped submodules

    Eddy Westbrook committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    8e5761c View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2020

  1. use https instead of ssh

    Karl Smeltzer committed Nov 23, 2020
    Configuration menu
    Copy the full SHA
    ca697c0 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2020

  1. Add draft Dockerfile, primarily for paper readers

    Karl Smeltzer committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    d20df02 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. bumped submodule

    Eddy Westbrook committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    5e1801c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    0624277 View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    2046cd2 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. upgraded to support GHC 8.8

    Eddy Westbrook committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    f6bc16a View commit details
    Browse the repository at this point in the history

  2. merged a PR in saw-core-coq to bring it closer to alignment with master

    Eddy Westbrook committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    3cd00b2 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. updated cabal freeze file for GHC 8.8 to work

    Eddy Westbrook committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    b592778 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2020

  1. WIP unfinished merge branch 'master' into wip-heapster

    Karl Smeltzer committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    329ee37 View commit details
    Browse the repository at this point in the history

  2. Merge in upstream changes

    Karl Smeltzer committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    5002b52 View commit details
    Browse the repository at this point in the history

  3. remove upstream CI stuff

    Karl Smeltzer committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    a20fdad View commit details
    Browse the repository at this point in the history

  4. bump submodule

    Karl Smeltzer committed Dec 7, 2020
    Configuration menu
    Copy the full SHA
    d558b1e View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. bump submodules for final merge

    Karl Smeltzer committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    b77ee40 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    5c59eb3 View commit details
    Browse the repository at this point in the history

  3. bumped submodules

    @m-yac
    m-yac committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    09ce89a View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2020

  1. bumped submodules

    Eddy Westbrook committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    23ba630 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    ff287f2 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2020

  1. added support for named llvm shapes

    Eddy Westbrook committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    7af1eb2 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2020

  1. finished implementing heapster_define_llvmshape; also bumped submodules

    Eddy Westbrook committed Dec 22, 2020
    Configuration menu
    Copy the full SHA
    d41fcc6 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2020

  1. bumped multiple submodules that depend on each other

    Eddy Westbrook committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    b86e5b3 View commit details
    Browse the repository at this point in the history

  2. bumped heapster-saw submodule to bring in a bunch of new features

    Eddy Westbrook committed Dec 23, 2020
    Configuration menu
    Copy the full SHA
    5719aa8 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2021

  1. bumped submodule

    Eddy Westbrook committed Jan 12, 2021
    Configuration menu
    Copy the full SHA
    6a5590c View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2021

  1. bumped submodule

    Eddy Westbrook committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    8cf8b45 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2021

  1. whoops, heapster_assume_fun_rename was just calling normal heapster_a… 

    …ssume_fun
    Eddy Westbrook committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    045a2a8 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    2fb2ec9 View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Jan 29, 2021
    Configuration menu
    Copy the full SHA
    fed1460 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2021

  1. added support for Rust type syntax in heapster_assume_fun and heapste… 

    …r_typecheck_fun
    Eddy Westbrook committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    bfa8061 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2021

  1. bumped submodule

    Eddy Westbrook committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    50fa61b View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    3d1c0b3 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. updated hobbits version requirement

    Eddy Westbrook committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    64456a3 View commit details
    Browse the repository at this point in the history

  2. updated dependency for language-rust

    Eddy Westbrook committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    c8f5da2 View commit details
    Browse the repository at this point in the history

  3. bumped submodule

    Eddy Westbrook committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    65cb8d5 View commit details
    Browse the repository at this point in the history

  4. final saw-core-coq bump

    @m-yac
    m-yac committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    fdb7593 View commit details
    Browse the repository at this point in the history

  5. merge saw-core-coq into saw-core, bump heapster-saw

    @m-yac
    m-yac committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    17fe6a7 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2021

  1. Merge remote-tracking branch 'origin/master' into wip-heapster-ghc-8.10

    @glguy
    glguy committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    82fdcf4 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2021

  1. bumped submodules

    Eddy Westbrook committed Mar 15, 2021
    Configuration menu
    Copy the full SHA
    58a1a2a View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Mar 15, 2021
    Configuration menu
    Copy the full SHA
    6dca877 View commit details
    Browse the repository at this point in the history

  3. bump submodule

    Karl Smeltzer committed Mar 15, 2021
    Configuration menu
    Copy the full SHA
    3012716 View commit details
    Browse the repository at this point in the history

  4. Update incorporate changes for updating to master

    @glguy
    glguy committed Mar 15, 2021
    Configuration menu
    Copy the full SHA
    ee6fc30 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2021

  1. Create cabal.GHC-8.10.4.config

    @glguy
    glguy committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    ff176c1 View commit details
    Browse the repository at this point in the history

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

    …ghc-8.10
    @glguy
    glguy committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    d942684 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2021

  1. bumb submodule

    @glguy
    glguy committed Mar 17, 2021
    Configuration menu
    Copy the full SHA
    322a042 View commit details
    Browse the repository at this point in the history

  2. heapster-saw submodule

    @glguy
    glguy committed Mar 17, 2021
    Configuration menu
    Copy the full SHA
    d60d1f9 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2021

  1. bumped submodule

    Eddy Westbrook committed Mar 19, 2021
    Configuration menu
    Copy the full SHA
    b688caa View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2021

  1. add working IRT Heapster command

    @m-yac
    m-yac committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    842ec92 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2021

  1. Using the new Heapster parser, yay!

    Eddy Westbrook committed Mar 24, 2021
    Configuration menu
    Copy the full SHA
    a23f95c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    Eddy Westbrook committed Mar 24, 2021
    Configuration menu
    Copy the full SHA
    d058214 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2021

  1. Update heapster-saw

    @glguy
    glguy committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c4eefc2 View commit details
    Browse the repository at this point in the history

  2. bumped submodule

    Eddy Westbrook committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    33aa17f View commit details
    Browse the repository at this point in the history

  3. resolve all warnings in HeapsterBuiltins

    @m-yac
    m-yac committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    3dc6701 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2021

  1. Adapted to the recent Heapster changes for named shapes

    Eddy Westbrook committed Mar 28, 2021
    Configuration menu
    Copy the full SHA
    53db2ff View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2021

  1. add hobbits git package, bump heapster-saw

    @m-yac
    m-yac committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    88b56f5 View commit details
    Browse the repository at this point in the history

  2. moved marked functions and instances to Hobbits

    @m-yac
    m-yac committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    8bf65c1 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2021

  1. Scaffolding and documentaion for new Heapster command to search for t… 

    …raith method symbols
    @ChrisEPhifer
    ChrisEPhifer committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    af4b305 View commit details
    Browse the repository at this point in the history

  2. merge heapster-saw/resolve-warnings, bump hobbits

    @m-yac
    m-yac committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    2df1127 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    @ChrisEPhifer
    ChrisEPhifer committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    86f2883 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2021

  1. switch freeze file to use newest version of Hobbits

    Eddy Westbrook committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    01902e9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'wip-heapster' of github.com:GaloisInc/saw-script into w… 

    …ip-heapster
    @ChrisEPhifer
    ChrisEPhifer committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    471f3e7 View commit details
    Browse the repository at this point in the history

  3. Implemented the trait-method finding command

    @ChrisEPhifer
    ChrisEPhifer committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    acd961b View commit details
    Browse the repository at this point in the history

  4. Document / clean up formatting of trait method search command

    @ChrisEPhifer
    ChrisEPhifer committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    62a753f View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. Eliminate unsafe use of partial functions in trait method finder

    @ChrisEPhifer
    ChrisEPhifer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    6e5961b View commit details
    Browse the repository at this point in the history

  2. Oops, that fix was _too_ restrictive

    @ChrisEPhifer
    ChrisEPhifer committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    53e09b0 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2021

  1. bumped submodules

    Eddy Westbrook committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    aabaa68 View commit details
    Browse the repository at this point in the history

  2. bump submodules: remove bitvector type synonym from Prelude

    @m-yac
    m-yac committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    c620dd2 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2021

  1. move prod destructing to after prove_refinement_eauto

    @m-yac
    m-yac committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    52f4990 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2021

  1. update Prelude for saw-core merge to master

    @m-yac
    m-yac committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    4c37b1b View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2021

  1. Updated heapster_define_reachability_perm to work with the new approa… 

    …ch to reachability permissions
    Eddy Westbrook committed Apr 19, 2021
    Configuration menu
    Copy the full SHA
    0d97c04 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2021

  1. Skeleton of and documentation for Rust type command

    @ChrisEPhifer
    ChrisEPhifer committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    edf735c View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2021

  1. Fist crack at implementing SAW command

    @ChrisEPhifer
    ChrisEPhifer committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    386135d View commit details
    Browse the repository at this point in the history

  2. add heapster_define_irt_recursive_shape

    @m-yac
    m-yac committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    38c48de View commit details
    Browse the repository at this point in the history

  3. bump submodule to get examples to make

    @m-yac
    m-yac committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    51f852d View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2021

  1. Merge branch 'wip-heapster' into feature/rust-type-decls

    @ChrisEPhifer
    ChrisEPhifer committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    99619be View commit details
    Browse the repository at this point in the history

  2. Correct type issues in rust type definition command

    @ChrisEPhifer
    ChrisEPhifer committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    5f611a7 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2021

  1. Merge pull request #1204 from GaloisInc/feature/rust-type-decls 

    Support building Heapster shapes from Rust type declarations
    @ChrisEPhifer
    ChrisEPhifer committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    a5fcc84 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. Use heapster updated for new hobbits

    @glguy
    glguy committed May 10, 2021
    Configuration menu
    Copy the full SHA
    63e5784 View commit details
    Browse the repository at this point in the history

  2. Update heapster-saw

    @glguy
    glguy committed May 10, 2021
    Configuration menu
    Copy the full SHA
    66116aa View commit details
    Browse the repository at this point in the history

  3. Merge pull request #1288 from GaloisInc/glguy/new-hobbits 

    Build using heapster-saw updated for new hobbits
    @m-yac
    m-yac committed May 10, 2021
    Configuration menu
    Copy the full SHA
    0fc9709 View commit details
    Browse the repository at this point in the history

  4. refactor heapster_define_irt_recursive_shape

    @m-yac
    m-yac committed May 10, 2021
    Configuration menu
    Copy the full SHA
    f8a8e87 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2021

  1. bump heapster-saw

    @glguy
    glguy committed May 14, 2021
    Configuration menu
    Copy the full SHA
    3b0d1e6 View commit details
    Browse the repository at this point in the history

  2. bump heapster-saw

    @glguy
    glguy committed May 14, 2021
    Configuration menu
    Copy the full SHA
    a519649 View commit details
    Browse the repository at this point in the history

  3. bump heapster-saw

    @glguy
    glguy committed May 14, 2021
    Configuration menu
    Copy the full SHA
    996027a View commit details
    Browse the repository at this point in the history

  4. bump heapster-saw

    @glguy
    glguy committed May 14, 2021
    Configuration menu
    Copy the full SHA
    89aa712 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2021

  1. bump heapster-saw

    @glguy
    glguy committed May 18, 2021
    Configuration menu
    Copy the full SHA
    c431a76 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2021

  1. Use ocaml/setup-ocaml@v2 

    Signed-off-by: Sora Morimoto <sora@morimoto.io>
    @smorimoto
    smorimoto committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    c7340aa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into em/update-sawscript

    @glguy
    glguy committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    f2378f8 View commit details
    Browse the repository at this point in the history

  3. Update heapster-saw for new crucible

    @glguy
    glguy committed Jun 8, 2021
    Configuration menu
    Copy the full SHA
    3ce61c5 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2021

  1. bump heapster-saw submodule

    @glguy
    glguy committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    439741a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:GaloisInc/saw-script into em/upda… 

    …te-sawscript
    @glguy
    glguy committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    5869872 View commit details
    Browse the repository at this point in the history

  3. Build heapster-saw against saw-script changes

    @glguy
    glguy committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    4af1a35 View commit details
    Browse the repository at this point in the history

  4. Incorporate heapster-saw into saw-script

    @glguy
    glguy committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    d1f2b7b View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. Update ci-heapster.sh

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    6482091 View commit details
    Browse the repository at this point in the history

  2. remove outdated ghc 8.10.2 config

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    00e89c5 View commit details
    Browse the repository at this point in the history

  3. Update license year

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    6f55104 View commit details
    Browse the repository at this point in the history

  4. adjust version bounds

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    895f6bd View commit details
    Browse the repository at this point in the history

  5. Compat fixes for heapster on ghc 8.6.5

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    8893dc7 View commit details
    Browse the repository at this point in the history

  6. Update TypedCrucible.hs

    @glguy
    glguy committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    5218e5b View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2021

  1. Remove heapster-saw submodule

    @glguy
    glguy committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    bcf09ce View commit details
    Browse the repository at this point in the history

  2. ci fixups

    Lisanna Dettwyler committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    9698967 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'smorimoto/setup-ocaml' into em/update-s… 

    …awscript
    Lisanna Dettwyler committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    882ca2e View commit details
    Browse the repository at this point in the history

  4. Integrate ocaml tests for heapster and coq

    Lisanna Dettwyler committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    01b94d6 View commit details
    Browse the repository at this point in the history

  5. remove unused ci files

    Lisanna Dettwyler committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    bdaa93a View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2021

  1. Drop 8.6.5

    Lisanna Dettwyler committed Jun 17, 2021
    Configuration menu
    Copy the full SHA
    2304766 View commit details
    Browse the repository at this point in the history

  2. fix coq-bits install

    Lisanna Dettwyler committed Jun 17, 2021
    Configuration menu
    Copy the full SHA
    8578692 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2021

  1. Update build configs

    Lisanna Dettwyler committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    1b52df9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'em/update-sawscript' of https://github.com/GaloisInc/sa… 

    …w-script into em/update-sawscript
    Lisanna Dettwyler committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    2aa665e View commit details
    Browse the repository at this point in the history

  3. fix refs to saw-core-coq

    Lisanna Dettwyler committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    56ff104 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2021

  1. Fix heapster examples

    Lisanna Dettwyler committed Jun 19, 2021
    Configuration menu
    Copy the full SHA
    ad6e401 View commit details
    Browse the repository at this point in the history

  2. Add windows 8.8.4

    Lisanna Dettwyler committed Jun 19, 2021
    Configuration menu
    Copy the full SHA
    0ab54fb View commit details
    Browse the repository at this point in the history

  3. Relax contstraints on cryptol-saw-core

    Lisanna Dettwyler committed Jun 19, 2021
    Configuration menu
    Copy the full SHA
    fcd1181 View commit details
    Browse the repository at this point in the history

  4. ditto

    Lisanna Dettwyler committed Jun 19, 2021
    Configuration menu
    Copy the full SHA
    fe96150 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2021

  1. updated path to saw-core-coq Coq modules

    Eddy Westbrook committed Jun 22, 2021
    Configuration menu
    Copy the full SHA
    9504077 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'em/update-sawscript' of github.com:GaloisInc/saw-script… 

    … into em/update-sawscript
    Eddy Westbrook committed Jun 22, 2021
    Configuration menu
    Copy the full SHA
    f235e07 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2021

  1. Serialize ocaml-tests for heapster

    Lisanna Dettwyler committed Jun 23, 2021
    Configuration menu
    Copy the full SHA
    de2f806 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into em/update-sawscript

    Eddy Westbrook committed Jun 23, 2021
    Configuration menu
    Copy the full SHA
    1dcd568 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2021

  1. Merge remote-tracking branch 'origin/master' into em/update-sawscript

    @robdockins
    robdockins committed Jun 24, 2021
    Configuration menu
    Copy the full SHA
    27d369b View commit details
    Browse the repository at this point in the history

  2. Squash redundant import warning

    @robdockins
    robdockins committed Jun 24, 2021
    Configuration menu
    Copy the full SHA
    54bbe72 View commit details
    Browse the repository at this point in the history