index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
pretyping
Commit message (
Expand
)
Author
Age
*
Parsing
herbelin
2001-08-10
*
Bug Simpl
herbelin
2001-07-24
*
Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...
herbelin
2001-07-21
*
Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...
herbelin
2001-07-21
*
Les tables de coercions ne doivent pas survivre aux sections
herbelin
2001-07-06
*
la conversion ne doit être testé dans evar_conv qu'en absence de evar
herbelin
2001-07-06
*
has_undefined_isevars était buggé
herbelin
2001-07-06
*
Débogage discharge des coercions; nettoyage
herbelin
2001-07-05
*
message Ambiguous paths seulement si verbose
filliatr
2001-07-04
*
Nettoyage/restructuration des ensembles d'indicateurs de réductions
herbelin
2001-07-02
*
traitement du let dans red_product (tactique Red)
barras
2001-06-29
*
Bug dépendances non pertinentes (dû à des K-rédex) dans le type des branc...
herbelin
2001-06-25
*
Normalisation du predicat synthetise pour les Case
clrenard
2001-06-20
*
code mort
herbelin
2001-06-16
*
Ajout d'une normalisation (beta_iota) pour les predicats de Cases inferes aut...
clrenard
2001-06-12
*
Facilites pour le debogguage des univers.
coq
2001-05-29
*
amelioration des messages d'erreurs vis a vis des evars
barras
2001-05-23
*
Modification pour passage p-automates
mohring
2001-05-15
*
Correction bug predicat du Cases (suite)
herbelin
2001-05-15
*
Bug propagation du predicat des Cases
herbelin
2001-05-12
*
Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)
herbelin
2001-05-10
*
Changement de la structure des points fixes
barras
2001-05-03
*
Bug perte d'alias avec type dependents
herbelin
2001-04-25
*
Bug affichage ordre des variables d'un pattern
herbelin
2001-04-15
*
Mise en place d'un test de clauses non utilisees
herbelin
2001-04-13
*
Bug context incoherent au passage du lambda et du let dans evar_eqappr
herbelin
2001-04-10
*
bug Fix signalé par Alexandre (even/odd mal interprété)
filliatr
2001-04-02
*
deux fois $Id$
filliatr
2001-03-29
*
amelioration de la structure des univers
barras
2001-03-28
*
amelioration de la consommation memoire de la conversion en eta-expansant
barras
2001-03-23
*
entetes
filliatr
2001-03-15
*
Alias suite + bugs divers et variés
herbelin
2001-03-14
*
Prise en compte des Let dans l'instance des evars
herbelin
2001-03-14
*
Rien au lieu erreur si plusieurs cas par défaut; quasi-achèvement alias dé...
herbelin
2001-03-12
*
Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisation
herbelin
2001-03-11
*
Avancée vers la prise compte des alias dépendants; prise en compte des clau...
herbelin
2001-03-11
*
Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisation
herbelin
2001-03-11
*
Pb génération noms Cases + mise en place mécanisme d'histoire du filtrage ...
herbelin
2001-03-05
*
Déplacement de qualid dans Nametab, hors du noyau
herbelin
2001-03-01
*
nouvelle implantation de la reduction
barras
2001-03-01
*
uniformisation avec constr des lieurs dans rawterm/pattern
herbelin
2001-02-14
*
Retrait de EvarRef de global_reference; nettoyage autour de ast_of_ref
herbelin
2001-02-07
*
Ajout d'une commande pour afficher chaque coercion à la demandeparsing/g_bas...
herbelin
2001-02-06
*
Restructuration de classops; évolution en une version mieux intégrée au re...
herbelin
2001-02-05
*
Restructuration de classops; évolution en une version mieux intégrée au re...
herbelin
2001-02-05
*
Reparation reduce_to_mind
mohring
2001-02-01
*
- coqc : option -image
filliatr
2001-02-01
*
Bug localisation des Syntactif Definition
herbelin
2001-01-31
*
Mise en place de la possibilite d'unfolder des variables locales et des const...
filliatr
2001-01-31
*
Prise en compte du let-in dans lookup_*_as_renamed
herbelin
2001-01-30
[next]