Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
135 Open 2,736 Closed
135 Open 2,736 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Merge Language Server Source
#1173 by camrein was merged Apr 21, 2021 Loading…
7
Fix to Issue #622, with additional tests
#640 by davidcok was merged Jun 4, 2020 Loading…
15
Changes to the generic compiler infrastructure to support a C++ backend
#586 by parno was merged Jun 2, 2020 Loading…
33
C#: Lazy sequence concatenation
#404 by lukemaurer was merged Nov 9, 2019 Loading…
14
Rework warn-as-error option
#4971 by keyboardDrummer was merged Feb 12, 2024 Loading…
@keyboardDrummer
27
Fix extern contract checking on abstract modules
#4910 by atomb was merged Jan 4, 2024 Loading…
1
@atomb
21
[Test Generation] Control inlining using method annotations
#3865 by Dargones was merged May 3, 2023 Loading…
1
11
Add documentation for getting Dafny toolchain developer help
#3583 by keyboardDrummer was merged Feb 27, 2023 Loading…
7
fix: Fix naming of formals in Translator and standardize Z3 path run-deep-tests Tells CI to run all tests
#3551 by Dargones was merged Feb 22, 2023 Loading…
1
7
feat: add basic file I/O to runtimes
#3018 by alex-chew was closed Nov 11, 2022 Loading…
28
Fix: No more mention of reveal lemmas when implementing opaque functions in traits
#2974 by MikaelMayer was merged Nov 10, 2022 Loading…
1
7
Debug Equality
#2768 by jtristan was closed Oct 24, 2022 Loading…
1
52
Deprecating statement refinement syntax - #2765
#2756 by davidcok was merged Sep 26, 2022 Loading…
1
10
Make ShutdownTest.LanguageServerShutsDownIfParentDies stable
#2306 by keyboardDrummer was merged Jun 29, 2022 Loading…
18
Enable packaging Dafny as a .NET tool
#2051 by atomb was merged Jun 10, 2022 Loading…
1
@atomb
47
chore: Try to download Z3 5 times instead of just once
#1835 by MikaelMayer was merged Feb 17, 2022 Loading…
@MikaelMayer
21
Support for Mocking in C# Compiler
#1809 by Dargones was merged Mar 28, 2022 Loading…
82
Show a source code snippet for each Dafny message
#1321 by fpoli was merged Aug 24, 2021 Loading…
12
Don't expand stdin.dfy as a path
#1125 by jaylorch was merged Mar 25, 2021 Loading…
1
6
#643: Implemented location information for expect statements
#677 by davidcok was merged Jul 2, 2020 Loading…
1
@robin-aws
9
Introduce lvalue abstraction
#523 by lukemaurer was merged Feb 21, 2020 Loading…
6
Java: Fast DafnySequence <-> array conversion
#521 by lukemaurer was merged Feb 21, 2020 Loading…
19
Adding documentation of top-level import opened and constructors
#509 by davidcok was closed Jul 20, 2020 Loading…
12
Fixing a problem with indentation after generated declarations for ou…
#483 by davidcok was closed Feb 6, 2020 Loading…
6
Remove DafnyMSBuildTasks, use dafny.msbuild instead
#457 by robin-aws was merged Dec 12, 2019 Loading…
6
ProTip! Follow long discussions with comments:>50.