Skip to content

Pull requests: AU-COBRA/ConCert

New pull request New
Clear current search query, filters, and sorts
2 Open 223 Closed
2 Open 223 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 typos in CIS1Spec
#126 by 4ever2 was merged Dec 20, 2021 Loading…
Implementation of the Concordium's ccd wrapper token (cis1-wccd) and proofs of compliance with CIS1
#127 by annenkov was merged Jan 6, 2022 Loading…
Permission control in CIS1
#128 by annenkov was merged Jan 6, 2022 Loading…
Extraction of Dexter 2 CPMM
#129 by annenkov was merged Jan 24, 2022 Loading…
Extract Dexter 2 Liquidity token FA1.2
#130 by annenkov was merged Jan 31, 2022 Loading…
Dexter2 safety proofs
#131 by 4ever2 was closed Feb 1, 2022 Loading…
Dexter2 safety proofs
#132 by 4ever2 was merged Feb 1, 2022 Loading…
2
Dexter 2: move files, readme, clean up printing
#133 by annenkov was merged Feb 2, 2022 Loading…
Update LIGO compiler to v0.34.0
#134 by annenkov was merged Feb 2, 2022 Loading…
Pin coq-stdpp to version 1.5.0
#135 by 4ever2 was merged Feb 2, 2022 Loading…
Dexter2 Liquidity token interface
#136 by annenkov was merged Feb 8, 2022 Loading…
Update CameLIGOPretty.v
#137 by 4ever2 was merged Feb 9, 2022 Loading…
Fix build process
#138 by 4ever2 was merged Feb 15, 2022 Loading…
1
Build workflow improvements
#140 by 4ever2 was merged Feb 25, 2022 Loading…
BAT contract
#141 by 4ever2 was merged Feb 25, 2022 Loading…
Split printing of serialized values
#142 by 4ever2 was merged Feb 28, 2022 Loading…
1
FA2 callback changes
#143 by 4ever2 was merged Feb 28, 2022 Loading…
Clean up imports
#144 by 4ever2 was merged Mar 8, 2022 Loading…
Add inner and mutual fixpoint examples to Rust extraction
#145 by annenkov was merged Mar 15, 2022 Loading…
Move examples
#147 by 4ever2 was merged Mar 18, 2022 Loading…
FA1.2 token implementation
#148 by 4ever2 was merged Mar 18, 2022 Loading…
CameLIGO extraction update
#151 by annenkov was merged Mar 28, 2022 Loading…
Dexter2 set_delegate remap
#152 by 4ever2 was merged Apr 7, 2022 Loading…
@4ever2
Test framework improvements
#153 by 4ever2 was merged Apr 27, 2022 Loading…
Split example files
#154 by 4ever2 was merged Apr 27, 2022 Loading…
ProTip! Exclude everything labeled bug with -label:bug.