aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Cases.v
Commit message (Expand)AuthorAge
* Fixing #4467 (continued).Gravatar Hugo Herbelin2016-01-13
* A uniformization step around understand_* and interp_* functions.Gravatar herbelin2013-05-09
* Unset Asymmetric PatternsGravatar pboutill2013-01-18
* Taking into account the possibility of having a type of type which isGravatar herbelin2012-12-18
* Fix the test-suite by removing any Reset in the scriptsGravatar letouzey2012-03-23
* Updating Cases.v test.Gravatar herbelin2011-11-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Slight change of the semantics of user-given casts: they don't reallyGravatar msozeau2008-11-07
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Passage a un SStream predicatifGravatar herbelin2003-11-13
* Parenthèses manquantes pour se conformer à la doc (et au nouveau PeanoSynta...Gravatar herbelin2002-10-21
* Nouveaux exemplesGravatar herbelin2001-11-21
* Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)Gravatar herbelin2001-10-03
* Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...Gravatar herbelin2001-09-19
* Decomposition de CasesGravatar mohring2001-04-20
* entetesGravatar filliatr2001-03-15
* Ajout syntaxe zarithGravatar herbelin2001-03-14
* Test syntaxe avec motifs numériquesGravatar herbelin2001-02-14
* Fichier de test pour les CasesGravatar herbelin2000-12-14