| | | 0000045 | 1 | 2 |
Bug | minor | resolved (zs) | 2008-02-20 | mdb not using format params from .mdbrc |
| | | 0000046 | 1 | |
Bug | minor | resolved (zs) | 2008-02-20 | regression of general/det_complicated_unify in grade asm_fast.gc.profdeep |
| | | 0000030 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2008-01-23 | break promise_equivalent_solutions |
| | | 0000037 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2008-01-17 | high-level C backend produces invalid C code |
| | | 0000031 | 3 | 4 |
Bug | minor | resolved (juliensf) | 2007-12-10 | modules compilation on 64-bit platform eats too much memory |
| | | 0000004 | 8 | 1 |
Bug | minor | resolved (juliensf) | 2007-12-09 | change in --runtime-flags should rebuild <main>_init.o |
| | | 0000028 | 1 | 1 |
Bug | major | resolved (zs) | 2007-11-19 | Unexpected: adjust_livevals |
| | | 0000027 | 2 | |
Bug | crash | resolved (juliensf) | 2007-11-14 | Type var in instance declaration can cause compiler to crash |
| | | 0000018 | 7 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-08 | inconsistent treatment of true goals with no outputs. |
| | | 0000021 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-11-01 | equivalences for solver types lead to badly typed initialisation predicates |
| | | 0000024 | 3 | |
Bug | minor | resolved (juliensf) | 2007-10-31 | Debugger commands inconsistant with help message. |
| | | 0000011 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-22 | instance declarations for unknown types accepted in interface |
| | | 0000005 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2007-10-19 | bad error message for state vars |
| | | 0000016 | 2 | |
Bug | text | resolved (juliensf) | 2007-10-18 | doc: description of float token wrong |
| | | 0000002 | 4 | 1 |
Bug | minor | resolved (petdr) | 2007-10-03 | equivalence types in instance declarations |