-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Improved Lit handling. Functional extensionality tests
#344
by amaurremi
was merged Aug 14, 2019
Loading…
Ordered, nested matching of datatypes and constants
#458
by osavaryb
was merged Apr 7, 2020
Loading…
Initialize capacity in Map.FromCollection when possible
#433
by robin-aws
was merged Nov 21, 2019
Loading…
Adding documentation of top-level import opened and constructors
#509
by davidcok
was closed Jul 20, 2020
Loading…
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…
Fixes #262: Corrects translation of print statements for values of function type in C#
#653
by davidcok
was merged Jun 8, 2020
Loading…
#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…
#405: Fixed Mal-formed boogie produced in checking sequence comprehensions
#671
by davidcok
was merged Jun 23, 2020
Loading…
Fixes #351. Already fixed in Boogie 2.4.17. Adding test cases.
#657
by davidcok
was merged Jun 11, 2020
Loading…
Fixes #371: Feature addition: Allow unnamed imports
#658
by davidcok
was merged Jul 2, 2020
Loading…
#258: Fixes the printing of strings through Dafny print statements
#675
by davidcok
was merged Jun 26, 2020
Loading…
#227: adding tests regarding type checking of calc statement
#710
by davidcok
was merged Jul 16, 2020
Loading…
#668: added a type constraint to provoke an error message
#708
by davidcok
was merged Jul 16, 2020
Loading…
#330, #353: improved type resolution heuristics and added tests
#692
by davidcok
was merged Jul 10, 2020
Loading…
#532: fixing foreach loops generated by set comprehension and forall expressions
#696
by davidcok
was merged Jul 17, 2020
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.