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

Merge functionality to filter out tests #9

Open
wants to merge 14 commits into
base: Latest
Choose a base branch
from
Open

Merge functionality to filter out tests #9

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
9d6fa58
Merge branch 'master' into synthesizeTests
Dargones Jun 23, 2022
cc6a05d
verify test method before printing
tbean79 Jun 28, 2022
d8d1ec7
docs: Remove mention of rise4fun editor (#2344)
cpitclaudel Jul 1, 2022
a7a2244
verify test method before printing
tbean79 Jun 28, 2022
62f3479
fix relative path bug
tbean79 Jul 1, 2022
2dccc82
merge for pull
tbean79 Jul 1, 2022
38eaadf
merge with sythesizeTests
tbean79 Jul 1, 2022
965a0ed
copy paste merge timeout
tbean79 Jul 1, 2022
9dab9d7
Fixes gutter when cache is enabled (#2312)
MikaelMayer Jul 1, 2022
52405d1
nightly build failed (#2161)
MikaelMayer Jul 1, 2022
5487792
Fix: No more crashing on hovering bodies of nested match statements …
MikaelMayer Jul 1, 2022
5ba8c64
Merge branch 'master' into synthesizeTests
MikaelMayer Jul 1, 2022
e1cca66
silence error reports during pruning
tbean79 Jul 2, 2022
c51bca5
merge with synthesizeTests 5ba8c64
tbean79 Jul 2, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Merge branch 'master' into synthesizeTests
  • Loading branch information
@Dargones
Dargones committed Jun 23, 2022
commit 9d6fa582e52cf6db84a34eafa54deb2b1b4bb21b
6 changes: 4 additions & 2 deletions RELEASE_NOTES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
# 3.7.1

- fix: The Dafny runtime library for C# is now compatible with .NET Standard 2.1, as it was before 3.7.0. Its version has been updated to 1.2.0 to reflect this. (https://github.com/dafny-lang/dafny/pull/2277)

- fix: Methods produced by the test generation code can now be compiled directly to C# XUnit tests (https://github.com/dafny-lang/dafny/pull/2269)

# 3.7.0

Expand All @@ -14,7 +14,9 @@
- feat: Live verification diagnostics for the language server (https://github.com/dafny-lang/dafny/pull/1942)
- fix: Correctly specify the type of the receiver parameter when translating tail-recursive member functions to C# (https://github.com/dafny-lang/dafny/pull/2205)
- fix: Added support for type parameters in automatically generated tests (https://github.com/dafny-lang/dafny/pull/2227)
- fix: Methods produced by the test generation code can now be compiled directly to C# XUnit tests (https://github.com/dafny-lang/dafny/pull/2269)
- fix: No more display of previous obsolete verification diagnostics if newer are available (https://github.com/dafny-lang/dafny/pull/2142)
- fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (https://github.com/dafny-lang/dafny/pull/2080)
- fix: Various improvements to language server robustness (https://github.com/dafny-lang/dafny/pull/2254)

# 3.6.0

Expand Down
You are viewing a condensed version of this merge commit. You can view the full changes here.