C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 02, 2024 — Aug 02, 2025 Showing page 16 of 122 Search / Filter on:
Merge pull request #696 from SkySkimmer/push-context-strict	Enrico Tassi	More...				10 months ago
optcomp	Enrico Tassi	More...				10 months ago
fix version parser	Enrico Tassi	More...				10 months ago
Merge pull request #700 from FissoreD/setupinit-order	Enrico Tassi	More...				10 months ago
[setup.init] elpi-builtin loaded before coq-builtin	Davide Fissore	More...				10 months ago
Merge pull request #699 from LPCIC/gares-patch-1	Enrico Tassi	More...				10 months ago
Update version_parser.ml	Enrico Tassi	More...				10 months ago
Merge pull request #698 from LPCIC/gares-patch-1	Enrico Tassi	More...				10 months ago
Update coq-elpi.opam	Enrico Tassi	More...				10 months ago
Update coq-elpi.opam	Enrico Tassi	More...				10 months ago
Merge pull request #693 from LPCIC/support-multiple-elpi-version	Enrico Tassi	More...				10 months ago
Merge pull request #656 from FissoreD/premise_with_solution	Enrico Tassi	More...				10 months ago
Merge pull request #697 from LPCIC/fix-ci-820	Enrico Tassi	More...				10 months ago
fix compilation on 8.20	Enrico Tassi	More...				10 months ago
Adapt to coq/coq#19620 (Global.push_context_set no strict argument)	Gaëtan Gilbert	More...				10 months ago
Merge pull request #668 from gares/fix-primproj-notype	Enrico Tassi	More...				10 months ago
Timeout raised to 10s	Enrico Tassi	More...				10 months ago
Update README.md	Enrico Tassi	More...				10 months ago
Update README.md	Enrico Tassi	More...				10 months ago
Merge pull request #684 from rlepigre/resolver	Enrico Tassi	More...				10 months ago
Add changelog entry.	Rodolphe Lepigre	More...				10 months ago
nix	Enrico Tassi	More...				10 months ago
Update etc/version_parser.ml	Enrico Tassi	More...				10 months ago
nix	Enrico Tassi	More...				10 months ago
fix doc	Enrico Tassi	More...				11 months ago
ifdefs on elpi version in source code	Enrico Tassi	More...				11 months ago
drop 8.19 (#670)	Enrico Tassi	More...				11 months ago
fixup	Enrico Tassi	More...				11 months ago
clause removal needs unreleased elpi version	Enrico Tassi	More...				11 months ago
Fix for new compiler (#692)	Enrico Tassi	More...				11 months ago

←
1
2
…
12
13
14
15
16
17
18
19
20
…
121
122
→