C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 31, 2024 — Jul 31, 2025 Showing page 118 of 122 Search / Filter on:
Makefile: fix install target	Enrico Tassi	More...				almost 8 years ago
update submodules to official repos	Enrico Tassi	More...				almost 8 years ago
opam	Enrico Tassi	More...				almost 8 years ago
update Coq to v8.7	Enrico Tassi	More...				almost 8 years ago
src/coq_elpi_config to find .elpi files part of the elpi package	Enrico Tassi	More...				almost 8 years ago
fix compilation on 4.02	Enrico Tassi	More...				almost 8 years ago
Update README.md	Enrico	More...				almost 8 years ago
travis file	Enrico Tassi	More...				almost 8 years ago
add unzip to library	lucas8	More...				about 8 years ago
Merge branch 'gen_eq'	Enrico Tassi	More...				about 8 years ago
update coq example of DecEq CS generation	lucas8	More...				about 8 years ago
update example of map generic generation	lucas8	More...				about 8 years ago
update generic generation of eq example	lucas8	More...				about 8 years ago
change doConst semantics	lucas8	More...				about 8 years ago
move uniform quantification above the fixpoint	lucas8	More...				about 8 years ago
add doType, doCon and doLeaf to the generic generation API	lucas8	More...				about 8 years ago
improve generic generation API	lucas8	More...				about 8 years ago
propagate expansion and cleaning through constructors	lucas8	More...				about 8 years ago
coq-api: univ-{eq,leq,max,sup,print-constraints}	Enrico Tassi	More...				about 8 years ago
fix type reconstruction : parameters may have changed	lucas8	More...				about 8 years ago
fix recursion problem	lucas8	More...				about 8 years ago
fix bugs in generic generation	lucas8	More...				about 8 years ago
fix generation of terms	lucas8	More...				about 8 years ago
implement automatic recursion in generatic generation	lucas8	More...				about 8 years ago
continue generic generation	lucas8	More...				about 8 years ago
fix misc bugs in generic generation code	lucas8	More...				about 8 years ago
add example of use of generation	lucas8	More...				about 8 years ago
implement cleanup-term	lucas8	More...				about 8 years ago
improve generic deriving implementation	lucas8	More...				about 8 years ago
implement expand-term	lucas8	More...				about 8 years ago

←
1
2
…
114
115
116
117
118
119
120
121
122
→