Bug Reports

This is the place to report bugs in Mizar. Note: Please start a new topic for each bug.

New bug topic:   (Use a name in WikiNotation)

Reported bugs:

Bug: Submitted by -
Last Author:
Last Change - Version:
BadErrorMessages: Bug: Incorrect Error Explanations Sometimes the error explanation is incorrect (or rather partially correct ... it does not take into account al possibilities). ... JosefUrban -
2002-08-07 - 13:58 - 1 - Diffs
CheckerClusterRounding: Bug: CheckerClusterRounding Checker (sometimes?) forgets to do the "cluster rounding up". Test case (taken from the Hagenberg course) having the cluster being ... JosefUrban -
2002-07-09 - 10:12 - 1 - Diffs
Number of topics: 2

Related topics:

  • BugAssigned?: List of bugs assigned to be fixed.
  • BugResolved?: List of resolved bugs
  • BugDuplicate?: List of duplicats of other bugs.
  • BugRejected?: List of rejected bugs.
  • NewBugTemplate: Template topic for new bugs
    • NOTE: Please don't edit this page unless you are a TWiki.org administrator!
    • To submit new bug reports, scroll to the top of this page and use the form field.
Topic revision: r3 - 2002-07-05 - 16:11:17 - WikiRoot
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback