2024-07-16 01:47 AEST

Viewing Issues (301 - 350 / 513)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  000028832 Bugminorresolved (juliensf)2013-06-24Some mercury binary files are built without respecting LDFLAGS
  00002874   Bugminorresolved (juliensf)2013-06-05configure requires m4
  000025944 Feature Requestminornew2013-06-04Impossible to override /lib dir with /lib64 etc
  00002222   Bugminorresolved (juliensf)2013-05-28mmc can't compile csharp grade without --make under mingw
  00001831   Bugminorresolved (juliensf)2013-05-22--warn-dead-procs should not warn about foreign-exported procs.
  00002621   Bugminornew2013-05-22Mercury doesn't compile on NetBSD
  00001616   Bugmajorassigned (juliensf)2013-05-21Calling io.seen/2 twice in a row can crash the runtime with a segfault.
  00002573   Bugminorresolved (juliensf)2013-05-21require_complete_switch var does not appear in sub-goal
  000026332 Bugcrashresolved (juliensf)2013-05-17Segmentation fault: not enough memory when invoking solutions/2
  0000282    Bugminornew2013-05-06GNU-specific regexps in test filters
  00002531   Feature Requestminorresolved (juliensf)2013-04-12MS C# compiler should be invoked with -nologo
  00002791   Bugminorresolved (juliensf)2013-04-11make install from stage 2 dir does not work with csharp grade
  00002771   Bugmajorresolved (wangp)2013-03-20float bugs on 64-bit if built with pregenerated C sources
  000020382 Bugminorresolved (wangp)2013-03-18Problem with DESTDIR and Darwin
  0000276 2 Bugminornew2013-02-27io.call_system/4 inconsistency between C and Java grades
  00002754   Bugminorresolved (wangp)2013-02-20hidden symbol pthread_atfork
  000022615   Bugtweakresolved (juliensf)2013-01-08lazy.read_if_val unsound
  00002613   Bugmajorresolved (juliensf)2013-01-07building mdbcomp in C# grade attempts to link with non-existant mer_rt.dll
  0000272 1 Bugmajornew2013-01-04The polymorphism pass can generate mode-incorrect code.
  000027031 Bugcrashconfirmed (juliensf)2012-12-31When one uses fact_table, the mercury compiler crashes if there is an error in the fact_table.
  00002662   Bugtrivialassigned (juliensf)2012-12-07--no-warn-missing-det-decls doesn't exist
  000026921 Bugminorresolved (wangp)2012-12-07unicode path handling in dir module
  000026512 Bugminornew2012-12-07long path handling in io module
  0000268    Bugcrashresolved (juliensf)2012-12-04Typo in :- end_module declaration leads to compiler crash.
  000019321 Bugtweakconfirmed2012-07-06--introduce-accumulators doesn't recognize "promise all" containing type annotation
  00002582   Bugmajorresolved (juliensf)2012-06-23csharp grade is broken with rotd-2012-06-19
  0000255123 Bugmajorresolved (juliensf)2012-06-19build fails on OS X 10.4.11 PowerPC
  000025041 Bugminorresolved (wangp)2012-05-10GCC warnings: used but never defined
  00002541   Bugminorresolved (juliensf)2012-03-02HTTP download links for 11.07.1 return 403 forbidden error
  00001741   Bugminorresolved (pbone)2012-02-13documentation for extras/lazy_evaluation is out-of-date
  00002001   Bugminorresolved (juliensf)2012-02-13csharp grade does not install on Cygwin with Mono
  00002522   Bugminorassigned (juliensf)2012-02-13mmc --make doesn't respect the -j flag when building the .cs, .javas or .css target
  000025111 Bugtrivialresolved (zs)2012-01-30eqvclass.ensure_equivalence(X, X) causes exception
  00002481   Bugtweakresolved (juliensf)2012-01-18Inconsistent argument ordering of singleton_set
  0000249    Bugminornew2011-12-14--dump-mlds does not work for non-C grades
  000024611 Bugmajorassigned (zs)2011-12-14HLDS->MLDS code generator abort
  00002421   Bugminorresolved (wangp)2011-12-14filename encoding
  000024541 Bugcrashresolved (juliensf)2011-12-13[Java, 11.07-beta-2011-12-06] crashes with ClassCastException
  0000247    Bugminornew2011-12-12declarative debugger aborts
  000024421 Bugminorfeedback (zs)2011-12-10Re-entering partially memoized multi/nondet predicate causes spurious loop exception
  00002114   Bugminorresolved (wangp)2011-12-09single-precision float grades broken on 64-bit
  000024081 Bugmajorresolved (wangp)2011-12-09float unboxing issue on MinGW
  00002431   Bugminorresolved (juliensf)2011-12-07Memory zone leak on Windows
  00002351   Bugminorresolved (juliensf)2011-12-05java grade does not respect --restricted-command-line
  000023922 Bugminornew2011-12-05Aliasing of partially instantiated structures in solutions.* predicates
  000024111 Bugtrivialresolved (juliensf)2011-12-04require_semidet doesn't parse
  00002342   Bugminorresolved (juliensf)2011-12-03java grade does not compile with Java SE 7
  000023841 Bugcrashresolved (zs)2011-12-01Unexpected: determinism errors when compiling with --constraint-propagation
  00002271   Bugminorresolved (zs)2011-11-28det scope unchecked in lambda expression
  000023711 Bugminorresolved (zs)2011-11-28Strange interaction b/w typeclasses and promise_equivalent_solutions