• jdelange's avatar
    * ocarina/resources/deployment.aadl · 916b0c4b
    jdelange authored
       - Add bench and compcert execution platform
     
     * ocarina/src/backends/ocarina-backends-properties.adb
       ocarina/src/backends/ocarina-backends-properties.ads
       - Supports the handling of new platform values
    
     * ocarina/src/backends/ocarina-backends-po_hi_c.adb
       ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
       ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
       ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
       ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
       ocarina/src/backends/ocarina-backends-c_common-mapping.adb
       ocarina/src/backends/ocarina-backends-c_common-mapping.ads
       ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
       - Generate code compliant with compcert
    
    
    
    
    
    git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2671 129961e7-ef38-4bb5-a8f7-c9a525a55882
    916b0c4b
ocarina-backends-properties.ads 30.8 KB