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

Contracts: History Expressions via "old" monad #3232

Merged
merged 73 commits into from
Jun 18, 2024
Merged

Contracts: History Expressions via "old" monad #3232

merged 73 commits into from
Jun 18, 2024

Commits on May 28, 2024

  1. rename_result

    @pi314mm
    pi314mm committed May 28, 2024
    Configuration menu
    Copy the full SHA
    03b4cf3 View commit details
    Browse the repository at this point in the history

  2. globalize result name

    @pi314mm
    pi314mm committed May 28, 2024
    Configuration menu
    Copy the full SHA
    6403650 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. closure syntax

    @pi314mm
    pi314mm committed May 30, 2024
    Configuration menu
    Copy the full SHA
    679c39e View commit details
    Browse the repository at this point in the history

  2. attempting to fix tests

    Matias Scharager committed May 30, 2024
    Configuration menu
    Copy the full SHA
    713f412 View commit details
    Browse the repository at this point in the history

  3. more tests pass

    Matias Scharager committed May 30, 2024
    Configuration menu
    Copy the full SHA
    aa42787 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. change rewriter

    Matias Scharager committed May 31, 2024
    Configuration menu
    Copy the full SHA
    d00b229 View commit details
    Browse the repository at this point in the history

  2. more tests pass

    Matias Scharager committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e063b85 View commit details
    Browse the repository at this point in the history

  3. change to pass by reference

    Matias Scharager committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8e2e610 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into result_rename

    @pi314mm
    pi314mm authored May 31, 2024
    Configuration menu
    Copy the full SHA
    f26ff82 View commit details
    Browse the repository at this point in the history

  5. fix more tests

    Matias Scharager committed May 31, 2024
    Configuration menu
    Copy the full SHA
    895cd35 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. comments

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    ddb6f9c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into result_rename

    @pi314mm
    pi314mm authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    c70576b View commit details
    Browse the repository at this point in the history

  3. format

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    4518865 View commit details
    Browse the repository at this point in the history

  4. curried remember

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    ea8d809 View commit details
    Browse the repository at this point in the history

  5. build_ensures function

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    b6d2981 View commit details
    Browse the repository at this point in the history

  6. count_remembers

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    9b06ee3 View commit details
    Browse the repository at this point in the history

  7. counting works

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    0d08b9b View commit details
    Browse the repository at this point in the history

  8. format

    Matias Scharager committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    8ae7251 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. merge resolution

    Matias Scharager committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    f4b40ff View commit details
    Browse the repository at this point in the history

  2. change currying

    Matias Scharager committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    c2654ec View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. old

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ee07387 View commit details
    Browse the repository at this point in the history

  2. format

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    491d2fa View commit details
    Browse the repository at this point in the history

  3. changed dereference to prevent bug

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    82f19ee View commit details
    Browse the repository at this point in the history

  4. format

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    b9d98b1 View commit details
    Browse the repository at this point in the history

  5. more tests

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4be3bea View commit details
    Browse the repository at this point in the history

  6. more tests

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    e614ad3 View commit details
    Browse the repository at this point in the history

  7. interesting test

    Matias Scharager committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ed9bb8b View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. more code documentation

    Matias Scharager committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    9894f88 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. more documentation

    Matias Scharager committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    e172179 View commit details
    Browse the repository at this point in the history

  2. fix formating

    Matias Scharager committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    dd1d8a6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    f9414d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Update library/kani/src/contracts.rs 

    Co-authored-by: Justus Adam <dev@justus.science>
    @pi314mm @JustusAdam
    pi314mm and JustusAdam authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    4a857f9 View commit details
    Browse the repository at this point in the history

  2. Update library/kani/src/contracts.rs 

    Co-authored-by: Justus Adam <dev@justus.science>
    @pi314mm @JustusAdam
    pi314mm and JustusAdam authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    0b2edec View commit details
    Browse the repository at this point in the history

  3. more details in tests

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    2b93e77 View commit details
    Browse the repository at this point in the history

  4. format

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    bb6aed8 View commit details
    Browse the repository at this point in the history

  5. rename

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    2251318 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    ab330bb View commit details
    Browse the repository at this point in the history

  7. changed from vec to hashmap

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    ad7e2c7 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    e74ac89 View commit details
    Browse the repository at this point in the history

  9. rearranged place where renaming happens

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    dd3d135 View commit details
    Browse the repository at this point in the history

  10. fixed test

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    bde7e4a View commit details
    Browse the repository at this point in the history

  11. change doc

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    6c42043 View commit details
    Browse the repository at this point in the history

  12. format

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    3ed6da6 View commit details
    Browse the repository at this point in the history

  13. delete test

    Matias Scharager committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    741315d View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    5fc8bdd View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    8668560 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. newlines

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    10ee621 View commit details
    Browse the repository at this point in the history

  2. change closure

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4742560 View commit details
    Browse the repository at this point in the history

  3. Update library/kani_macros/src/sysroot/contracts/mod.rs 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    a44a835 View commit details
    Browse the repository at this point in the history

  4. Update library/kani_macros/src/sysroot/contracts/shared.rs 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    2db0f90 View commit details
    Browse the repository at this point in the history

  5. Update library/kani_macros/src/sysroot/contracts/shared.rs 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    ed9fa7a View commit details
    Browse the repository at this point in the history

  6. Update library/kani_macros/src/sysroot/contracts/shared.rs 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    e915170 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    014b6fd View commit details
    Browse the repository at this point in the history

  8. comments

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9a54f4f View commit details
    Browse the repository at this point in the history

  9. stub test

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9c70a07 View commit details
    Browse the repository at this point in the history

  10. rfc update

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7453f9e View commit details
    Browse the repository at this point in the history

  11. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    5070247 View commit details
    Browse the repository at this point in the history

  12. Update tests/expected/function-contract/history/clone_pass.rs 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    80d51e3 View commit details
    Browse the repository at this point in the history

  13. Apply suggestions from code review 

    Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
    @pi314mm @feliperodri
    pi314mm and feliperodri authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    008e514 View commit details
    Browse the repository at this point in the history

  14. Update side_effect.rs

    @pi314mm
    pi314mm authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9b4e4c7 View commit details
    Browse the repository at this point in the history

  15. stub_verified

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    801f0df View commit details
    Browse the repository at this point in the history

  16. added links

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    d54ce2e View commit details
    Browse the repository at this point in the history

  17. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    09c6360 View commit details
    Browse the repository at this point in the history

  18. fix stub

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    219287e View commit details
    Browse the repository at this point in the history

  19. Merge branch 'old' of github.com:pi314mm/kani into old

    Matias Scharager committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    ef191cc View commit details
    Browse the repository at this point in the history

  20. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    a8a5510 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    1d3d353 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into old

    @pi314mm
    pi314mm authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    c89feda View commit details
    Browse the repository at this point in the history

  3. more tests

    Matias Scharager committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    95d12c8 View commit details
    Browse the repository at this point in the history

  4. hash

    Matias Scharager committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    c088144 View commit details
    Browse the repository at this point in the history

  5. ignore test

    Matias Scharager committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    a0ab61b View commit details
    Browse the repository at this point in the history

  6. format

    Matias Scharager committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    1a78ea8 View commit details
    Browse the repository at this point in the history

  7. small edits to tests

    Matias Scharager committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    ed33b8b View commit details
    Browse the repository at this point in the history