# Please report bugs that CPAchecker found!

# Use one line for each bug report; the line contents will be inserted in an HTML page between tags <li> and </li>;
# empty lines and lines starting with '#' are omitted.

# Place latest bugs first; the first n bugs will be shown on the CPAchecker web page.

# Please use a committer date for bugs found in the Linux kernel since it
# reflects that corresponding bugs were recognized by the developers.
# Do not use any extra links except links to commits because of they are
# not uniform and can become deprecated.

2015-01-12: Bug found and fixed in Linux kernel 3.19-rc3 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=c4277e9ea70431aea0fecebb8bb9a3fbc27d074e">commit</a>)
2014-11-06: Bug found and fixed in Linux kernel 3.18-rc4 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=816764859a5347315cb2f1578cf0252ee129c128">commit</a>)
2014-10-06: Bug found and fixed in Linux kernel 3.17-rc6 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=56ec16cb1e1ce46354de8511eef962a417c32c92">commit</a>)
2014-04-16: Bug found and fixed in Linux kernel 3.15-rc2 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=070c0b17f6a1ba39dff9be112218127e7e8fd456">commit</a>)
2013-11-29: Bug found and fixed in Linux kernel 3.13-rc4 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=6633327d59067fe16128d66968cd50a10ca7a09c">commit</a>)
2013-03-28: Bug found and fixed in Linux kernel 3.10-rc1 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=193d01532a730a53cbc74462799dbc43968b97fd">commit</a>)
2012-03-08: Bug found and fixed in Linux kernel 3.5-rc5 (<a href="https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=0c07aec31a98a63ee83f2bbad4a2fab0e0f58d33">commit</a>)

