| | | 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 |
| | | 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 |
| | | 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 |
| | | 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 |
| | | 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 |
| | | 0000233 | 1 | |
Bug | minor | resolved (pbone) | 2011-11-24 | Parallel run-time system crashes. |
| | | 0000229 | 1 | 1 |
Bug | crash | resolved (wangp) | 2011-11-24 | problem with static data on high-level C grades |
| | | 0000230 | 2 | 1 |
Bug | major | resolved (wangp) | 2011-11-23 | submodules inconsistently compiled with direct arg functors |
| | | 0000228 | 12 | |
Bug | major | resolved (juliensf) | 2011-11-14 | library/lexer.c cannot be compiled with MSVC |
| | | 0000199 | | |
Bug | minor | resolved (wangp) | 2011-11-11 | unboxed floats for high-level code |
| | | 0000223 | 3 | |
Bug | minor | resolved (wangp) | 2011-11-03 | thread.mvar.init/0 and thread.semaphore.init/1 should be marked impure |
| | | 0000212 | 1 | |
Bug | trivial | resolved (juliensf) | 2011-10-25 | Documentation of --no-warn-undefined-options-variables is actually for --warn-undefined-options-variables |
| | | 0000221 | | 1 |
Bug | major | resolved (maclarty) | 2011-10-24 | ho specialization bug |
| | | 0000099 | 1 | |
Bug | minor | resolved (juliensf) | 2011-10-09 | Incorrect command-line options for Visual Studio |
| | | 0000217 | 1 | 1 |
Bug | major | resolved (juliensf) | 2011-09-21 | Can't compile simple program |
| | | 0000207 | 5 | 1 |
Bug | major | resolved (zs) | 2011-09-06 | tree_bitset.difference bug |
| | | 0000216 | 1 | |
Bug | minor | resolved (zs) | 2011-09-06 | hlc grade generates empty structs in static data |
| | | 0000215 | 1 | |
Bug | text | resolved (juliensf) | 2011-09-05 | Documentation of assoc_list.filter/4 is missing the TrueList argument |
| | | 0000173 | 1 | |
Bug | minor | resolved (juliensf) | 2011-08-19 | man pages for 10.04.2 contain string "Error reading options file" |
| | | 0000210 | 1 | |
Bug | text | resolved (juliensf) | 2011-08-19 | Language Reference confuses maybeskel and listskel in "Insts, modes, and mode definitions" |
| | | 0000209 | 1 | |
Bug | minor | resolved (wangp) | 2011-08-01 | java grade broken in rotd-2011-07-31 |
| | | 0000205 | 1 | |
Bug | text | resolved (juliensf) | 2011-07-23 | Documentation of array.foldr2 references non-existent list.foldr2 |
| | | 0000206 | 1 | |
Bug | text | resolved (juliensf) | 2011-07-23 | User's guide has incorrect short option name for mtc --output-file |
| | | 0000204 | | 1 |
Bug | minor | resolved (wangp) | 2011-07-13 | Generated code seg faults |
| | | 0000202 | 1 | |
Bug | minor | resolved (juliensf) | 2011-07-11 | Test failures in profdeep grades |
| | | 0000198 | 3 | |
Bug | text | resolved (juliensf) | 2011-05-19 | event is a keyword but not mentioned in documentation |
| | | 0000197 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-05-16 | abort in state variable transformation |
| | | 0000188 | | 1 |
Bug | minor | resolved (wangp) | 2011-05-03 | structure-reuse and intermod-opt breaks type_list_subsumes |
| | | 0000190 | 4 | 1 |
Bug | minor | resolved (juliensf) | 2011-03-18 | solver type constraint_store declaration has trouble unifying imported types |
| | | 0000189 | 1 | |
Bug | minor | resolved (juliensf) | 2011-03-16 | foreign_enum is not 64-bit safe |
| | | 0000103 | 1 | 1 |
Bug | minor | resolved (zs) | 2011-03-08 | bug in lcmc transformation |
| | | 0000179 | 1 | |
Bug | minor | resolved (wangp) | 2011-01-18 | csharp grade library compilation failure on MinGW / MSYS with MS C# compiler |
| | | 0000176 | 1 | |
Bug | minor | resolved (juliensf) | 2010-12-20 | incorrect install names on Mac OS X with mmake |
| | | 0000175 | 1 | |
Bug | minor | resolved (juliensf) | 2010-12-16 | incorrect foreign_decl pragmas in ODBC binding |
| | | 0000119 | 2 | |
Bug | minor | resolved (pbone) | 2010-12-13 | par_conj/consume_wait test is failing in low-level C parallel grades. |
| | | 0000170 | 3 | |
Bug | minor | resolved (zs) | 2010-11-30 | stage 2 ssdb build failure on goliath |
| | | 0000150 | 1 | |
Bug | minor | resolved (zs) | 2010-09-15 | nit in error msg |
| | | 0000128 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-09-15 | merge_instmapping_delta_2: error merging var 20 |
| | | 0000159 | 1 | 1 |
Bug | minor | resolved (zs) | 2010-09-14 | liveness.m: Unexpected: branches of switch disagree on liveness |
| | | 0000109 | 9 | 2 |
Bug | minor | resolved (zs) | 2010-09-14 | rotd-2009-10-05's library install fails for grade hlc |