harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pavel Pervov (JIRA)" <j...@apache.org>
Subject [jira] Assigned: (HARMONY-5702) [drlvm][verifier] the verifier extension does not appear in HDK
Date Wed, 09 Apr 2008 10:45:24 GMT

     [ https://issues.apache.org/jira/browse/HARMONY-5702?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Pavel Pervov reassigned HARMONY-5702:
-------------------------------------

    Assignee: Pavel Pervov

> [drlvm][verifier] the verifier extension does not appear in HDK
> ---------------------------------------------------------------
>
>                 Key: HARMONY-5702
>                 URL: https://issues.apache.org/jira/browse/HARMONY-5702
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>    Affects Versions: 5.0M5
>            Reporter: Alexei Fedotov
>            Assignee: Pavel Pervov
>         Attachments: verifier-ext.xml.0.patch, verifier-ext.xml.1.patch
>
>
> The files interesting for TPTP guys: verifier-ext.lib, include/verifier.h, include/class_interface.h,
x_verifier/x_verifier.h, x_verifier/x_class_interface.h do not appear in HDK. 

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.


Mime
View raw message