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

Fix: Formatting within the IDE wasn't working anymore #4274

Merged
merged 18 commits into from
Jul 14, 2023
Merged

Fix: Formatting within the IDE wasn't working anymore #4274

merged 18 commits into from
Jul 14, 2023

Commits on Jul 10, 2023

  1. Add test for issue #4269

    @MikaelMayer
    MikaelMayer committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    b5dd9dd View commit details
    Browse the repository at this point in the history

  2. Fix: Formatting within the IDE wasn't working anymore

    @MikaelMayer
    MikaelMayer committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    2bc7f30 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. more tests

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

  2. Update docs/dev/news/4269.fix

    @MikaelMayer
    MikaelMayer authored Jul 11, 2023
    Configuration menu
    Copy the full SHA
    05893c0 View commit details
    Browse the repository at this point in the history

  3. Review comments

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

  4. Merge branch 'fix-4269-format-lemma-ide' of https://github.com/dafny-… 

    …lang/dafny into fix-4269-format-lemma-ide
    @MikaelMayer
    MikaelMayer committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    abf1765 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into fix-4269-format-lemma-ide

    @MikaelMayer
    MikaelMayer authored Jul 11, 2023
    Configuration menu
    Copy the full SHA
    1fb608b View commit details
    Browse the repository at this point in the history

  6. failing CI check

    @MikaelMayer
    MikaelMayer committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    910c431 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'fix-4269-format-lemma-ide' of https://github.com/dafny-… 

    …lang/dafny into fix-4269-format-lemma-ide
    @MikaelMayer
    MikaelMayer committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    7b786c2 View commit details
    Browse the repository at this point in the history

  8. FIXER:exports/OpaqueFunctions.dfy

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

  9. FIXER:dafny0/Protected.dfy

    @MikaelMayer
    MikaelMayer committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    5215ea1 View commit details
    Browse the repository at this point in the history

  10. FIXER:dafny0/OpaqueFunctions.dfy

    @MikaelMayer
    MikaelMayer committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    6f44e3d View commit details
    Browse the repository at this point in the history

  11. fixed CI

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

Commits on Jul 12, 2023

  1. Fixed CI

    @MikaelMayer
    MikaelMayer committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b1528cd View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4269-format-lemma-ide

    @MikaelMayer
    MikaelMayer authored Jul 12, 2023
    Configuration menu
    Copy the full SHA
    c86b614 View commit details
    Browse the repository at this point in the history

  3. Fixed CI test

    @MikaelMayer
    MikaelMayer committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    1830606 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'fix-4269-format-lemma-ide' of https://github.com/dafny-… 

    …lang/dafny into fix-4269-format-lemma-ide
    @MikaelMayer
    MikaelMayer committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    1601c93 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Merge branch 'master' into fix-4269-format-lemma-ide

    @MikaelMayer
    MikaelMayer authored Jul 14, 2023
    Configuration menu
    Copy the full SHA
    72f9ce9 View commit details
    Browse the repository at this point in the history