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

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…
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…
Update to Coq 8.11
#18 by jakobbotsch was merged Mar 20, 2020 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…
Execution: update docs, move examples
#23 by annenkov was merged May 26, 2020 Loading…
Execution improvements
#25 by jakobbotsch was merged Aug 5, 2020 Loading…
Switch to GitHub actions for CI
#26 by jakobbotsch was merged Aug 6, 2020 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…
Avoid erasing ignored constants
#30 by jakobbotsch was closed Sep 21, 2020 • Draft
Test code cleanup & tests for buggy token
#31 by mikkelmilo was merged Sep 15, 2020 Loading…
Update for new MetaCoq
#32 by jakobbotsch was merged Sep 15, 2020 Loading…
Testing (compilation) for the Liquidity extraction
#34 by annenkov was merged Sep 17, 2020 Loading…
The certifying approach to eta-expansion
#36 by annenkov was merged Sep 21, 2020 Loading…
3
Update for new MetaCoq with simplified wbcv eval
#38 by jakobbotsch was merged Sep 21, 2020 Loading…
Updated READMEs
#39 by annenkov was merged Sep 21, 2020 Loading…
12
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.