C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 31, 2024 — Jul 31, 2025 Showing page 89 of 122 Search / Filter on:
Update Changelog.md	Enrico Tassi	More...				almost 6 years ago
Update README.md	Enrico Tassi	More...				almost 6 years ago
Merge pull request #83 from SkySkimmer/sprop-default-on	Enrico Tassi	More...				almost 6 years ago
update Changelog	Enrico Tassi	More...				almost 6 years ago
changelog	Enrico Tassi	More...				almost 6 years ago
improve doc	Enrico Tassi	More...				almost 6 years ago
minor fixes in param1	Enrico Tassi	More...				almost 6 years ago
cleanup param2: now based on Elpi's Db instead of TC	Enrico Tassi	More...				almost 6 years ago
Update example_usage_derive.v	Enrico Tassi	More...				almost 6 years ago
Merge pull request #84 from LPCIC/param2-const-type	Enrico Tassi	More...				almost 6 years ago
Fixing the type of a translated const	Cyril Cohen	More...				almost 6 years ago
test for param2 over nth	Enrico Tassi	More...				almost 6 years ago
Update coq_elpi_HOAS.ml	Enrico Tassi	More...				almost 6 years ago
Update README.md	Enrico Tassi	More...				almost 6 years ago
Update README.md	Enrico Tassi	More...				almost 6 years ago
whd1: let's play safe	Enrico Tassi	More...				almost 6 years ago
update doc	Enrico Tassi	More...				almost 6 years ago
typo	Enrico Tassi	More...				almost 6 years ago
typo	Enrico Tassi	More...				almost 6 years ago
this require elpi 1.8	Enrico Tassi	More...				almost 6 years ago
this require elpi 1.8	Enrico Tassi	More...				almost 6 years ago
cleanup demo reflexive tactic	Enrico Tassi	More...				almost 6 years ago
cleanup demo reflexive tactic	Enrico Tassi	More...				almost 6 years ago
rm spurious prints	Enrico Tassi	More...				almost 6 years ago
rm spurious prints	Enrico Tassi	More...				almost 6 years ago
enable map and set from elpi 1.8	Enrico Tassi	More...				almost 6 years ago
elpi 1.8	Enrico Tassi	More...				almost 6 years ago
remove spurious debug prints	Enrico Tassi	More...				almost 6 years ago
remove spurious debug prints	Enrico Tassi	More...				almost 6 years ago
fix version parsing	Enrico Tassi	More...				almost 6 years ago

←
1
2
…
85
86
87
88
89
90
91
92
93
…
121
122
→