| | | 0000393 | 1 | |
Bug | minor | resolved (zs) | 2015-09-18 | #line directives in .mh cause unnecessary recompilations |
| | | 0000143 | 2 | 1 |
Bug | feature | resolved (juliensf) | 2010-05-20 | ':- initialise' directives not being respected. |
| | | 0000292 | 4 | 1 |
Bug | major | resolved (juliensf) | 2013-07-12 | 'make install' fails on missing dependency (bryant.h) for robdd.m |
| | | 0000057 | | |
Bug | minor | assigned (mark) | 2008-04-10 | --common-struct inhibits tail call optimisation |
| | | 0000249 | | |
Bug | minor | new | 2011-12-14 | --dump-mlds does not work for non-C grades |
| | | 0000094 | 2 | 1 |
Bug | major | closed (zs) | 2009-11-05 | --from-ground-term-threshold regression |
| | | 0000193 | 2 | 1 |
Bug | tweak | confirmed | 2012-07-06 | --introduce-accumulators doesn't recognize "promise all" containing type annotation |
| | | 0000076 | 1 | 1 |
Bug | minor | resolved (wangp) | 2008-08-22 | --make-opt-int incorrectly handles existentially typed methods |
| | | 0000308 | 3 | |
Feature Request | tweak | closed | 2014-02-21 | --max-error-line-width should allow '0' meaning no-maximum |
| | | 0000266 | 2 | |
Bug | trivial | assigned (juliensf) | 2012-12-07 | --no-warn-missing-det-decls doesn't exist |
| | | 0000160 | 4 | 2 |
Bug | major | closed (zs) | 2010-09-14 | --optimize-fulljumps generating incorrect code |
| | | 0000506 | | |
Feature Request | minor | assigned (zs) | 2020-05-01 | --recommend-order |
| | | 0000536 | 2 | |
Bug | minor | new | 2021-06-25 | --track-flags unreliable when invoked quickly |
| | | 0000183 | 1 | |
Bug | minor | resolved (juliensf) | 2013-05-22 | --warn-dead-procs should not warn about foreign-exported procs. |
| | | 0000495 | 1 | |
Bug | minor | resolved (zs) | 2020-10-06 | -O<n> options not additive |
| | | 0000012 | 2 | |
Bug | minor | closed | 2007-10-05 | ./configure doesn't correctly identify that my compiler is not recent enough |
| | | 0000531 | 1 | |
Bug | major | new | 2021-04-27 | 20.06.1 will not compile in MingW32 2013072200 w/gcc 9.2.0-2: gettimeofday is deprecated |
| | | 0000317 | 6 | 2 |
Bug | major | resolved (juliensf) | 2014-02-10 | :- pragma memo(findLngCmnSubsqStck/3). WORKING; not sure how to do static Asymptotic analysis |
| | | 0000010 | 2 | 1 |
Bug | minor | resolved (juliensf) | 2015-11-29 | :- pragma source_file ignored for warnings about unused imports in the interface. |
| | | 0000171 | 1 | |
Bug | minor | closed (pbone) | 2011-02-08 | A threadscope grade without GC cannot be built. |
| | | 0000351 | 4 | 1 |
Bug | minor | resolved (zs) | 2014-08-12 | abort compiling integer.m with parallel conjunction |
| | | 0000051 | 1 | 1 |
Bug | minor | resolved (wangp) | 2013-09-09 | abort during liveness detection |
| | | 0000535 | | |
Bug | minor | new | 2021-06-05 | Abort during make install with grade hlc.gc on Windows 10 |
| | | 0000113 | 1 | 1 |
Bug | minor | resolved (zs) | 2009-10-17 | abort during purity checking. |
| | | 0000134 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-03-04 | abort in MLDS backend with --no-static-ground-terms |
| | | 0000481 | 1 | 1 |
Bug | minor | resolved (zs) | 2019-08-20 | abort in MLDS code generator with --static-ground-terms |
| | | 0000197 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-05-16 | abort in state variable transformation |
| | | 0000457 | 1 | 1 |
Bug | minor | resolved (wangp) | 2018-04-30 | abort on construct_statically in var_locn |
| | | 0000437 | 1 | 1 |
Bug | minor | resolved (zs) | 2017-08-06 | abort on empty nested sub-module |
| | | 0000186 | 1 | 2 |
Bug | minor | new | 2011-02-22 | abort when --infer-all is enabled |
| | | 0000074 | 2 | 1 |
Bug | crash | confirmed | 2008-09-02 | abstract data types in type classes get garbled on x64 |
| | | 0000411 | 3 | 2 |
Bug | major | resolved (wangp) | 2017-08-22 | abstract type not hidden |
| | | 0000208 | 1 | |
Bug | feature | resolved (juliensf) | 2023-10-08 | add help and version command line options to mslice and mdice |
| | | 0000239 | 2 | 2 |
Bug | minor | new | 2011-12-05 | Aliasing of partially instantiated structures in solutions.* predicates |
| | | 0000389 | 1 | |
Feature Request | minor | resolved (wangp) | 2015-09-30 | aligned_pointer foreign type assertion |
| | | 0000505 | | |
Feature Request | minor | assigned (zs) | 2020-05-01 | allow reference only to explicitly imported modules |
| | | 0000434 | 3 | |
Bug | minor | resolved (wangp) | 2018-01-09 | Alpine Linux / musl libc / x86_64 support |
| | | 0000083 | 1 | 1 |
Bug | minor | resolved (juliensf) | 2009-04-06 | ambiguous names in foreign_export |
| | | 0000557 | 1 | 1 |
Bug | minor | resolved (zs) | 2022-04-11 | Ambiguous type causes compiler error without giving a useful error message for debugging |
| | | 0000050 | 1 | 1 |
Bug | minor | resolved (zs) | 2015-11-15 | another compiler abort when using debug grades |
| | | 0000036 | 1 | 1 |
Bug | major | new | 2016-06-23 | another tabling bug with the high-level C backend |
| | | 0000382 | 3 | 1 |
Bug | crash | resolved (zs) | 2015-03-16 | arg-pack-bits optimisation broken with foreign_enums. |
| | | 0000454 | 7 | 2 |
Bug | minor | resolved (wangp) | 2018-03-13 | arith_int64 failure |
| | | 0000367 | 1 | |
Bug | minor | resolved (zs) | 2014-12-03 | array binary search predicates use builtin.compare |
| | | 0000313 | 3 | |
Bug | major | closed | 2014-01-28 | array module declared, but compiler complains |
| | | 0000453 | 9 | |
Bug | crash | new | 2018-03-16 | asm_fast does not work with gcc 5.4 |
| | | 0000293 | 3 | |
Bug | minor | resolved (juliensf) | 2015-07-08 | asm_fast grades do not work with GCC 4.8 |
| | | 0000560 | 5 | |
Bug | crash | new | 2022-05-31 | asm_fast.gc crashes on aarch64 with gcc 10.2 |
| | | 0000514 | 3 | |
Bug | minor | resolved (zs) | 2020-07-28 | asm_fast.gc.profdeep.stseg grade fails to compile with GCC 10 |
| | | 0000338 | | |
Bug | minor | resolved (wangp) | 2014-06-25 | asm_fast.par.gc programs crash on Windows |