Skip to content

Pull requests: dafny-lang/dafny

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

Use correct location when reporting error of StmtExpr body
#366 by RustanLeino was merged Aug 26, 2019 Loading…
1
Git issue 245
#275 by RustanLeino was merged Jun 21, 2019 Loading…
1
Don't compile extern fields, allow extern fields without RHSs kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
#285 by RustanLeino was merged Jul 2, 2019 Loading…
1
Clarify some points in set tutorial
#294 by RustanLeino was merged Jul 8, 2019 Loading…
Introduce sequence construction expressions
#297 by RustanLeino was merged Jul 10, 2019 Loading…
13
Remove white space at end of lines
#300 by RustanLeino was merged Jul 8, 2019 Loading…
1
Note that seq-construction needs heap argument
#335 by RustanLeino was merged Aug 6, 2019 Loading…
1
2
Try to treat general map comprehension as the common case
#340 by RustanLeino was merged Aug 6, 2019 Loading…
1
4
Reduce spaces before printing "special witness" comment for /rprint
#341 by RustanLeino was merged Aug 7, 2019 Loading…
2
Use user defined type from top level decl
#342 by RustanLeino was merged Aug 7, 2019 Loading…
3
Fix null-dereference crash
#349 by RustanLeino was merged Aug 13, 2019 Loading…
2
Type members
#350 by RustanLeino was merged Aug 17, 2019 Loading…
14
improved subset type errors, export set name space, cloning bug fix
#269 by RustanLeino was merged Jun 17, 2019 Loading…
5
Fix refinement checks for two-state predicates.
#358 by RustanLeino was merged Aug 21, 2019 Loading…
1
Fix incorrect type of this in 3 places in translation
#367 by RustanLeino was merged Aug 27, 2019 Loading…
1
Fix two CodeContract crashes in the Java compiler
#368 by RustanLeino was merged Aug 27, 2019 Loading…
Roll in style-guide suggestions
#369 by RustanLeino was merged Aug 29, 2019 Loading…
Use TargetWriter to format generated Java code
#372 by RustanLeino was merged Aug 30, 2019 Loading…
Spend less time constructing BigInteger's in compiled code
#373 by RustanLeino was merged Sep 3, 2019 Loading…
Fix ordering of static const's
#378 by RustanLeino was merged Sep 20, 2019 Loading…
Fix name protect for const
#379 by RustanLeino was merged Sep 20, 2019 Loading…
Fix compilation of seq index/take/drop on native integers
#380 by RustanLeino was merged Sep 24, 2019 Loading…
Pretty-print collections in Java like for the other target languages
#381 by RustanLeino was merged Sep 24, 2019 Loading…
Implement .Keys, .Values, and .Items as Dafny collection in Java
#382 by RustanLeino was merged Sep 24, 2019 Loading…
feat: Allow type parameters on newtypes
#5495 opened May 28, 2024 by RustanLeino Loading…
2
ProTip! no:milestone will show everything without a milestone.