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

PLT-3505 small fixes to the isabelle specification #168

Merged
merged 24 commits into from
Apr 14, 2023
Merged

PLT-3505 small fixes to the isabelle specification #168

merged 24 commits into from
Apr 14, 2023

Commits on Apr 7, 2023

  1. Add clarification to choices

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    09b57fd View commit details
    Browse the repository at this point in the history

  2. Fix note around division

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    8f66d39 View commit details
    Browse the repository at this point in the history

  3. Show maximum time lemma without inference rule

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    009c42b View commit details
    Browse the repository at this point in the history

  4. Remove duplicate reference of IntervalResult

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    b194dc6 View commit details
    Browse the repository at this point in the history

  5. Removed undefined reference

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    06a95af View commit details
    Browse the repository at this point in the history

  6. Clarify the utilities functions

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    2a51a80 View commit details
    Browse the repository at this point in the history

  7. Improved definition for NegValue

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    0c1a642 View commit details
    Browse the repository at this point in the history

  8. Fix typos

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    e846d3b View commit details
    Browse the repository at this point in the history

  9. Fix party in ApplyNonPositiveDeposit warning

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    09b8020 View commit details
    Browse the repository at this point in the history

  10. Avoid shadowing in Applied case

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    f42ae9d View commit details
    Browse the repository at this point in the history

  11. Add comments to calculateNonAmbiguousInterval

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    7385509 View commit details
    Browse the repository at this point in the history

  12. Promote some lemmas to theorems

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    e64cfcb View commit details
    Browse the repository at this point in the history

  13. Fix typo

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    bc4803d View commit details
    Browse the repository at this point in the history

  14. Removed duplicate isValidInterval

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    8596198 View commit details
    Browse the repository at this point in the history

  15. Simplified computeTransaction_preserves_valid_state

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    2ccfcaa View commit details
    Browse the repository at this point in the history

  16. Applied suggestions to TimeRange

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    08aab8f View commit details
    Browse the repository at this point in the history

  17. Simplified linorder instances

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    8c33cb1 View commit details
    Browse the repository at this point in the history

  18. Remove unused assumptions in PositiveAccounts

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    b7069ff View commit details
    Browse the repository at this point in the history

  19. Removed unused assumptions

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    9f0938c View commit details
    Browse the repository at this point in the history

  20. Removed duplicate lemmas

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    27ccf99 View commit details
    Browse the repository at this point in the history

  21. Removed unused lemmas

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    9c25847 View commit details
    Browse the repository at this point in the history

  22. Add changelog

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    9b71e21 View commit details
    Browse the repository at this point in the history

  23. Update changelog

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    97fac7d View commit details
    Browse the repository at this point in the history

  24. Update changelog

    @hrajchert
    hrajchert committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    0b0a1af View commit details
    Browse the repository at this point in the history