Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
29 Open 79 Closed
29 Open 79 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

Dafny Style Guide
#304 by mschlaipfer was merged Aug 27, 2019 Loading…
44
Improved Lit handling. Functional extensionality tests
#344 by amaurremi was merged Aug 14, 2019 Loading…
21
Java compiler
#347 by psbang was merged Aug 16, 2019 Loading…
13
Ordered, nested matching of datatypes and constants
#458 by osavaryb was merged Apr 7, 2020 Loading…
112
Java fixes
#459 by lukemaurer was merged Jan 2, 2020 Loading…
10
Java: Cast to byte or short after +, -
#393 by lukemaurer was merged Oct 23, 2019 Loading…
14
Initialize capacity in Map.FromCollection when possible
#433 by robin-aws was merged Nov 21, 2019 Loading…
2
Adding documentation of top-level import opened and constructors
#509 by davidcok was closed Jul 20, 2020 Loading…
12
Java: Fast DafnySequence <-> array conversion
#521 by lukemaurer was merged Feb 21, 2020 Loading…
19
Ignore vscode files
#592 by johnterickson was merged Apr 15, 2020 Loading…
3
Fixes #506 - corrects compilation of multi-assignments in which one LHS is a subexpression of another LHS
#644 by davidcok was merged Jun 9, 2020 Loading…
21
Fix to Issue #622, with additional tests
#640 by davidcok was merged Jun 4, 2020 Loading…
15
Fixes #262: Corrects translation of print statements for values of function type in C#
#653 by davidcok was merged Jun 8, 2020 Loading…
@RustanLeino
17
#615: fixed an erroneous use of null for a heap, instead of a reference to $OneHeap
#665 by davidcok was merged Jun 15, 2020 Loading…
1
2
#405: Fixed Mal-formed boogie produced in checking sequence comprehensions
#671 by davidcok was merged Jun 23, 2020 Loading…
1
@RustanLeino
5
Fixes #351. Already fixed in Boogie 2.4.17. Adding test cases.
#657 by davidcok was merged Jun 11, 2020 Loading…
1
4
Fixes #371: Feature addition: Allow unnamed imports
#658 by davidcok was merged Jul 2, 2020 Loading…
1
@RustanLeino
14
#258: Fixes the printing of strings through Dafny print statements
#675 by davidcok was merged Jun 26, 2020 Loading…
1
@RustanLeino
20
Documentation: edits of Introduction
#740 by davidcok was merged Jul 21, 2020 Loading…
4
#227: adding tests regarding type checking of calc statement
#710 by davidcok was merged Jul 16, 2020 Loading…
1
2
#668: added a type constraint to provoke an error message
#708 by davidcok was merged Jul 16, 2020 Loading…
1
4
Documentation: modules
#735 by davidcok was merged Jul 20, 2020 Loading…
6
Documentation: constructors
#736 by davidcok was merged Jul 20, 2020 Loading…
15
#330, #353: improved type resolution heuristics and added tests
#692 by davidcok was merged Jul 10, 2020 Loading…
1
@RustanLeino
5
#532: fixing foreach loops generated by set comprehension and forall expressions
#696 by davidcok was merged Jul 17, 2020 Loading…
20
ProTip! What’s not been updated in a month: updated:<2024-06-11.