2021-05-08 14:39 AEST

Viewing Issues (451 - 473 / 473)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  0000038    Bugminornew2008-01-16Compiler aborts in detism analysis with inst any case in negated context
  0000034 1 Bugminornew2008-01-03confusing error message in lambda function (but good message in predicate version)
  0000032    Bugminornew2007-12-14loop invariant optimization generates invalid HLDS
  000003134 Bugminorresolved (juliensf)2007-12-10modules compilation on 64-bit platform eats too much memory
  000000481 Bugminorresolved (juliensf)2007-12-09change in --runtime-flags should rebuild <main>_init.o
  000002811 Bugmajorresolved (zs)2007-11-19Unexpected: adjust_livevals
  00000272   Bugcrashresolved (juliensf)2007-11-14Type var in instance declaration can cause compiler to crash
  000001871 Bugminorresolved (juliensf)2007-11-08inconsistent treatment of true goals with no outputs.
  000002511 Bugcrashconfirmed2007-11-01tabling of predicates with type class constraints causes an internal compiler error
  000002111 Bugminorresolved (juliensf)2007-11-01equivalences for solver types lead to badly typed initialisation predicates
  00000243   Bugminorresolved (juliensf)2007-10-31Debugger commands inconsistant with help message.
  000000711 Bugminorfeedback2007-10-26Type ctor module name bug
  0000022 1 Bugminornew2007-10-23compiler abort with memoing, dead proc. elimination and the hlc backend
  000001121 Bugminorresolved (juliensf)2007-10-22instance declarations for unknown types accepted in interface
  000000612 Bugminorassigned (zs)2007-10-19compiler abort
  000000511 Bugminorresolved (juliensf)2007-10-19bad error message for state vars
  00000162   Bugtextresolved (juliensf)2007-10-18doc: description of float token wrong
  000001912 Bugminorconfirmed2007-10-16foreign type mutables don't work in high-level C grades
  0000009 1 Bugminornew2007-10-13spurious error message when testing equivalence of equal things
  00000131   Bugminorassigned (juliensf)2007-10-12builtin types inconsistently module qualified
  0000014    Bugminornew2007-10-03mmc --make install should not touch unmodified files
  000000241 Bugminorresolved (petdr)2007-10-03equivalence types in instance declarations
  000000121 Bugminoracknowledged2007-09-25non-instructive error message: 'unused' mode requires explicit lambda expression