aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed
Commit message (Expand)AuthorAge
...
* Added regression test for bug #3023 which was solved by Matthieu'sGravatar herbelin2013-04-16
* Equality: avoid some unprotected List.nth (fix #2837)Gravatar letouzey2013-04-10
* Enrich test-suite with a test for #3022.Gravatar ppedrot2013-04-08
* Enrich test-suite with a test for #2928Gravatar letouzey2013-03-25
* Enrich test-suite with a test for #2734Gravatar letouzey2013-03-25
* Add the test-case of bug 2750 in the test-suiteGravatar letouzey2013-03-25
* Robust display of NotConvertibleTypeField errors (fix #3008, #2995)Gravatar letouzey2013-03-21
* Firstorder: record with defined field aren't conjonctions (fix #2629)Gravatar letouzey2013-03-21
* Printmod: fresh fake namespaces for non-visible modules (fix #2668, #2983)Gravatar letouzey2013-03-21
* Check a list length before doing a List.chop (fix #3000)Gravatar letouzey2013-03-20
* Fix for bug #3004 (thanks Hugo!)Gravatar letouzey2013-03-18
* A slightly more efficient test of well-typedness of restriction ofGravatar herbelin2013-02-21
* Fixed bug #2981 (anomaly NotASort in Retyping due to collision betweenGravatar herbelin2013-02-05
* Added a file for testing regression of bug #2955 (anomaly in simpl inGravatar herbelin2013-01-29
* Fixing bug #2969 (admit failing after Grab Existential Variables dueGravatar herbelin2013-01-29
* Fixed bug #2966 (de Bruijn error in computation of heads for coercions).Gravatar herbelin2013-01-28
* Fixing one part of #2830 (anomaly "defined twice" due to nested calls toGravatar herbelin2013-01-28
* Unset Asymmetric PatternsGravatar pboutill2013-01-18
* Fixed bug #2930: folded let-in's were hiding a violation to the occurGravatar herbelin2012-11-25
* Fixing #2836 (materialize_evar might refine as a side effect theGravatar herbelin2012-07-29
* Continuing r15459: it helps testing occur-check early in someGravatar herbelin2012-07-06
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Fixing bug #2817 (occur check was not done up to instantiation ofGravatar herbelin2012-06-20
* Implicit arguments of Definition are taken from the type when given by the user.Gravatar pboutill2012-04-27
* Bug 2733 : { } implicits and FixpointsGravatar pboutill2012-04-17
* Fixing tauto "special" behavior on singleton types w/ 2 parameters (bug #2680).Gravatar herbelin2012-04-15
* Repair two testsGravatar letouzey2012-04-12
* Generalized the use of evar candidates in type inference unification:Gravatar herbelin2012-03-20
* Fix bugs related to Program integration.Gravatar msozeau2012-03-19
* Fixing bug #2732 (anomaly when using the tolerance for writingGravatar herbelin2012-03-18
* Fixing vm_compute bug #2729 (function used to decompose constructorsGravatar herbelin2012-03-13
* Backtracking on r14876 (fix for bug #2267): extra scopes might beGravatar herbelin2012-01-05
* Fixing Arguments Scope bug when too many scopes are given (bug #2667).Gravatar herbelin2012-01-04
* Extend the computation of dependencies in pattern-matching compilationGravatar herbelin2011-11-21
* Fixing bug #2640 and variants of it (inconsistency between when andGravatar herbelin2011-11-17
* Fixing bug #1834 (de Bruijn indices bug in pattern-matching compilation).Gravatar herbelin2011-11-16
* Regression tests for bugs #2613 and #2616.Gravatar herbelin2011-10-25
* New strategy to infer return predicate of match construct whenGravatar herbelin2011-10-25
* Mod_subst: Attempt to fix #2608Gravatar letouzey2011-10-24
* Fix bug #2473 due to wrong folding of the evar environmentGravatar msozeau2011-10-18
* Fix inductive coercion code in Program (bug #2378)Gravatar msozeau2011-10-18
* Fix bug #2586 and enhance clsubst* as well as a side effectGravatar msozeau2011-10-18
* Fix bug #2456 and wrong unfolding of lets in the goal due to [unfold] doing z...Gravatar msozeau2011-10-17
* test-suite: non-regression test for bug #2603Gravatar letouzey2011-10-12
* Added test for bug #2615Gravatar herbelin2011-10-11
* fsetdec : non-atomic elements are now transformed as variables first (fix #2464)Gravatar letouzey2011-10-07
* Improved handling of element equalities in fsetdec (fix #2467)Gravatar letouzey2011-10-07
* Omega aware of Z.pred (fix #1912)Gravatar letouzey2011-09-15
* Re-allowing assumptions during proofs seems safe now (fix #2411)Gravatar letouzey2011-09-15
* Relaxed the constraint introduced in r14190 that froze the existingGravatar herbelin2011-06-18