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

BoardroomVoting Extraction (mainly to cameLIGO)
#107 by mikkelmilo was closed Jul 29, 2021 Loading…
1 🎉 1
add fixes from PR comments
#19 by mikkelmilo was merged Mar 23, 2020 Loading…
3
More simplifications
#3 by jakobbotsch was merged Nov 1, 2019 Loading…
Update exec framework and derive Serializable where possible
#4 by jakobbotsch was merged Nov 4, 2019 Loading…
Prove lemmas using new tactics from exec framework
#5 by jakobbotsch was merged Nov 20, 2019 Loading…
4
Merge exec framework and restructure project
#6 by jakobbotsch was closed Nov 21, 2019 Loading…
Setup CI for execution
#7 by jakobbotsch was merged Nov 21, 2019 Loading…
Set up CI for embedding and fix README
#8 by jakobbotsch was merged Nov 21, 2019 Loading…
Test CI
#9 by jakobbotsch was closed Nov 21, 2019 Loading…
Simplistic extraction to Liquidity
#11 by annenkov was merged Jan 9, 2020 Loading…
Certifying
#12 by annenkov was merged Feb 25, 2020 Loading…
Add boardroom voting example
#13 by jakobbotsch was merged Mar 11, 2020 Loading…
Eip20 token Contract
#14 by mikkelmilo was merged Mar 14, 2020 Loading…
52
Some small cleanups
#1 by jakobbotsch was merged Oct 15, 2019 Loading…
1
Crowdfunding extraction from deep embedding
#20 by annenkov was merged Mar 24, 2020 Loading…
Add result monad and change add_block to return a result
#21 by jakobbotsch was merged May 10, 2020 Loading…
Counter
#22 by annenkov was merged May 25, 2020 Loading…
28
Execution: update docs, move examples
#23 by annenkov was merged May 26, 2020 Loading…
QuickChick Testing of Smart Contracts + Examples
#24 by mikkelmilo was merged Aug 7, 2020 Loading…
40
Execution improvements
#25 by jakobbotsch was merged Aug 5, 2020 Loading…
Use QuickChick 2.0.4 part: dependencies
#252 by 4ever2 was merged Sep 25, 2024 Loading…
Testing improvements & Escrow tests
#27 by mikkelmilo was merged Aug 31, 2020 Loading…
16
Update MetaCoq and implement extraction
#28 by jakobbotsch was merged Sep 14, 2020 Loading…
Do not introduce typevars for logical things
#29 by jakobbotsch was merged Sep 14, 2020 Loading…
Update to Coq 8.11
#18 by jakobbotsch was merged Mar 20, 2020 Loading…
1
ProTip! Follow long discussions with comments:>50.