Skip to content
Permalink
Branch: master
Commits on Dec 5, 2019
  1. make F# happy

    aseemr committed Dec 5, 2019
  2. Merge branch 'master' into aseem_no_hsl

    aseemr committed Dec 5, 2019
  3. snap

    aseemr committed Dec 5, 2019
  4. it's not so simple, nothing is, need to be smarter about Tm_match and…

    aseemr committed Dec 5, 2019
    … coercions, see the comment in the code
  5. Merge branch 'master' into aseem_no_hsl

    aseemr committed Dec 5, 2019
  6. snap

    aseemr committed Dec 5, 2019
Commits on Dec 4, 2019
  1. Merge branch 'master' into aseem_no_hsl

    aseemr committed Dec 4, 2019
  2. tweaking the sub_ptr_value_is lemma to use the witnessed_functorial l…

    aseemr committed Dec 4, 2019
    …emma from monotonic buffers
  3. implementing the region_lifetime_sub lemma and alloc_and_blit functio…

    aseemr committed Dec 4, 2019
    …ns for allocating in a dynamic region
  4. snap

    aseemr committed Dec 4, 2019
Commits on Dec 3, 2019
  1. Merge branch 'master' into aseem_misc2

    aseemr committed Dec 3, 2019
  2. snap

    aseemr committed Dec 3, 2019
Commits on Nov 29, 2019
  1. Merge branch 'master' into aseem_misc2

    aseemr committed Nov 29, 2019
  2. array encoding using layered hoare ST effect goes through after stren…

    aseemr committed Nov 29, 2019
    …gthening some specs (thanks Nik for catching it)
  3. Merge branch 'aseem_dynamic_regions_cleanup' of github.com:FStarLang/…

    aseemr committed Nov 29, 2019
    …FStar into aseem_dynamic_regions_cleanup
Commits on Nov 28, 2019
  1. Merge branch 'master' into aseem_dynamic_regions_cleanup

    aseemr committed Nov 28, 2019
  2. Merge branch 'master' into aseem_dynamic_regions_cleanup

    aseemr committed Nov 28, 2019
  3. Revert "weakening precondition of ralloc and ralloc_mm to work with f…

    aseemr committed Nov 28, 2019
    …reeable heap regions"
    
    This reverts commit 5fac31a.
  4. Revert "some fixes"

    aseemr committed Nov 28, 2019
    This reverts commit 4911a0a.
  5. some fixes

    aseemr committed Nov 28, 2019
  6. weakening precondition of ralloc and ralloc_mm to work with freeable …

    aseemr committed Nov 28, 2019
    …heap regions
Commits on Nov 27, 2019
  1. trying to use more of HoareST spec style

    aseemr committed Nov 27, 2019
  2. tweak to an layered effect example

    aseemr committed Nov 27, 2019
  3. Merge branch 'master' into aseem_dynamic_regions

    aseemr committed Nov 27, 2019
Commits on Nov 26, 2019
  1. Merge branch 'master' into aseem_dynamic_regions

    aseemr committed Nov 26, 2019
Older
You can’t perform that action at this time.