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

A separation logic prover for pulse #38

Merged
merged 138 commits into from
Jul 27, 2023
Merged

A separation logic prover for pulse #38

merged 138 commits into from
Jul 27, 2023

Commits on Jul 13, 2023

  1. hacky integration of the prover in the typechecker

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    b7c0b68 View commit details
    Browse the repository at this point in the history

  2. snap and cp

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    437bbec View commit details
    Browse the repository at this point in the history

  3. adding check_bindv2 to the interface

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    a244c9c View commit details
    Browse the repository at this point in the history

  4. checker calling v2

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    880a2b6 View commit details
    Browse the repository at this point in the history

  5. debug messages + matched exact same vprops

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    20c5ce4 View commit details
    Browse the repository at this point in the history

  6. wip, implementing st_typing weakening

    @aseemr
    aseemr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    bb18da1 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. st typing weakening

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    9b255af View commit details
    Browse the repository at this point in the history

  2. st typing subst

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    cd30ab8 View commit details
    Browse the repository at this point in the history

  3. snap

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    d36b9b1 View commit details
    Browse the repository at this point in the history

  4. implementing some more admits

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    ddaa33a View commit details
    Browse the repository at this point in the history

  5. snap

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    740fcfe View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    8ec0051 View commit details
    Browse the repository at this point in the history

  7. debugging an intro exists with the prover

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    b27ac6c View commit details
    Browse the repository at this point in the history

  8. fixing a bug, push the new uvar in intro exists to pst.uvs

    @aseemr
    aseemr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    ebc4e53 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. fixing some bugs

    @aseemr
    aseemr committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    c064728 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. wip, new checker interface

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    936fc7c View commit details
    Browse the repository at this point in the history

  2. stapp in the new checker interface

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    e6443b4 View commit details
    Browse the repository at this point in the history

  3. bind implementation with the new checker interface

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    3b47e29 View commit details
    Browse the repository at this point in the history

  4. trying to get to a compiling stage

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    d532bbe View commit details
    Browse the repository at this point in the history

  5. tweaks to bind

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    23221f5 View commit details
    Browse the repository at this point in the history

  6. a return_in_ctxt combinator

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    6d134d0 View commit details
    Browse the repository at this point in the history

  7. checking for abs

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    7389aa7 View commit details
    Browse the repository at this point in the history

  8. fixing compilation errors

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    259189a View commit details
    Browse the repository at this point in the history

  9. snap

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    3ec2cd3 View commit details
    Browse the repository at this point in the history

  10. an end-to-end example with bind and stapp

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    3adb54f View commit details
    Browse the repository at this point in the history

  11. fixing a bug in bind checker

    @aseemr
    aseemr committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    04a626a View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. implicit inference in the prover framework

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    76d9b0e View commit details
    Browse the repository at this point in the history

  2. bind fix, port return to the new checker

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    c919e52 View commit details
    Browse the repository at this point in the history

  3. snap

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b94609c View commit details
    Browse the repository at this point in the history

  4. tweaks to return

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    bb296e2 View commit details
    Browse the repository at this point in the history

  5. snap

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    f892d5e View commit details
    Browse the repository at this point in the history

  6. wip, an intro pure step

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    491c40c View commit details
    Browse the repository at this point in the history

  7. intro pure and adding it to the prover

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    90e5728 View commit details
    Browse the repository at this point in the history

  8. snap

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    7b8c24e View commit details
    Browse the repository at this point in the history

  9. new ml file

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b4f366f View commit details
    Browse the repository at this point in the history

  10. nit

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    88d3b52 View commit details
    Browse the repository at this point in the history

  11. cp

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    7780ca2 View commit details
    Browse the repository at this point in the history

  12. nit

    @aseemr
    aseemr committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    6e65f01 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. if checker in the new interface

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6f571b9 View commit details
    Browse the repository at this point in the history

  2. example with if works

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    b27f551 View commit details
    Browse the repository at this point in the history

  3. a combinator for applying checker result continuation

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6aeb3b1 View commit details
    Browse the repository at this point in the history

  4. snap

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    d609519 View commit details
    Browse the repository at this point in the history

  5. combinator for st typing to checker result

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    52bd4cb View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    00c9ce1 View commit details
    Browse the repository at this point in the history

  7. while checker in the new interface

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    113d715 View commit details
    Browse the repository at this point in the history

  8. snap

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    eb43e70 View commit details
    Browse the repository at this point in the history

  9. while example works and is simpler than before

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    f0b05bb View commit details
    Browse the repository at this point in the history

  10. cp

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    846dd04 View commit details
    Browse the repository at this point in the history

  11. exists checker (no witness inference yet)

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6c06975 View commit details
    Browse the repository at this point in the history

  12. snap

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    63c0edd View commit details
    Browse the repository at this point in the history

  13. cp

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6ce19cd View commit details
    Browse the repository at this point in the history

  14. prover based implementation of assert with binders, ExistsWitness goe… 

    …s through
    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    b60b098 View commit details
    Browse the repository at this point in the history

  15. snap

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    de9c768 View commit details
    Browse the repository at this point in the history

  16. wip, exists witness inference

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    f71bf14 View commit details
    Browse the repository at this point in the history

  17. nits

    @aseemr
    aseemr committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    7af77ce View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. witness inference for intro exists

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    98c6757 View commit details
    Browse the repository at this point in the history

  2. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    90840c6 View commit details
    Browse the repository at this point in the history

  3. Working through CustomSynax, cp

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    5f23d91 View commit details
    Browse the repository at this point in the history

  4. tot bind

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    77483cb View commit details
    Browse the repository at this point in the history

  5. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    0535560 View commit details
    Browse the repository at this point in the history

  6. enable tot bind in checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    c7e3d19 View commit details
    Browse the repository at this point in the history

  7. withlocal checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    937e9af View commit details
    Browse the repository at this point in the history

  8. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    73a8762 View commit details
    Browse the repository at this point in the history

  9. Enable withlocal checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    eef6d1d View commit details
    Browse the repository at this point in the history

  10. intro pure checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    7e1b1c5 View commit details
    Browse the repository at this point in the history

  11. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    f417116 View commit details
    Browse the repository at this point in the history

  12. enable intro pure checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    1a3ecbf View commit details
    Browse the repository at this point in the history

  13. admit checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    e41902e View commit details
    Browse the repository at this point in the history

  14. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    e6d0743 View commit details
    Browse the repository at this point in the history

  15. rewrite checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    23d03cc View commit details
    Browse the repository at this point in the history

  16. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    9f4fc5b View commit details
    Browse the repository at this point in the history

  17. par checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    f781607 View commit details
    Browse the repository at this point in the history

  18. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    69d97ee View commit details
    Browse the repository at this point in the history

  19. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    9e21576 View commit details
    Browse the repository at this point in the history

  20. enable par checker

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    0310f5b View commit details
    Browse the repository at this point in the history

  21. solving pure (?u = e)

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    342bb66 View commit details
    Browse the repository at this point in the history

  22. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    100fbb9 View commit details
    Browse the repository at this point in the history

  23. snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    b756d7d View commit details
    Browse the repository at this point in the history

  24. notes in CustomSyntax

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    f532ce6 View commit details
    Browse the repository at this point in the history

  25. nit

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    49538cd View commit details
    Browse the repository at this point in the history

  26. refining the pure uvar equalities handling

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    d21d656 View commit details
    Browse the repository at this point in the history

  27. Snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    a314ee1 View commit details
    Browse the repository at this point in the history

  28. fixing another example

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    4026db0 View commit details
    Browse the repository at this point in the history

  29. Snap

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    5221e2d View commit details
    Browse the repository at this point in the history

  30. ExistsWitness

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    a2186f8 View commit details
    Browse the repository at this point in the history

  31. Cp

    @aseemr
    aseemr committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    45140f5 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2023

  1. use intro exists erased (we should fix it properly)

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    d709ccc View commit details
    Browse the repository at this point in the history

  2. one example in customsyntax remains, need ghost support for it

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    a74103d View commit details
    Browse the repository at this point in the history

  3. merge with main

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    84451bd View commit details
    Browse the repository at this point in the history

  4. temporary state, comment match

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    e719ce8 View commit details
    Browse the repository at this point in the history

  5. cp, parity

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    396b901 View commit details
    Browse the repository at this point in the history

  6. enable match checking

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    a247409 View commit details
    Browse the repository at this point in the history

  7. snap

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    6577048 View commit details
    Browse the repository at this point in the history

  8. bootstrap with smt

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    fdc7cd1 View commit details
    Browse the repository at this point in the history

  9. removing Tm_Protect from syntax

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    1cf2fa9 View commit details
    Browse the repository at this point in the history

  10. removing should_check flag

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    2b9433d View commit details
    Browse the repository at this point in the history

  11. Revert "removing should_check flag" 

    This reverts commit 2b9433d.
    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    4207ba2 View commit details
    Browse the repository at this point in the history

  12. removing should_check

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    2fd6176 View commit details
    Browse the repository at this point in the history

  13. snap

    @aseemr
    aseemr committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    d4b5700 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. suppoprt for fold/unfold without binders

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    c3b923c View commit details
    Browse the repository at this point in the history

  2. snap

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    ccad432 View commit details
    Browse the repository at this point in the history

  3. support for ghost functions, dice goes through

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    6dcf885 View commit details
    Browse the repository at this point in the history

  4. snap

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    fa3c59d View commit details
    Browse the repository at this point in the history

  5. better implementation for fold/unfold with binders

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    09b0299 View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    7de4f0e View commit details
    Browse the repository at this point in the history

  7. some cleanup

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    f4fc0ed View commit details
    Browse the repository at this point in the history

  8. optimization to check goals eq_tm

    @aseemr
    aseemr committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    c54f882 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. nit

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    59bf014 View commit details
    Browse the repository at this point in the history

  2. renaming Pulse.Prover

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    c30a965 View commit details
    Browse the repository at this point in the history

  3. tweaks

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    ed5f9b1 View commit details
    Browse the repository at this point in the history

  4. some API changes

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    9e28d57 View commit details
    Browse the repository at this point in the history

  5. Snap

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    59436b9 View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    0af563e View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. switching off the eq_tm optimization

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    711a684 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into _aseem_prover_integration

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    714707f View commit details
    Browse the repository at this point in the history

  3. wip, pass over checker errors

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    b691cd6 View commit details
    Browse the repository at this point in the history

  4. wip, error messages in the checker

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    d4cd00e View commit details
    Browse the repository at this point in the history

  5. cp

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    9d0bde1 View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    264d10d View commit details
    Browse the repository at this point in the history

  7. refining st typing in ctxt, removes some runtime checks

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    9921cf1 View commit details
    Browse the repository at this point in the history

  8. snap

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    8b42079 View commit details
    Browse the repository at this point in the history

  9. strengthening the type checker_result

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    0d78d1a View commit details
    Browse the repository at this point in the history

  10. snap

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    5f17285 View commit details
    Browse the repository at this point in the history

  11. splitting metatheory into base and metatheory

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    4e827aa View commit details
    Browse the repository at this point in the history

  12. snap

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    ade170b View commit details
    Browse the repository at this point in the history

  13. fixing a range in stapp checker

    @aseemr
    aseemr committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    00ab198 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge branch 'main' into _aseem_prover_integration

    @aseemr
    aseemr authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    bac6313 View commit details
    Browse the repository at this point in the history

  2. propagating ppnames in the checker

    @aseemr
    aseemr committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    b55484d View commit details
    Browse the repository at this point in the history

  3. snap

    @aseemr
    aseemr committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    41a2f68 View commit details
    Browse the repository at this point in the history

  4. Merge branch '_aseem_prover_integration' of github.com:FStarLang/stee… 

    …l into _aseem_prover_integration
    @aseemr
    aseemr committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    e3d276b View commit details
    Browse the repository at this point in the history

  5. more names

    @aseemr
    aseemr committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    c852909 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. implement tot_typing_weakening_single

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    11b2e7d View commit details
    Browse the repository at this point in the history

  2. a standard form of tot_typing_weakening

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    f9f763c View commit details
    Browse the repository at this point in the history

  3. removing some weakening admits

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    206f927 View commit details
    Browse the repository at this point in the history

  4. snap

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8263be5 View commit details
    Browse the repository at this point in the history

  5. some error messages

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5cd6bff View commit details
    Browse the repository at this point in the history

  6. snap

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9fe4f26 View commit details
    Browse the repository at this point in the history

  7. ifuel

    @aseemr
    aseemr committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    aa07516 View commit details
    Browse the repository at this point in the history