Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006317OCamlOCaml tools (ocaml{lex,yacc,dep,browser,debug})public2014-02-04 17:552014-02-04 18:39
Reporterppedrot 
Assigned To 
PriorityhighSeverityfeatureReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006317: ocamldebug should be able to work with Dynlink code
DescriptionAs of version 4.01, the debugger cannot break into bytecode loaded dynamically through Dynlink. This very annoying for the dynlink-plugin-based architecture of Coq, because it is just not possible to debug ML plugins.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-02-04 17:55 ppedrot New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker