Skip to content

Pull requests: dafny-lang/dafny

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

fix: Mono.Cecil path needs to be net40, not net45
#514 by robin-aws was merged Jan 21, 2020 Loading…
1
fix: Fully-qualify module CompileNames
#510 by robin-aws was merged Jan 21, 2020 Loading…
4
Add .NET Standard 2.0 DafnyRuntime project
#507 by robin-aws was merged Jan 16, 2020 Loading…
1
fix: Don't recompile contents of DafnySourceAttribute from DLLs
#487 by robin-aws was merged Jan 15, 2020 Loading…
1
11
Lock down Boogie release, avoid recent regression
#477 by robin-aws was merged Jan 7, 2020 Loading…
1
3
Use Mono.Cecil to read DafnySourceAttribute from DLLs
#464 by robin-aws was merged Jan 14, 2020 Loading…
10
Remove DafnyMSBuildTasks, use dafny.msbuild instead
#457 by robin-aws was merged Dec 12, 2019 Loading…
6
Add reusable MSBuild tasks for projects with Dafny source
#453 by robin-aws was merged Dec 5, 2019 Loading…
14
Add support for {:test} attribute (C# only for now)
#447 by robin-aws was merged Dec 3, 2019 Loading…
2
Replace .travis.yml with buildspec.yml for CodeBuild
#438 by robin-aws was merged Nov 22, 2019 Loading…
1
Add buildspec.yml for CodeBuild
#437 by robin-aws was closed Nov 22, 2019 Loading…
1
Initialize capacity in Map.FromCollection when possible
#433 by robin-aws was merged Nov 21, 2019 Loading…
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.