-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix error message "invariant" type parameter to "non-variant"
#390
by RustanLeino
was merged Oct 11, 2019
Loading…
Use BigInteger multiplicities for multisets in C#
#383
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…
Pretty-print collections in Java like for the other target languages
#381
by RustanLeino
was merged Sep 24, 2019
Loading…
Fix compilation of seq index/take/drop on native integers
#380
by RustanLeino
was merged Sep 24, 2019
Loading…
Spend less time constructing BigInteger's in compiled code
#373
by RustanLeino
was merged Sep 3, 2019
Loading…
Fix two CodeContract crashes in the Java compiler
#368
by RustanLeino
was merged Aug 27, 2019
Loading…
Make
{: one token instead of two for annotations
#360
by samuelgruetter
was merged Aug 22, 2019
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.