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 (1 - 17 / 17)  Print Reports ]  CSV Export ]  Excel Export ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml runtime system
minorclosed (dim)2015-12-11BLocking stubs not releasing the runtime in stdlib and unix
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorclosed (xclerc)2015-12-11[PATCH] Include more useful information in ocamldebug "bt"
OCaml standard library
minorclosed (xclerc)2015-12-11Unix.shutdown_connection should be commented with more details
OCaml backend (code generation)
crashclosed2015-12-11Compiler crash when turning on -unsafe option.
OCaml general
minorclosed2015-12-11Incomplete native backtraces on armel
OCaml backend (code generation)
majorclosed (xleroy)2015-12-11inlining of GADT matches generates invalid assembly
OCaml typing
minorclosed (garrigue)2015-12-11Soundness bug related to type constraints
OCaml general
featureclosed (gasche)2015-12-11ocaml (toplevel) should have a -no-init option
majorclosed2015-12-11Coq doesn't compile in debug mode
OCaml general
majorclosed2015-12-11make world.opt seems to crash on tip of trunk on up-to-date OS X
OCaml typing
minorclosed (garrigue)2015-12-11Assumed inequality between paths involving functor arguments
OCaml typing
minorclosed (garrigue)2015-12-11Strange error with abstract module types and functors
OCaml typing
minorclosed (garrigue)2015-12-11Issue with type information flowing through a variant pattern
OCaml general
majorclosed (garrigue)2015-12-11OCaml compiler loops on an example using GADTs
OCaml general
minorclosed (garrigue)2015-12-11Incorrect warning about unused match cases with first-class modules in patterns
OCaml standard library
minorclosed (gasche)2015-12-11more efficient Digest.to_hex
OCaml windows
majorclosed2014-01-22Alterations to handling of \013 in source files breaking other tools


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker