Skip to content

Pull requests: dafny-lang/dafny

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

Improved Lit handling. Functional extensionality tests
#344 by amaurremi was merged Aug 14, 2019 Loading… updated Aug 14, 2019
21
Java compiler
#347 by psbang was merged Aug 16, 2019 Loading… updated Aug 16, 2019
13
Dafny Style Guide
#304 by mschlaipfer was merged Aug 27, 2019 Loading… updated Aug 29, 2019
44
Java: Cast to byte or short after +, -
#393 by lukemaurer was merged Oct 23, 2019 Loading… updated Oct 23, 2019
14
Java fixes
#459 by lukemaurer was merged Jan 2, 2020 Loading… updated Jan 2, 2020
10
Initialize capacity in Map.FromCollection when possible
#433 by robin-aws was merged Nov 21, 2019 Loading… updated Jan 11, 2020
2
Java: Fast DafnySequence <-> array conversion
#521 by lukemaurer was merged Feb 21, 2020 Loading… updated Feb 21, 2020
19
Ordered, nested matching of datatypes and constants
#458 by osavaryb was merged Apr 7, 2020 Loading… updated Apr 7, 2020
112
Ignore vscode files
#592 by johnterickson was merged Apr 15, 2020 Loading… updated Apr 18, 2020
3
Documentation: edits of Introduction
#740 by davidcok was merged Jul 21, 2020 Loading… updated Jul 21, 2020
4
#731: Improved reasoning about member lookup in presence of type parameters
#785 by davidcok was merged Aug 11, 2020 Loading… updated Aug 12, 2020
1
23
Documentation: modules
#735 by davidcok was merged Jul 20, 2020 Loading… updated Aug 12, 2020
6
Documentation: constructors
#736 by davidcok was merged Jul 20, 2020 Loading… updated Aug 12, 2020
15
#668: added a type constraint to provoke an error message
#708 by davidcok was merged Jul 16, 2020 Loading… updated Aug 12, 2020
1
4
#227: adding tests regarding type checking of calc statement
#710 by davidcok was merged Jul 16, 2020 Loading… updated Aug 12, 2020
1
2
#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… updated Aug 12, 2020
1
2
#405: Fixed Mal-formed boogie produced in checking sequence comprehensions
#671 by davidcok was merged Jun 23, 2020 Loading… updated Aug 12, 2020
1
@RustanLeino
5
#258: Fixes the printing of strings through Dafny print statements
#675 by davidcok was merged Jun 26, 2020 Loading… updated Aug 12, 2020
1
@RustanLeino
20
#330, #353: improved type resolution heuristics and added tests
#692 by davidcok was merged Jul 10, 2020 Loading… updated Aug 12, 2020
1
@RustanLeino
5
#532: fixing foreach loops generated by set comprehension and forall expressions
#696 by davidcok was merged Jul 17, 2020 Loading… updated Aug 12, 2020
20
Fix to Issue #622, with additional tests
#640 by davidcok was merged Jun 4, 2020 Loading… updated Aug 12, 2020
15
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… updated Aug 12, 2020
21
Fixes #262: Corrects translation of print statements for values of function type in C#
#653 by davidcok was merged Jun 8, 2020 Loading… updated Aug 12, 2020
@RustanLeino
17
Fixes #351. Already fixed in Boogie 2.4.17. Adding test cases.
#657 by davidcok was merged Jun 11, 2020 Loading… updated Aug 12, 2020
1
4
Fixes #371: Feature addition: Allow unnamed imports
#658 by davidcok was merged Jul 2, 2020 Loading… updated Aug 12, 2020
1
@RustanLeino
14
ProTip! Mix and match filters to narrow down what you’re looking for.