Mantis Bug Tracker

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

Viewing Issues (651 - 700 / 1381)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
featureassigned (lpw25)2017-03-07-short-paths slow :(
featureconfirmed (garrigue)2017-03-07Existentials not allowed with 'let and'
featureacknowledged2017-03-07Make unix.{localtime,gmtime} use non reentrant c calls
featureconfirmed (garrigue)2017-03-07Strange interpretation of a free type variable in a method type in a signature
featureassigned (shinwell)2017-03-07Solutions for the non-printable generated names
middle end (typedtree to clambda)
featureacknowledged2017-03-07Customizable number of context rows in pattern matching compilation
configure and build/install
featureacknowledged2017-03-07Get rid of #ml from config/Makefile
standard library
featureacknowledged2017-03-07Array.init of a float array needlessly initialize array with (f 0)
configure and build/install
featureconfirmed2017-03-07Use compilerlibs instead of explicit lists of modules from the compiler
featureassigned (garrigue)2017-03-07Improve "this ground coercion is not principal" warning message
featureacknowledged2017-03-07flambda changes to finalisability should be documented
back end (clambda to assembly)
minoracknowledged2017-03-07-for-pack does not implement proper namespace isolation of internal symbols
middle end (typedtree to clambda)
featureconfirmed2017-03-07lazy should be primitive
back end (clambda to assembly)
featureacknowledged2017-03-07avoid loading global variables more than necessary
back end (clambda to assembly)
featureassigned (shinwell)2017-03-07Atomic load primitives
configure and build/install
featureacknowledged2017-03-07Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler
  0006200 [OCaml]
configure and build/install
featureacknowledged2017-03-07Store local configuration in an external file, not in the compilers
featureacknowledged2017-03-07integrate unused-variable (and other unused-*) warnings with ordinary type-error messages
featureconfirmed2017-03-07Improve error message for polymorphic variant
featureacknowledged (garrigue)2017-03-07Better type errors for polymorphic variants and module signatures
standard library
featureacknowledged2017-03-07Mark functions in the stdlib that should be inlined
runtime system and C interface
featureacknowledged2017-03-07Small tweak for some numeric functions in Pervasives
featureacknowledged2017-03-07The "ocaml" toplevel should accept "-verbose"
  0007450 [OCaml]
middle end (typedtree to clambda)
featureassigned (chambart)2017-03-07constant blocks are in random order
back end (clambda to assembly)
featureacknowledged2017-03-07Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic
runtime system and C interface
minoracknowledged (doligez)2017-03-07GC not working hard enough on bigarrays
  0005684 [OCaml]
configure and build/install
featureconfirmed2017-03-07no uninstall target in the Makefile
runtime system and C interface
featureacknowledged2017-03-07ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH
back end (clambda to assembly)
featureacknowledged2017-03-07introduce cmovcc instruction to speed up certain simple "if" blocks
back end (clambda to assembly)
featureacknowledged2017-03-07"for" loop not entirely optimal?
middle end (typedtree to clambda)
featureacknowledged2017-03-07Optimize test for empty string
back end (clambda to assembly)
featureacknowledged2017-03-07Better compilation of local functions only used for tail calls
middle end (typedtree to clambda)
featureacknowledged2017-03-07array operations on abstract types are never specialized aka "Information Hiding Considered Harmful to Performance"
middle end (typedtree to clambda)
featureacknowledged2017-03-07Array operations not specialization during inlining.
middle end (typedtree to clambda)
featureacknowledged2017-03-07comparison operations on abstract types and max/min are not specialized
featureacknowledged2017-03-07information in the typing error message could be made more precise
  0007318 [OCaml]
featureacknowledged2017-03-07information in the typing error message could be made more precise
standard library
featureresolved (frisch)2017-03-07Queue: to_list and rev_iter
minorresolved (shinwell)2017-03-07Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC
runtime system and C interface
minoracknowledged (doligez)2017-03-06Name clashes
middle end (typedtree to clambda)
tweakresolved2017-03-06Superfluous dereferencing when accessing entries in functor arguments
middle end (typedtree to clambda)
minorresolved2017-03-06Allocating intermediate floats when ignoring floats.
standard library
featureacknowledged2017-03-06exceptions lose identity after marshalling
back end (clambda to assembly)
minorresolved (frisch)2017-03-06Using function float arguments prevents unboxing
middle end (typedtree to clambda)
minorresolved (frisch)2017-03-06significant compilation time increased after minor tweaks
back end (clambda to assembly)
minorresolved (gasche)2017-03-06optimizer always uses jump tables rather than lookup tables
textresolved (shinwell)2017-03-03The flambda manual should document "Fatal error: Assignment of a float to a specialised non-float array"
middle end (typedtree to clambda)
majorresolved (shinwell)2017-03-03Large flambda-related performance regression between 4.03 and 4.04
crashresolved (garrigue)2017-03-03Missing exhaustivity check for extensible variant
platform support (windows, cross-compilation, etc)
featureresolved2017-03-03Patch for compilation in QNX
  [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker