Skip to content

Pull requests: input-output-hk/marlowe

New pull request New
5 Open 124 Closed
5 Open 124 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

marlowe-agda as reference implementation
#202 opened Apr 17, 2024 by yveshauser • Draft
Update to isabelle 2022
#185 opened Apr 27, 2023 by hrajchert Loading…
1
PLT-5370 - Merkleization formalization
#171 opened Mar 24, 2023 by hrajchert • Draft
24
Integrate proofs by @julianferres verification
#141 opened Oct 19, 2022 by palas • Draft
@palas
Generalize Contract
#135 opened Sep 9, 2022 by edsko Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.