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

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny #23

Merged
merged 64 commits into from
Jan 12, 2024
Merged

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny #23

merged 64 commits into from
Jan 12, 2024

Commits on Dec 14, 2023

  1. draft

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    e101b1a View commit details
    Browse the repository at this point in the history

  2. source code

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    12eaa17 View commit details
    Browse the repository at this point in the history

  3. w.r.t.

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    8bbaf7c View commit details
    Browse the repository at this point in the history

  4. space

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    a47b2ed View commit details
    Browse the repository at this point in the history

  5. fixes

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    8ad14e3 View commit details
    Browse the repository at this point in the history

  6. format, naming

    @stefan-aws
    stefan-aws committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    be9faf2 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. name, silva, i/we, [s]

    @stefan-aws
    stefan-aws committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    76204c5 View commit details
    Browse the repository at this point in the history

  2. an algebra

    @stefan-aws
    stefan-aws committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    0af556d View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Aaron Tomb <[email protected]>
    @stefan-aws @atomb
    stefan-aws and atomb authored Jan 2, 2024
    Configuration menu
    Copy the full SHA
    de3b1ba View commit details
    Browse the repository at this point in the history

  2. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Aaron Tomb <[email protected]>
    @stefan-aws @atomb
    stefan-aws and atomb authored Jan 2, 2024
    Configuration menu
    Copy the full SHA
    b8a54ef View commit details
    Browse the repository at this point in the history

  3. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Aaron Tomb <[email protected]>
    @stefan-aws @atomb
    stefan-aws and atomb authored Jan 2, 2024
    Configuration menu
    Copy the full SHA
    0e22795 View commit details
    Browse the repository at this point in the history

  4. at -> as

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    7ec296a View commit details
    Browse the repository at this point in the history

  5. Zero -> Zero()

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    05bfc5a View commit details
    Browse the repository at this point in the history

  6. authors

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    213cde0 View commit details
    Browse the repository at this point in the history

  7. expression def avoid scrollbar

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    3a46cc7 View commit details
    Browse the repository at this point in the history

  8. space constraints

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    4f12b60 View commit details
    Browse the repository at this point in the history

  9. Alexandra comments

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    377db84 View commit details
    Browse the repository at this point in the history

  10. explain ghost and abstemious

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    db2ab13 View commit details
    Browse the repository at this point in the history

  11. Alexandra comment 2

    @stefan-aws
    stefan-aws committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    29bf113 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    f493f9f View commit details
    Browse the repository at this point in the history

  2. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    5c05c66 View commit details
    Browse the repository at this point in the history

  3. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    a9b8965 View commit details
    Browse the repository at this point in the history

  4. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6548587 View commit details
    Browse the repository at this point in the history

  5. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    e9ba7ed View commit details
    Browse the repository at this point in the history

  6. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    0c0789e View commit details
    Browse the repository at this point in the history

  7. Update assets/src/semantics-of-regular-expressions/Semantics.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    a3b1d08 View commit details
    Browse the repository at this point in the history

  8. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    927cbbb View commit details
    Browse the repository at this point in the history

  9. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    62227be View commit details
    Browse the repository at this point in the history

  10. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    edd1018 View commit details
    Browse the repository at this point in the history

  11. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    f9c6640 View commit details
    Browse the repository at this point in the history

  12. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    2533290 View commit details
    Browse the repository at this point in the history

  13. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    91bf68e View commit details
    Browse the repository at this point in the history

  14. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    754b3b2 View commit details
    Browse the repository at this point in the history

  15. Update assets/src/semantics-of-regular-expressions/Languages.dfy 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8ef3ff8 View commit details
    Browse the repository at this point in the history

  16. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    5865269 View commit details
    Browse the repository at this point in the history

  17. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    22849e9 View commit details
    Browse the repository at this point in the history

  18. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    0c57aa7 View commit details
    Browse the repository at this point in the history

  19. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6473079 View commit details
    Browse the repository at this point in the history

  20. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    22a0813 View commit details
    Browse the repository at this point in the history

  21. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    69bc3da View commit details
    Browse the repository at this point in the history

  22. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    4b9b944 View commit details
    Browse the repository at this point in the history

  23. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Rustan Leino <[email protected]>
    @stefan-aws @RustanLeino
    stefan-aws and RustanLeino authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    5e6c967 View commit details
    Browse the repository at this point in the history

  24. view above

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6e66760 View commit details
    Browse the repository at this point in the history

  25. bug

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    06294c1 View commit details
    Browse the repository at this point in the history

  26. singleton equality

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    a31fbfc View commit details
    Browse the repository at this point in the history

  27. type-parameter mode

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6549ca2 View commit details
    Browse the repository at this point in the history

  28. typo

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    55c36f4 View commit details
    Browse the repository at this point in the history

  29. type parameter completion

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    4c63cb6 View commit details
    Browse the repository at this point in the history

  30. abstemious

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    4979fd2 View commit details
    Browse the repository at this point in the history

  31. formal language

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8fb23ef View commit details
    Browse the repository at this point in the history

  32. consistency with source code

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    f8f2cbb View commit details
    Browse the repository at this point in the history

  33. remove variable

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    3cc70c4 View commit details
    Browse the repository at this point in the history

  34. forall ensures

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    d1b7e64 View commit details
    Browse the repository at this point in the history

  35. forall

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    395cef9 View commit details
    Browse the repository at this point in the history

  36. spacing

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    7c4339e View commit details
    Browse the repository at this point in the history

  37. verificaiton

    @stefan-aws
    stefan-aws committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    62f320d View commit details
    Browse the repository at this point in the history

  38. Merge branch 'main' into semantics-of-reg-exp

    @stefan-aws
    stefan-aws authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    5e1bea3 View commit details
    Browse the repository at this point in the history

  39. Merge branch 'main' into semantics-of-reg-exp

    @stefan-aws
    stefan-aws authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    ab0e65f View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Update _posts/2024-01-10-semantics-of-regular-expressions.markdown 

    Co-authored-by: Aaron Tomb <[email protected]>
    @stefan-aws @atomb
    stefan-aws and atomb authored Jan 4, 2024
    Configuration menu
    Copy the full SHA
    460ba93 View commit details
    Browse the repository at this point in the history

  2. indent

    @stefan-aws
    stefan-aws committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    fd0dbc2 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. madoko

    @stefan-aws
    stefan-aws committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    fe3b31a View commit details
    Browse the repository at this point in the history

  2. new line

    @stefan-aws
    stefan-aws committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    abd80af View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. change date

    @stefan-aws
    stefan-aws committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f6b6b90 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. change date

    @stefan-aws
    stefan-aws committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    616dd0f View commit details
    Browse the repository at this point in the history