Skip to content

Pull requests: dafny-lang/libraries

New pull request New
21 Open 85 Closed
21 Open 85 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

Chore: Fix verification for 4.9
#161 opened Oct 30, 2024 by MikaelMayer 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 Loading…
Changing forall ensures to assert-by to avoid deprecation warning
#124 opened May 17, 2023 by davidcok Loading…
1
feat: add additional Sequence functionality
#120 opened Apr 24, 2023 by ajewellamz 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 Loading…
15
Extending wrappers & introducing functors, monads, comonads, and cowrappers
#80 opened Feb 3, 2023 by stefan-aws • Draft
2
@stefan-aws
Verified and easy-to-use parser combinators
#64 opened Jan 3, 2023 by MikaelMayer Loading…
2
Quick sort and related Arrays utilities
#58 opened Oct 21, 2022 by prvshah51 Loading…
1
@prvshah51
31
Aligning changes from libraries-without-variance
#48 opened Aug 9, 2022 by robin-aws Loading…
WIP: Enumerator<T> trait
#37 opened Feb 23, 2022 by robin-aws • Draft
19
feat: Functional constructs for methods
#29 opened Nov 6, 2021 by seebees Loading…
13
feat: Multiset lemmas
#28 opened Nov 6, 2021 by seebees 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 Loading…
3
Lemma to prove the opposite implication from Seq.LemmaCardinalityOfSetNoDuplicates
#20 opened Oct 3, 2021 by robin-aws Loading…
1
Base64 Encoding Library
#3 opened Sep 4, 2019 by JunyoungLim Loading…
2
ProTip! Mix and match filters to narrow down what you’re looking for.