Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any none       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
- Search  Advanced Filters ]

Viewing Issues (751 - 800 / 5486)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 11 12 13 14 15 16 17 18 19 20 21 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCamlbuild (the tool)
minorclosed (meyer)2015-12-11.itarget does not work
OCamlbuild (the tool)
minorclosed (meyer)2015-12-11unnecessary rebuild for some rules
OCamlbuild (the tool)
majorclosed (meyer)2015-12-11.mlpack dependencies not considered while building?
OCaml general
textclosed (lefessan)2015-12-11Warning display problems
OCaml standard library
crashclosed2015-12-11no bound checks anymore on some array operations
OCaml general
crashclosed (lefessan)2015-12-11segfault in camomile with frame pointers enabled
OCaml documentation
minorclosed2015-12-11Signalhandling not detailed enough: sigaction(2) not mentioned anywhere
OCaml general
minorclosed2015-12-11sqrt(-0.) does not yield -0.
OCaml backend (code generation)
majorclosed2015-12-11[patch] Matching.inline_lazy_force need eta expansion
OCaml general
minorclosed (frisch)2015-12-11a backward-compatible way of adding new syntactic construct
OCaml backend (code generation)
featureclosed (lefessan)2015-12-11[patch] Generate sqrtsd opcode instead of external call to sqrt on amd64
OCaml runtime system
majorclosed (xleroy)2015-12-11Illegal recovery of 2 stack overflows with ocamlopt in Mac OS
OCaml standard library
minorclosed (frisch)2015-12-11Random.self_init problem under Windows
OCaml backend (code generation)
minorclosed (xleroy)2015-12-11Inlining misses some simple simplifications
OCaml typing
majorclosed (frisch)2015-12-11Dramatic performance increase when compiling with annotations
OCaml documentation
minorclosed (doligez)2015-12-11Checksum mismatch for ocaml-3.12-refman.html.tar.gz
OCaml standard library
blockclosed (hongboz)2015-12-11fix build in trunk SVN
OCaml runtime system
minorclosed (dim)2015-12-11caml_leave_blocking section and errno corruption
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorclosed (gasche)2015-12-11ocamldep leaks temporary files in trunk
OCaml general
featureclosed (hongboz)2015-12-11Clean up the compiler library interface
  0006006 [OCaml]
OCaml backend (code generation)
majorclosed (meurer)2015-12-11Cannot "ocamlopt" the expression "x mod 1" on ARM
OCaml backend (code generation)
majorclosed (meurer)2015-12-11Error: shift expression is too large
OCaml otherlibs
majorclosed (xleroy)2015-12-11Big_int.extract_big_int does not handle negative numbers properly
OCaml typing
minorclosed (garrigue)2015-12-11Type-checker rejects cyclic type abbreviation even though -rectypes is activated
OCaml typing
minorclosed (garrigue)2015-12-11Type information does not flow to "inherit" parameters
OCaml backend (code generation)
minorclosed (gasche)2015-12-11simple references sometimes slow
OCaml typing
minorclosed (frisch)2015-12-11Strange auto-reference in recursive modules in case of name conflict with a functor parameter
tweakclosed (frisch)2015-12-11patch to improve "wrong file naming" error messages
OCaml typing
majorclosed (garrigue)2015-12-11Assertion failure in type checker
OCaml general
minorclosed (weis)2015-12-11%( %) in Format module seems to be broken
OCaml standard library
minorclosed (weis)2015-12-11Format module incorrectly parses format string allowing to escape arguments
OCaml typing
minorclosed (garrigue)2015-12-11compiler is unable to detect unused cases in pattern matching on GADT
OCaml typing
minorclosed (garrigue)2015-12-11GADT exhaustiveness check is broken
OCaml general
majorclosed (garrigue)2015-12-11Interaction between GADTs and polymorphic variants
OCaml typing
minorclosed (garrigue)2015-12-11GADT with polymorphic variants bug
OCaml typing
majorclosed (garrigue)2015-12-11Incompatibility check assumes abstracted type constructors are injective
OCaml typing
minorclosed (garrigue)2015-12-11Variance information on private type abbreviations is not checked for module subtyping
OCaml typing
minorclosed (garrigue)2015-12-11Assumed inequalities involving private rows
OCaml typing
minorclosed (garrigue)2015-12-11Non-compatibility assumed between concrete types with same constructor
OCaml general
minorclosed (xleroy)2015-12-11Protect against marshaling 64-bit integers in bytecode
OCaml backend (code generation)
minorclosed (gasche)2015-12-11linking -big- files causes failure in ocamlc
OCaml general
minorclosed (frisch)2015-12-11Build failure on raspberry pi: "input_value: integer too large"
OCaml standard library
minorclosed (xclerc)2015-12-11Integer marshalling is inconsistent between architectures
OCaml backend (code generation)
minorclosed (frisch)2015-12-11ocamlopt option "-dclambda" doesn't work
OCaml otherlibs
minorclosed (dim)2015-12-11Unix.system does not handle EINTR
OCaml backend (code generation)
minorclosed (frisch)2015-12-11-dclambda option is ignored
minorclosed (gasche)2015-12-11caml-help.el (emacs caml-mode) fails
OCaml backend (code generation)
majorclosed (frisch)2015-12-11Modules can leak memory
OCaml typing
minorclosed (frisch)2015-12-11The error "label defined several times" complains about the wrong label
OCaml documentation
minorclosed (garrigue)2015-12-11tag-spec-full documentation seems to be incorrect
  [ First Prev  ... 11 12 13 14 15 16 17 18 19 20 21 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker