index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
closed
Commit message (
Expand
)
Author
Age
*
Test for bug #3487.
Pierre-Marie Pédrot
2014-11-30
*
Test of bug #3682.
Pierre-Marie Pédrot
2014-11-30
*
Bug #3804 is actually closed (thanks to Jason Gross for the notification).
Xavier Clerc
2014-11-25
*
Pass around information on the use of template polymorphism for
Matthieu Sozeau
2014-11-23
*
Test for closed #2713 and #2876.
Hugo Herbelin
2014-11-22
*
Adding test for bug #3326.
Pierre-Marie Pédrot
2014-11-21
*
Adding test for bug #3424.
Pierre-Marie Pédrot
2014-11-21
*
Cleaning up closed bugs in test-suite.
Pierre-Marie Pédrot
2014-11-21
*
Test for bug #3788.
Pierre-Marie Pédrot
2014-11-21
*
Add test-suite file for bug #3804.
Matthieu Sozeau
2014-11-21
*
Adding test for bug #3684.
Pierre-Marie Pédrot
2014-11-20
*
Adding test for bug 3792.
Pierre-Marie Pédrot
2014-11-09
*
Test fixed by PMP's commits from Oct 21.
Hugo Herbelin
2014-11-08
*
Test for #3675 on primitive projections.
Hugo Herbelin
2014-11-07
*
Fixing #3562 ("as" in "destruct" expects either a disjunctive
Hugo Herbelin
2014-11-07
*
Test for #3542 fixed some time ago.
Hugo Herbelin
2014-11-07
*
Test for bug #3723 and #3787 on reinitialization of empty camlp4/5 levels.
Hugo Herbelin
2014-11-06
*
Test for bug #2149.
Pierre-Marie Pédrot
2014-11-04
*
New bugs revealed fixed: #3408 by (probably) Maxime's commits
Hugo Herbelin
2014-11-03
*
Fix test-suite for #2729.
Maxime Dénès
2014-10-22
*
Fixing a (new) part of bug #2729.
Hugo Herbelin
2014-10-20
*
Fix test-suite scripts.
Matthieu Sozeau
2014-10-16
*
Bug fixed by Hugo.
Matthieu Sozeau
2014-10-16
*
To stay closer to non-primitive projections, only unfold primitive
Matthieu Sozeau
2014-10-15
*
Fix for bug #3618.
Matthieu Sozeau
2014-10-15
*
Closed bug 3710.
Matthieu Sozeau
2014-10-15
*
Bug 3692 is fixed.
Matthieu Sozeau
2014-10-15
*
Bug 3628 is fixed.
Matthieu Sozeau
2014-10-15
*
Fix test-suite files which failed due to usage of $(admit)$ which
Matthieu Sozeau
2014-10-15
*
Fix bug 3637.
Matthieu Sozeau
2014-10-15
*
Reenable FO unification of primitive projections and their eta-expanded
Matthieu Sozeau
2014-10-15
*
Fix test-suite file after moving back to using C as the name
Matthieu Sozeau
2014-10-15
*
Implement a different strategy to expand primitive projections only when
Matthieu Sozeau
2014-10-15
*
Fix bug #3698: stack overflow due to eta+canonical structures in
Matthieu Sozeau
2014-10-14
*
Fixing the anomaly in bug #3045 (a filter was not type-safe in
Hugo Herbelin
2014-10-08
*
Add test-suite file for the projection unfolding bug I just fixed.
Matthieu Sozeau
2014-10-07
*
Fix test-suite file 3352 which was containing the wrong test.
Matthieu Sozeau
2014-10-07
*
Fix test-suite file to test original bug, not the failure of the guard
Matthieu Sozeau
2014-10-07
*
Fixing #3657 (check that both sides of a "change with" have the same
Hugo Herbelin
2014-10-03
*
Test for bug #3652 fixed in 0fb36157b9ba
Hugo Herbelin
2014-10-03
*
Fixing #3623 (unbound evars in types in a call to "change with").
Hugo Herbelin
2014-10-03
*
Implement module subtyping for polymorphic constants (errors on
Matthieu Sozeau
2014-10-02
*
Fixing bug #2810 (autounfold on local variable declared as hint but cleared).
Hugo Herbelin
2014-10-02
*
Removing test for bug #2080.
Pierre-Marie Pédrot
2014-10-01
*
Add a bunch of reproduction files for closed bugs.
Xavier Clerc
2014-09-30
*
Bug fixed.
Matthieu Sozeau
2014-09-29
*
Fix test-suite files
Matthieu Sozeau
2014-09-29
*
In evarconv and unification, expand folded primitive projections to
Matthieu Sozeau
2014-09-29
*
Fix test-suite file.
Matthieu Sozeau
2014-09-27
*
Fix bug #3664 by refolding projections that don't reduce in cbn.
Matthieu Sozeau
2014-09-27
[next]