Commit Graph
54 Commits
Author SHA1 Message Date
chriseth 11d30ec04f Some changes after review. 2017-04-18 11:40:00 +02:00
chriseth 10c32362ea Prefix all optimizer bug names by Optimizer. 2017-04-12 15:37:06 +02:00
chriseth feacfcfd20 Typo and more explanation. 2017-04-12 15:35:25 +02:00
chriseth 291ece2bdb List of known bugs. 2017-04-12 12:23:34 +02:00