-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Unix path separator in 'otherFilenames' not passed on
#264
by mschlaipfer
was merged Jun 16, 2019
Loading…
:extern copy from trait method to class method and /attrHelp
#237
by mschlaipfer
was merged May 29, 2019
Loading…
Changes to Dafny Reference Manual based on Rustan notes
#37
by richardlford
was merged Oct 25, 2016
Loading…
Mul associativity axiom: add a guard to prevent matching loop
#253
by mschlaipfer
was merged Jun 7, 2019
Loading…
Axiomatization of SeqFromArray, HeapSucc, and frame condition
#268
by mschlaipfer
was merged Jun 16, 2019
Loading…
improved subset type errors, export set name space, cloning bug fix
#269
by RustanLeino
was merged Jun 17, 2019
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.