Open Hub
Open Hub

 Settings |  Report Duplicate

20
I Use This!
Very High Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 9 hours ago.
Dec 01, 2024 — Dec 01, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
chemin compile des fichiers Coq
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
petite erreur dans Command
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
documentation
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
documentation interfaces
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
fichiers prelude Coq
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
Poursuite int��gration du Cases
Hugo Herbelin
as herbelin
More... almost 26 years ago
Ajout pp pattern et rawterm
Hugo Herbelin
as herbelin
More... almost 26 years ago
mise a jour
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
modules et coqc
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
modules
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
renommage (nom de module invalide)
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
mise en place des outils
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
outils (manquent encore les deux filtres)
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
Int��gration initiale du Cases
Hugo Herbelin
as herbelin
More... almost 26 years ago
Quelques fonctions sur les locations des rawconstr
Hugo Herbelin
as herbelin
More... almost 26 years ago
bug: enregistrement de vartab au lieu de csttab
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
indications pour les developpeurs
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
- erreurs Pretype - Write / Restore State
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
debug reset
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
Suppression Rel de rawconstr et correction de bugs d'affichage
Hugo Herbelin
as herbelin
More... almost 26 years ago
debug discharge et inductifs
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
Ajout des messages d'erreurs de Cases
Hugo Herbelin
as herbelin
More... almost 26 years ago
Bug affichage constructeur
Hugo Herbelin
as herbelin
More... almost 26 years ago
- constantes avec recettes - discharge en deux temps, avec ��tat remis comme au d��but de la section (mais c'est toujours bugg��)
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
Discharge (encore bugge)
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
deplacement de Discharge dans toplevel
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
link Dhyp et Auto
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
correction bug construct_reference
Jean-Christophe Filliatre
as filliatr
More... almost 26 years ago
MAJ
Hugo Herbelin
as herbelin
More... almost 26 years ago