C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

Analyzed about 10 hours ago. based on code collected about 10 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 80 of 122 Search / Filter on:
API: more stuff about mod paths	Enrico Tassi	More...				almost 5 years ago
example: implementation of name spaces based on module + nametab	Enrico Tassi	More...				almost 5 years ago
[lib] pass the full error message to halt (fix #175)	Enrico Tassi	More...				almost 5 years ago
fixup	Enrico Tassi	More...				almost 5 years ago
[doc] variables in scope of the lib:elpi.hole constant (fix #172)	Enrico Tassi	More...				almost 5 years ago
[derive] use Coq's elaborator (fix #173)	Enrico Tassi	More...				almost 5 years ago
Merge pull request #170 from LPCIC/elaborator-plan-B	Enrico Tassi	More...				almost 5 years ago
fix elaboration of prod skeleton (the tgt sees the variable)	Enrico Tassi	More...				almost 5 years ago
forall2-ok -> map-ok	Enrico Tassi	More...				almost 5 years ago
[HOAS] comeback of {{ lib:elpi.hole }}	Enrico Tassi	More...				almost 5 years ago
[api] coq.elaborate-indt-decl-skeleton	Enrico Tassi	More...				almost 5 years ago
Merge pull request #167 from LPCIC/hb-in-ci	Enrico Tassi	More...				almost 5 years ago
Update main.yml	Enrico Tassi	More...				almost 5 years ago
Update Changelog.md	Enrico Tassi	More...				almost 5 years ago
link Coq elaborator	Enrico Tassi	More...				almost 5 years ago
coq.env.add-const: work around coq/coq#12759	Enrico Tassi	More...				almost 5 years ago
fix: embedding function for sort Prop was producing sprop	Enrico Tassi	More...				almost 5 years ago
fix coercion.db-for doc & implementation	Enrico Tassi	More...				almost 5 years ago
ci: test HB	Enrico Tassi	More...				almost 5 years ago
Merge pull request #166 from LPCIC/coq-master+1.5	Enrico Tassi	More...				about 5 years ago
fix ci	Enrico Tassi	More...				about 5 years ago
fix CI	Enrico Tassi	More...				about 5 years ago
fix opam	Enrico Tassi	More...				about 5 years ago
Merge branch 'master' into coq-master+1.5	Enrico Tassi	More...				about 5 years ago
Merge pull request #165 from LPCIC/switch-to-8.12	Enrico Tassi	More...				about 5 years ago
master goes to 8.12	Enrico Tassi	More...				about 5 years ago
Merge branch 'coq-v8.12' into switch-to-8.12	Enrico Tassi	More...				about 5 years ago
update changelog	Enrico Tassi	More...				about 5 years ago
context readback global syncs the evar map	Enrico Tassi	More...				about 5 years ago
context readback global syncs the evar map	Enrico Tassi	More...				about 5 years ago

←
1
2
…
76
77
78
79
80
81
82
83
84
…
121
122
→