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

Use dafny: Uris for standard library files #4832

Merged
merged 13 commits into from
Dec 6, 2023
Merged

Use dafny: Uris for standard library files #4832

merged 13 commits into from
Dec 6, 2023

Commits on Nov 21, 2023

  1. Use a doo:// scheme for contents from .doo files

    @keyboardDrummer
    keyboardDrummer committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    c4805a9 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Merge remote-tracking branch 'origin/master' into differentUriForDooFile

    @keyboardDrummer
    keyboardDrummer committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    8ce5fb0 View commit details
    Browse the repository at this point in the history

  2. Do not write snippets for empty Uris

    @keyboardDrummer
    keyboardDrummer committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    788ef9f View commit details
    Browse the repository at this point in the history

  3. Allow reading the doo:// scheme files

    @keyboardDrummer
    keyboardDrummer committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    e38e097 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Use dafny: as the externally visible scheme for standard library content

    @keyboardDrummer
    keyboardDrummer committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    88e721d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into differentUriForDooFile

    @keyboardDrummer
    keyboardDrummer authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    c769a16 View commit details
    Browse the repository at this point in the history

  3. Add .dfy extension

    @keyboardDrummer
    keyboardDrummer committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    f7004a3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'differentUriForDooFile' of github.com:keyboardDrummer/d… 

    …afny into differentUriForDooFile
    @keyboardDrummer
    keyboardDrummer committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    72ff748 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Merge branch 'master' into differentUriForDooFile

    @keyboardDrummer
    keyboardDrummer authored Dec 5, 2023
    Configuration menu
    Copy the full SHA
    1a0d9d0 View commit details
    Browse the repository at this point in the history

  2. Small fixes

    @keyboardDrummer
    keyboardDrummer committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    a05bc07 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Merge branch 'master' into differentUriForDooFile

    @keyboardDrummer
    keyboardDrummer authored Dec 6, 2023
    Configuration menu
    Copy the full SHA
    f12acb6 View commit details
    Browse the repository at this point in the history

  2. Fix precendence linter exception

    @keyboardDrummer
    keyboardDrummer committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    b5878f4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into differentUriForDooFile

    @keyboardDrummer
    keyboardDrummer authored Dec 6, 2023
    Configuration menu
    Copy the full SHA
    97bd28c View commit details
    Browse the repository at this point in the history