Skip to content

Pull requests: CertiCoq/certicoq

New pull request New
Clear current search query, filters, and sorts
4 Open 87 Closed
4 Open 87 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 some deprecations, update to latest metacoq version
#45 by mattam82 was merged Feb 17, 2022 Loading…
👍 1
Lambda lifting
#17 by zoep was closed Jun 15, 2020 Loading…
Port to Coq 8.7 and template-coq v8.7 branch
#3 by mattam82 was merged Feb 28, 2018 Loading…
9
compiles with the latest 8.8 branch of paramcoq
#4 by aa755 was merged Jul 30, 2018 Loading…
3
Move to Coq 8.8
#5 by mattam82 was merged Oct 5, 2018 Loading…
Compcert3.5
#7 by osavaryb was merged May 29, 2019 Loading…
1
Certicoq on MetaCoq
#8 by mattam82 was closed Dec 13, 2019 • Draft
1
Port to 8.9, set all submodules to 8.9 versions
#9 by yforster was closed Nov 6, 2019 Loading…
7
L6 ANF from L6 CPS
#10 by zoep was closed Dec 10, 2019 Loading…
13
Certicoq on Metacoq, Coq 8.9, all recent changes from master
#11 by yforster was merged Dec 9, 2019 Loading…
3
Added support for function calls with parameters in glue.v + test files
#13 by KatStark was merged Feb 21, 2020 Loading…
Certicoq on 8.10
#14 by mattam82 was merged Jun 15, 2020 Loading…
Certicoq on 8.11
#15 by mattam82 was closed Mar 23, 2020 Loading…
Add a README for plugin installation/usage
#1 by mattam82 was merged Sep 20, 2017 Loading…
Update metacoq
#18 by mattam82 was merged Aug 13, 2020 Loading…
4
Make comp_data : Set
#19 by john-ml was merged Jul 29, 2020 Loading…
Port to Coq 8.12
#20 by yforster was merged Dec 19, 2020 Loading…
8
Rewriter metacoq
#21 by john-ml was merged Aug 7, 2020 Loading…
1
Cc corresp
#22 by john-ml was merged Aug 15, 2020 Loading…
1
Fixed a bug in erasure of primitive projection types in metacoq (no e…
#23 by mattam82 was merged Sep 20, 2020 Loading…
1
Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor…
#101 by mattam82 was merged Aug 21, 2024 Loading…
Port master to 8.12
#26 by yforster was merged Dec 19, 2020 Loading…
3
New glue vernacular command
#28 by joom was merged Dec 23, 2020 Loading…
3
Add dearging pass on lambda box
#29 by jakobbotsch was closed Feb 19, 2021 Loading…
8
Certicoq 8.11
#16 by mattam82 was merged Jun 15, 2020 Loading…
ProTip! Updated in the last three days: updated:>2025-01-11.