المريلة مكتبة مخصصة للتحليل الثابت للمتغيرات العددية.
التحميل الان

المريلة الترتيب والملخص

المريلة العلامات

محلل المتغيرات العددي المتغيرات العددية التفسير التجريدي

المريلة وصف

مكتبة مخصصة للتحليل الثابت للمتغيرات العددية. Apron هي مكتبة مخصصة للتحليل الثابت للمتغيرات العددية للبرنامج من خلال التفسير المجرقي. الهدف من هذا التحليل هو استنتاج الثباتات حول هذه المتغيرات. مثل 1 المتطلبات: مترجم ANSI C (تم اختبار خيار مجلس التعاون الخليجي فقط مع خيار ANSI) مكتبة GMP، الإصدار 4.2 أو UP، ومكتبة MPFR، الإصدار 2.2 أو أعلى اختياريا، مكتبة Parma Polyhedra، و GMP Compriped مع خيار تكوين CXX -ENABLE-CXX) إذا كنت تريد واجهة C ++ (لا تزال تجريبية)، GCC 4.1.2 أو أعلى إذا كنت ترغب في استخدام واجهة OCAML، فأنت بحاجة إلى نظام OCAML أو الإصدار 3.09 أو UP، ومولد Camlidl 1.05 Cout Code واجهة OCAML، بالإضافة إلى GNU SUD 4.1 أو UP، و GNU M4 (إذا قمت بالتنزيل من التخريب مخزن) ما الجديد في هذا الإصدار: يدعم المجال المثمن الآن التجزئة. تمت إضافة دعم المكتبات المشتركة. تم إجراء تغييرات API الصغيرة.

المريلة برامج ذات صلة