Skip to content

Pull requests: dafny-lang/libraries

New pull request New
21 Open 91 Closed
21 Open 91 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Chore: Fix verification for 4.9
#161 opened Oct 30, 2024 by MikaelMayer Member Loading…
Add a Random module to the dafny library
#151 opened Nov 4, 2023 by markrtuttle Loading…
14
Replace deprecated syntax 'forall ensures' -> 'assert ... by'
#147 opened Oct 4, 2023 by markrtuttle Loading…
1
Rename module Math->MathLib, name conflicts with Java/C# Math class
#146 opened Oct 4, 2023 by markrtuttle Loading…
1
2
Update tests.yml for release 4.3.0
#144 opened Sep 29, 2023 by MikaelMayer Member Loading…
Changing forall ensures to assert-by to avoid deprecation warning
#124 opened May 17, 2023 by davidcok Collaborator Loading…
1
feat: add additional Sequence functionality
#120 opened Apr 24, 2023 by ajewellamz Collaborator Loading…
chore: add .net extern
#112 opened Mar 14, 2023 by josecorella Loading…
Maps: add MapKeys, MapValues, and related helpers
#86 opened Feb 13, 2023 by alex-chew Contributor Loading…
15
Extending wrappers & introducing functors, monads, comonads, and cowrappers
#80 opened Feb 3, 2023 by stefanzetzsche Contributor • Draft
2
@stefanzetzsche
Verified and easy-to-use parser combinators
#64 opened Jan 3, 2023 by MikaelMayer Member Loading…
2
Quick sort and related Arrays utilities
#58 opened Oct 21, 2022 by prvshah51 Contributor Loading…
1
@prvshah51
31
Aligning changes from libraries-without-variance
#48 opened Aug 9, 2022 by robin-aws Member Loading…
WIP: Enumerator<T> trait
#37 opened Feb 23, 2022 by robin-aws Member • Draft
19
feat: Functional constructs for methods
#29 opened Nov 6, 2021 by seebees Contributor Loading…
13
feat: Multiset lemmas
#28 opened Nov 6, 2021 by seebees Contributor Loading…
6
some trigger updates
#25 opened Oct 14, 2021 by yizhou7 Loading…
22
Add mapValue
#23 opened Oct 6, 2021 by hirataqdees Loading…
1
"Validatable" trait for classes using the Valid()/Repr idiom
#22 opened Oct 5, 2021 by robin-aws Member Loading…
3
Lemma to prove the opposite implication from Seq.LemmaCardinalityOfSetNoDuplicates
#20 opened Oct 3, 2021 by robin-aws Member Loading…
1
Base64 Encoding Library
#3 opened Sep 4, 2019 by JunyoungLim Loading…
2
ProTip! Exclude everything labeled bug with -label:bug.