| | |  | 0000336 | 8 | |
Bug | minor | acknowledged (pbone) | 2018-03-13 | java programs do not wait for all threads to finish |
| | |  | 0000357 | 6 | |
Bug | minor | resolved (juliensf) | 2016-10-03 | Parallel conjunction broken on OS X |
| | | | 0000214 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2016-06-30 | confusing type error |
| | | | 0000184 | 1 | |
Bug | crash | resolved (juliensf) | 2016-06-30 | Unresolved polymorphism in typeclass crashes mmc |
| | | | 0000373 | 2 | |
Bug | minor | new | 2016-02-24 | string.to_float imprecisely specified |
| | | | 0000388 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2015-12-14 | Inconsistent permissions on library jar files |
| | | | 0000017 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-11 | no error for unknown types in interface if defined in implementation |
| | | | 0000187 | 2 | 1 |
Bug | minor | confirmed (juliensf) | 2015-10-31 | Strange error with disjunctive definitions returning existential typeclass instance |
| | | | 0000278 | 4 | 1 |
Bug | minor | resolved (zs) | 2015-10-29 | Compiler crash from bad state variable use. |
