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
Commit message (
Expand
)
Author
Age
*
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
*
Add a bunch of reproduction files for bugs.
Xavier Clerc
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
*
Add a bunch of reproduction files for bugs.
Xavier Clerc
2014-09-30
*
Adding a test for bug #2428.
Pierre-Marie Pédrot
2014-09-29
*
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
*
Keyed unification option, compiling the whole standard library
Matthieu Sozeau
2014-09-27
*
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
*
Fix semantics of matching with folded/unfolded projections to definitely
Matthieu Sozeau
2014-09-27
*
Fix bug #3672, application of primitive projections as coercions.
Matthieu Sozeau
2014-09-27
*
Fix bug 3662 by actually reducing primitive projections in cbv/compute.
Matthieu Sozeau
2014-09-27
*
Bug fixed.
Matthieu Sozeau
2014-09-27
*
Make pattern_of_constr typed so that we can infer the proper patterns
Matthieu Sozeau
2014-09-27
*
Add a boolean to indicate the unfolding state of a primitive projection,
Matthieu Sozeau
2014-09-27
*
Fix canonical structure resolution which was launched on the results of
Matthieu Sozeau
2014-09-26
*
Add a bunch of reproduction files for bugs.
Xavier Clerc
2014-09-26
*
Add missing "Fail" to bug cases.
Xavier Clerc
2014-09-26
*
Bug #3566 is fixed.
Xavier Clerc
2014-09-26
*
Adding a test for bug #3653.
Pierre-Marie Pédrot
2014-09-26
*
Test cases for closed bugs.
Xavier Clerc
2014-09-26
*
Add several reproduction files for bugs.
Xavier Clerc
2014-09-25
*
Update test-suite files.
Matthieu Sozeau
2014-09-24
*
Fix bug #3656.
Matthieu Sozeau
2014-09-23
*
Move the specific map_constr_with_binders_left_to_right
Matthieu Sozeau
2014-09-19
*
Fix constrMatching as well as change/e_contextually to allow
Matthieu Sozeau
2014-09-18
*
Fix debug printing with primitive projections.
Matthieu Sozeau
2014-09-18
*
Fix bug #3593, making constr_eq and progress work up to
Matthieu Sozeau
2014-09-17
*
Fix bug #3633 properly, by delaying the interpetation of constrs in
Matthieu Sozeau
2014-09-17
*
Revert "While resolving typeclass evars in clenv, touch only the ones that ap...
Matthieu Sozeau
2014-09-17
*
While resolving typeclass evars in clenv, touch only the ones that appear in the
Matthieu Sozeau
2014-09-17
*
Update test-suite files after last commit. Add a file for rewrite_strat
Matthieu Sozeau
2014-09-17
[next]