Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004208OCamlOCaml generalpublic2007-02-15 16:352012-08-06 18:29
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.01.0+devFixed in Version 
Summary0004208: Dynlink.crc_interfaces n'est pas bien backtrackée
DescriptionDynlink.crc_interfaces est une référence sur une table de hash impérative. La référence ne change jamais de valeur, donc la logique de backtracking (dans loadfile_private) ne fonctionne pas.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007915)
xleroy (administrator)
2012-08-06 18:29

I've been sleeping on this PR for too long. If anyone feels strongly about it...

- Issue History
Date Modified Username Field Change
2007-02-15 16:35 frisch New Issue
2007-11-10 13:44 xleroy Status new => assigned
2007-11-10 13:44 xleroy Assigned To => xleroy
2012-07-11 16:12 doligez Target Version => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-08-06 18:29 xleroy Note Added: 0007915
2012-08-06 18:29 xleroy Assigned To xleroy =>
2012-08-06 18:29 xleroy Status assigned => acknowledged
2012-08-06 18:29 xleroy Target Version 4.00.1+dev => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker