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 29, 2024 — Jul 29, 2025 Showing page 18 of 122 Search / Filter on:
Merge pull request #664 from LPCIC/release	Enrico Tassi	More...				about 1 year ago
prepare release	Enrico Tassi	More...				about 1 year ago
Merge pull request #663 from LPCIC/gares-patch-1	Enrico Tassi	More...				about 1 year ago
Update dune-project	Enrico Tassi	More...				about 1 year ago
Merge pull request #660 from LPCIC/release-only-coq-elpi.opam	Enrico Tassi	More...				about 1 year ago
Merge pull request #657 from SkySkimmer/func-auto-prop-lower	Enrico Tassi	More...				about 1 year ago
Merge pull request #661 from proux01/fix_build	Enrico Tassi	More...				about 1 year ago
Adapt to https://github.com/coq/coq/pull/19310	Pierre Roux	More...				about 1 year ago
Don't run test in build target	Pierre Roux	More...				about 1 year ago
Update main.yml	Enrico Tassi	More...				about 1 year ago
Merge pull request #659 from LPCIC/changelog	Enrico Tassi	More...				about 1 year ago
release	Enrico Tassi	More...				about 1 year ago
[ci] do not pin dev	Enrico Tassi	More...				about 1 year ago
[ci] pin coq packages	Enrico Tassi	More...				about 1 year ago
Update main.yml	Enrico Tassi	More...				about 1 year ago
fix compilation 8.19 and 8.20	Enrico Tassi	More...				about 1 year ago
Merge pull request #650 from FissoreD/tc-all-in-namespace	Enrico Tassi	More...				about 1 year ago
[doc] do not install the tests	Enrico Tassi	More...				about 1 year ago
fix	Enrico Tassi	More...				about 1 year ago
fix test	Enrico Tassi	More...				about 1 year ago
Apply suggestions from code review	Enrico Tassi	More...				about 1 year ago
Merge branch 'master' into tc-all-in-namespace	Enrico Tassi	More...				about 1 year ago
Merge pull request #658 from LPCIC/better-error-reporting	Enrico Tassi	More...				about 1 year ago
fix-8-19	Enrico Tassi	More...				about 1 year ago
[TC] error predicate call solver	Davide Fissore	More...				about 1 year ago
fixup	Enrico Tassi	More...				about 1 year ago
silence default-output-directory warning	Enrico Tassi	More...				about 1 year ago
fix compilation	Enrico Tassi	More...				about 1 year ago
[TC] add test_hyp_in_concl (+ comment)	Davide Fissore	More...				about 1 year ago
fixup	Enrico Tassi	More...				about 1 year ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
121
122
→