C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 88 of 122 Search / Filter on:
Merge tag 'V1.2.0' into coq-master	Enrico Tassi	More...				over 5 years ago
Merge pull request #91 from validsdp/primitive-floats	Enrico Tassi	More...				over 5 years ago
update changelog	Enrico Tassi	More...				over 5 years ago
fixup merge	Enrico Tassi	More...				over 5 years ago
Merge branch 'elpi-1.8'	Enrico Tassi	More...				over 5 years ago
Adapt to coq/coq#10647 (inductive entries use boolean for cumulativity)	Gaëtan Gilbert	More...				over 5 years ago
builtin: new gr->path	Enrico Tassi	More...				over 5 years ago
coq.env.add-indt: flag records as such	Enrico Tassi	More...				almost 6 years ago
install .elpi files (for documentation)	Enrico Tassi	More...				almost 6 years ago
Records are BiFinite, of course!	Enrico Tassi	More...				almost 6 years ago
Merge pull request #89 from ejgallego/proof+dup_save	Enrico Tassi	More...				almost 6 years ago
[coq] Adapt to coq/coq#10516	Emilio Jesus Gallego Arias	More...				almost 6 years ago
improve reflexive tactic demo	Enrico Tassi	More...				almost 6 years ago
Turn ltac1 failure into prolog failure	Enrico Tassi	More...				almost 6 years ago
cleanup reflexive tactic example	Enrico Tassi	More...				almost 6 years ago
cleanup builtin declaration	Enrico Tassi	More...				almost 6 years ago
Update coq-HOAS.elpi	Enrico Tassi	More...				almost 6 years ago
Update coq-HOAS.elpi	Enrico Tassi	More...				almost 6 years ago
Update coq-HOAS.elpi	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
Update README.md	Enrico Tassi	More...				almost 6 years ago
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

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