C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 93 of 122 Search / Filter on:
Adapt to coq/coq#10157 (Higher level implementation of definition-not-visible warning)	Gaëtan Gilbert	More...				about 6 years ago
elpi 1.3	Enrico Tassi	More...				about 6 years ago
Merge pull request #57 from vbgl/canonical-disable-hint	Enrico	More...				about 6 years ago
[coq] Adapt to coq/coq#9867	Pierre Roux	More...				about 6 years ago
Update opam	Enrico	More...				about 6 years ago
Fix for Coq PR#10076	Vincent Laporte	More...				about 6 years ago
port to coqlib	Enrico Tassi	More...				about 6 years ago
take advantage of elpi 1.2	Enrico Tassi	More...				about 6 years ago
update .gitignore	Enrico Tassi	More...				about 6 years ago
Better test for elaborate	Enrico Tassi	More...				about 6 years ago
update .gitignore	Enrico Tassi	More...				about 6 years ago
Merge pull request #55 from ejgallego/warn_coq_makefile	Enrico	More...				about 6 years ago
master follows v8.10	Enrico Tassi	More...				about 6 years ago
[coq] Fix warning about unused open.	Emilio Jesus Gallego Arias	More...				about 6 years ago
remove old ml4 file	Enrico Tassi	More...				about 6 years ago
Merge branch 'overlay-elpi1.2-coq-master' into coq-master	Enrico Tassi	More...				about 6 years ago
Merge pull request #54 from LPCIC/elpi1.2	Enrico	More...				about 6 years ago
Merge branch 'coq-master'	Enrico Tassi	More...				over 6 years ago
opam: add bug-reports field	Enrico Tassi	More...				over 6 years ago
bump travis on opam 4.05	Enrico Tassi	More...				over 6 years ago
update opam package	Enrico Tassi	More...				over 6 years ago
Merge pull request #53 from ejgallego/recarg-cleanup	Enrico	More...				over 6 years ago
[coq] Adapt to coq/coq#9165	Emilio Jesus Gallego Arias	More...				over 6 years ago
Merge pull request #52 from maximedenes/pretyping-rm-global	Enrico	More...				over 6 years ago
Adapt to Coq's PR #9909	Maxime Dénès	More...				over 6 years ago
Merge pull request #51 from vbgl/pr-9870	Enrico	More...				over 6 years ago
Fix for Coq PR#9870	Vincent Laporte	More...				over 6 years ago
Merge pull request #48 from ejgallego/proof+no_global_partial	Enrico	More...				over 6 years ago
porting to elpi 1.2	Enrico Tassi	More...				over 6 years ago
Merge pull request #49 from maximedenes/printed-by-env	Enrico	More...				over 6 years ago

←
1
2
…
89
90
91
92
93
94
95
96
97
…
121
122
→