| | | 0000371 | 1 | 1 |
Bug | major | resolved (zs) | 2014-12-23 | can't locate string.format.format_signed_int_component_nowidth_noprec/3 |
| | | 0000369 | 2 | 2 |
Bug | crash | resolved (zs) | 2014-12-16 | Software Error: hlds.pred_table: predicate `hlds.pred_table.lookup_builtin_pred_proc_id'/8: Unexpected: can't locate put/5 |
| | | 0000367 | 1 | |
Bug | minor | resolved (zs) | 2014-12-03 | array binary search predicates use builtin.compare |
| | | 0000181 | 1 | |
Bug | minor | resolved (pbone) | 2014-12-02 | Feedback framework uses partial instationation which is not well supported. |
| | | 0000364 | 1 | 1 |
Bug | minor | resolved (pbone) | 2014-10-07 | Autoparallelisation analysis crashes on nondet disjunctions. |
| | | 0000361 | 1 | 1 |
Bug | minor | resolved (zs) | 2014-09-16 | Compiler abort with loose determinism decl. and pragma loop_check |
| | | 0000041 | 2 | |
Bug | minor | resolved (juliensf) | 2014-09-02 | unclear error message in case the end_module declaration differs from the :- module description |
| | | 0000354 | 5 | 1 |
Bug | minor | resolved (zs) | 2014-08-30 | Building mercury_cairo fails in version 14.01 |
| | | 0000350 | 4 | |
Bug | minor | resolved (wangp) | 2014-08-25 | winpthreads support |
| | | 0000351 | 4 | 1 |
Bug | minor | resolved (zs) | 2014-08-12 | abort compiling integer.m with parallel conjunction |
| | | 0000125 | 5 | |
Bug | minor | resolved (wangp) | 2014-07-10 | thread.spawn should spawn OS thread in low-level C grades |
| | | 0000003 | 4 | |
Bug | minor | resolved (wangp) | 2014-07-10 | deep profiler bug with unify/compare for tuples |
| | | 0000334 | 1 | |
Bug | major | resolved (pbone) | 2014-06-30 | Low level C parallel grades crash with libc6 > 2.19.x and newer Intel processors |
| | | 0000340 | 1 | |
Bug | minor | resolved (wangp) | 2014-06-25 | strerror not thread-safe |
| | | 0000338 | | |
Bug | minor | resolved (wangp) | 2014-06-25 | asm_fast.par.gc programs crash on Windows |
| | | 0000342 | 5 | 1 |
Bug | major | resolved (juliensf) | 2014-06-25 | string.format broken in non-C grades |
| | | 0000341 | 1 | |
Bug | minor | resolved (juliensf) | 2014-06-24 | MingW32 Build Errors |
| | | 0000330 | 10 | 1 |
Bug | minor | resolved (zs) | 2014-05-27 | slice directory does not build in debugging grade |
| | | 0000329 | 2 | 1 |
Bug | crash | resolved (juliensf) | 2014-05-13 | Uncaught Mercury exception: |
| | | 0000327 | 7 | |
Bug | minor | resolved (juliensf) | 2014-05-13 | incorrect binutils used with mingw64 |
| | | 0000303 | 8 | |
Bug | minor | resolved (juliensf) | 2014-03-04 | Installation of java grade fails on Windows 7 / MinGW for 13.05.2-beta-2013-10-31 |
| | | 0000317 | 6 | 2 |
Bug | major | resolved (juliensf) | 2014-02-10 | :- pragma memo(findLngCmnSubsqStck/3). WORKING; not sure how to do static Asymptotic analysis |
| | | 0000316 | 1 | 1 |
Bug | major | resolved (juliensf) | 2014-02-05 | Declared `det', inferred `semidet'. --- [H|T] first argument input |
| | | 0000302 | 9 | 1 |
Bug | block | resolved (zs) | 2014-01-31 | can't bootcheck in asm_fast.gc.debug.stseg |
| | | 0000307 | 4 | |
Bug | minor | resolved (juliensf) | 2014-01-10 | internal compiler error in assign_by_spills during make install of mercury |
| | | 0000301 | 1 | 1 |
Bug | minor | resolved (wangp) | 2013-10-29 | incorrect handling of deconstructions in float_reg.m pass |
| | | 0000299 | 4 | 1 |
Bug | minor | resolved (wangp) | 2013-10-29 | unaligned memory access for unboxed doubles |
| | | 0000294 | 7 | 1 |
Bug | major | resolved (pbone) | 2013-09-29 | GCC 4.6 and 4.7 break asm_fast.par grades |
| | | 0000051 | 1 | 1 |
Bug | minor | resolved (wangp) | 2013-09-09 | abort during liveness detection |
| | | 0000297 | 2 | 1 |
Bug | major | resolved (wangp) | 2013-09-04 | compile-time evaluation of typed_unify changes behaviour |
| | | 0000292 | 4 | 1 |
Bug | major | resolved (juliensf) | 2013-07-12 | 'make install' fails on missing dependency (bryant.h) for robdd.m |
| | | 0000288 | 3 | 2 |
Bug | minor | resolved (juliensf) | 2013-06-24 | Some mercury binary files are built without respecting LDFLAGS |
| | | 0000287 | 4 | |
Bug | minor | resolved (juliensf) | 2013-06-05 | configure requires m4 |
| | | 0000222 | 2 | |
Bug | minor | resolved (juliensf) | 2013-05-28 | mmc can't compile csharp grade without --make under mingw |
| | | 0000183 | 1 | |
Bug | minor | resolved (juliensf) | 2013-05-22 | --warn-dead-procs should not warn about foreign-exported procs. |
| | | 0000257 | 3 | |
Bug | minor | resolved (juliensf) | 2013-05-21 | require_complete_switch var does not appear in sub-goal |
| | | 0000263 | 3 | 2 |
Bug | crash | resolved (juliensf) | 2013-05-17 | Segmentation fault: not enough memory when invoking solutions/2 |
| | | 0000253 | 1 | |
Feature Request | minor | resolved (juliensf) | 2013-04-12 | MS C# compiler should be invoked with -nologo |
| | | 0000279 | 1 | |
Bug | minor | resolved (juliensf) | 2013-04-11 | make install from stage 2 dir does not work with csharp grade |
| | | 0000277 | 1 | |
Bug | major | resolved (wangp) | 2013-03-20 | float bugs on 64-bit if built with pregenerated C sources |
| | | 0000203 | 8 | 2 |
Bug | minor | resolved (wangp) | 2013-03-18 | Problem with DESTDIR and Darwin |
| | | 0000275 | 4 | |
Bug | minor | resolved (wangp) | 2013-02-20 | hidden symbol pthread_atfork |
| | | 0000226 | 15 | |
Bug | tweak | resolved (juliensf) | 2013-01-08 | lazy.read_if_val unsound |
| | | 0000261 | 3 | |
Bug | major | resolved (juliensf) | 2013-01-07 | building mdbcomp in C# grade attempts to link with non-existant mer_rt.dll |
| | | 0000269 | 2 | 1 |
Bug | minor | resolved (wangp) | 2012-12-07 | unicode path handling in dir module |
| | | 0000268 | | |
Bug | crash | resolved (juliensf) | 2012-12-04 | Typo in :- end_module declaration leads to compiler crash. |
| | | 0000258 | 2 | |
Bug | major | resolved (juliensf) | 2012-06-23 | csharp grade is broken with rotd-2012-06-19 |
| | | 0000255 | 12 | 3 |
Bug | major | resolved (juliensf) | 2012-06-19 | build fails on OS X 10.4.11 PowerPC |
| | | 0000250 | 4 | 1 |
Bug | minor | resolved (wangp) | 2012-05-10 | GCC warnings: used but never defined |
| | | 0000254 | 1 | |
Bug | minor | resolved (juliensf) | 2012-03-02 | HTTP download links for 11.07.1 return 403 forbidden error |