| | |  | 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 |
| | |  | 0000259 | 4 | 4 |
Feature Request | minor | new | 2013-06-04 | Impossible to override /lib dir with /lib64 etc |
| | | | 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. |
| | | | 0000262 | 1 | |
Bug | minor | new | 2013-05-22 | Mercury doesn't compile on NetBSD |
| | | | 0000161 | 6 | |
Bug | major | assigned (juliensf) | 2013-05-21 | Calling io.seen/2 twice in a row can crash the runtime with a segfault. |
| | | | 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 |
| | | | 0000282 | | |
Bug | minor | new | 2013-05-06 | GNU-specific regexps in test filters |
| | | | 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 |
| | | | 0000276 | | 2 |
Bug | minor | new | 2013-02-27 | io.call_system/4 inconsistency between C and Java grades |
| | | | 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 |
| | | | 0000272 | | 1 |
Bug | major | new | 2013-01-04 | The polymorphism pass can generate mode-incorrect code. |
| | |  | 0000270 | 3 | 1 |
Bug | crash | confirmed (juliensf) | 2012-12-31 | When one uses fact_table, the mercury compiler crashes if there is an error in the fact_table. |
| | | | 0000266 | 2 | |
Bug | trivial | assigned (juliensf) | 2012-12-07 | --no-warn-missing-det-decls doesn't exist |
| | | | 0000269 | 2 | 1 |
Bug | minor | resolved (wangp) | 2012-12-07 | unicode path handling in dir module |
| | | | 0000265 | 1 | 2 |
Bug | minor | new | 2012-12-07 | long path handling in io module |
| | | | 0000268 | | |
Bug | crash | resolved (juliensf) | 2012-12-04 | Typo in :- end_module declaration leads to compiler crash. |
| | | | 0000193 | 2 | 1 |
Bug | tweak | confirmed | 2012-07-06 | --introduce-accumulators doesn't recognize "promise all" containing type annotation |
| | | | 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 |
| | | | 0000174 | 1 | |
Bug | minor | resolved (pbone) | 2012-02-13 | documentation for extras/lazy_evaluation is out-of-date |
| | | | 0000200 | 1 | |
Bug | minor | resolved (juliensf) | 2012-02-13 | csharp grade does not install on Cygwin with Mono |
| | | | 0000252 | 2 | |
Bug | minor | assigned (juliensf) | 2012-02-13 | mmc --make doesn't respect the -j flag when building the .cs, .javas or .css target |
| | | | 0000251 | 1 | 1 |
Bug | trivial | resolved (zs) | 2012-01-30 | eqvclass.ensure_equivalence(X, X) causes exception |
| | | | 0000248 | 1 | |
Bug | tweak | resolved (juliensf) | 2012-01-18 | Inconsistent argument ordering of singleton_set |
| | | | 0000249 | | |
Bug | minor | new | 2011-12-14 | --dump-mlds does not work for non-C grades |
| | | | 0000246 | 1 | 1 |
Bug | major | assigned (zs) | 2011-12-14 | HLDS->MLDS code generator abort |
| | | | 0000242 | 1 | |
Bug | minor | resolved (wangp) | 2011-12-14 | filename encoding |
| | | | 0000245 | 4 | 1 |
Bug | crash | resolved (juliensf) | 2011-12-13 | [Java, 11.07-beta-2011-12-06] crashes with ClassCastException |
| | | | 0000247 | | |
Bug | minor | new | 2011-12-12 | declarative debugger aborts |
| | | | 0000244 | 2 | 1 |
Bug | minor | feedback (zs) | 2011-12-10 | Re-entering partially memoized multi/nondet predicate causes spurious loop exception |
| | | | 0000211 | 4 | |
Bug | minor | resolved (wangp) | 2011-12-09 | single-precision float grades broken on 64-bit |
| | | | 0000240 | 8 | 1 |
Bug | major | resolved (wangp) | 2011-12-09 | float unboxing issue on MinGW |
| | | | 0000243 | 1 | |
Bug | minor | resolved (juliensf) | 2011-12-07 | Memory zone leak on Windows |
| | | | 0000235 | 1 | |
Bug | minor | resolved (juliensf) | 2011-12-05 | java grade does not respect --restricted-command-line |
| | | | 0000239 | 2 | 2 |
Bug | minor | new | 2011-12-05 | Aliasing of partially instantiated structures in solutions.* predicates |
| | | | 0000241 | 1 | 1 |
Bug | trivial | resolved (juliensf) | 2011-12-04 | require_semidet doesn't parse |
| | | | 0000234 | 2 | |
Bug | minor | resolved (juliensf) | 2011-12-03 | java grade does not compile with Java SE 7 |
| | | | 0000238 | 4 | 1 |
Bug | crash | resolved (zs) | 2011-12-01 | Unexpected: determinism errors when compiling with --constraint-propagation |
| | | | 0000227 | 1 | |
Bug | minor | resolved (zs) | 2011-11-28 | det scope unchecked in lambda expression |
| | | | 0000237 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-11-28 | Strange interaction b/w typeclasses and promise_equivalent_solutions |
