C

Coq ELPI

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 02, 2024 — Aug 02, 2025 Showing page 15 of 122 Search / Filter on:
situation where the code refuses to produce an instantiation	Yves Bertot (he)	More...				9 months ago
checkpoint	Yves Bertot	More...				9 months ago
checkpoint	Yves Bertot	More...				9 months ago
this version now accepts constant terms as replacement values	Yves Bertot	More...				9 months ago
This version contains a minimal working example of a tactic performing replacements under lambdas, justified by extensionality and ring.	Yves Bertot	More...				9 months ago
same	Yves Bertot	More...				9 months ago
the declaration of open-trm as an argument variant was missing	Yves Bertot	More...				9 months ago
Merge pull request #713 from proux01/ci-update	Enrico Tassi	More...				9 months ago
in this version exactly one unbound expression, for both the input and output expressions, and the lambda where the rewrite happens is the rightmost	Yves Bertot	More...				9 months ago
[CI] Update Nix toolbox	Pierre Roux	More...				9 months ago
first draft	Yves Bertot	More...				9 months ago
Merge pull request #712 from proux01/ci-update	Enrico Tassi	More...				9 months ago
[CI] Update Nix toolbox	Pierre Roux	More...				9 months ago
Merge pull request #711 from LPCIC/fix-libobject	Enrico Tassi	More...				9 months ago
fix implementation of accumulation in the current library	Enrico Tassi	More...				9 months ago
run all tests	Enrico Tassi	More...				9 months ago
Merge pull request #707 from LPCIC/fix-err	Enrico Tassi	More...				9 months ago
Adapt to Elpi 2.0	Enrico Tassi	More...				9 months ago
fix compilation coq_elpi_builtins.ml	Enrico Tassi	More...				9 months ago
Fix typo CErrors.error -> user_err	Gaëtan Gilbert	More...				9 months ago
Merge pull request #706 from FissoreD/ce-not-ground-clause-acc-error	Enrico Tassi	More...				9 months ago
Update src/coq_elpi_builtins.ml	Enrico Tassi	More...				9 months ago
Update src/coq_elpi_builtins.ml	Enrico Tassi	More...				9 months ago
[coq_elpi_builtins] change error msg when loading non-closed clause in a db	Davide Fissore	More...				9 months ago
Merge pull request #705 from FissoreD/warning-unused-open	Enrico Tassi	More...				9 months ago
remove unused module open	Davide Fissore	More...				9 months ago
Merge pull request #702 from SkySkimmer/keep-force	Enrico Tassi	More...				9 months ago
Adapt to coq/coq#19709 (libobject requires explicit classification)	Gaëtan Gilbert	More...				10 months ago
Merge pull request #701 from ckeller/doc-typo	Enrico Tassi	More...				10 months ago
Small typo in documentation	Chantal Keller	More...				10 months ago

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