tlaplus
The Xenophanes release
يقدم هذا المستند نظرة عامة على أدوات وصندوق الأدوات TLA⁺، وهو مشروع مفتوح المصدر تديره مؤسسة TLA⁺. وهو يعرض تفاصيل استخدام الأدوات، وعملية التطوير، والترخيص، وإرشادات المساهمة. تتوفر إصدارات ما قبل النشر، ويتم نشر حزم تبعية Java لدمجها في مشاريع أخرى. يمكن العثور على مزيد من المعلومات حول TLA⁺ نفسها ومدير الإثبات الخاص بها على الروابط المتوفرة.
ملخص
يستضيف هذا المستودع أدوات واجهة سطر الأوامر TLA⁺ الأساسية (CLI) وبيئة التطوير المتكاملة Toolbox (IDE).
تتم إدارة تطويره من قبل مؤسسة TLA⁺.
راجع http://tlapl.us لمزيد من المعلومات حول TLA⁺ نفسها.
للحصول على مدير إثبات TLA⁺، راجع http://proofs.tlapl.us.
يمكن العثور على الإصدارات التي تم إصدارها في صفحة الإصدارات.
حاليًا، يتم إنشاء كل التزام بالفرع الرئيسي وتحميله إلى الإصدار 1.8.0 من الإصدار المسبق من Clarke.
إذا كنت تريد أحدث الإصلاحات والميزات، فيمكنك استخدام هذا الإصدار التجريبي.
إذا كنت تريد استخدام أدوات TLA⁺ باعتبارها تبعية لـ Java في مشروعك البرمجي، فسيتم نشر حزم Maven بشكل دوري على oss.sonatype.org.
يستخدم
تتطلب أدوات TLA⁺ تشغيل Java 11+.
يحتوي ملف tla2tools.jar على أدوات TLA⁺ متعددة.
يمكن استخدامها على النحو التالي:
إذا قمت بإضافة tla2tools.jar إلى متغير بيئة CLASSPATH الخاص بك، فيمكنك تخطي المعلمة -cp tla2tools.jar.
تشغيل java -jar tla2tools.jar هو اسم مستعار لـ java -cp tla2tools.jar tlc2.TLC.
التطوير والمساهمة
تتم كتابة كل من أدوات TLA⁺ وToolbox IDE بلغة Java.
الكود المصدري لأدوات TLA⁺ موجود في tlatools/org.lamport.tlatools.
يعتمد Toolbox IDE على Eclipse Platform وهو موجود في دليل صندوق الأدوات.
للحصول على إرشادات حول إنشاء هذه العناصر واختبارها بالإضافة إلى إعداد بيئة التطوير، راجع DEVELOPING.md.
نحن نرحب بمساهماتك في هذا المشروع مفتوح المصدر!
يتم استخدام TLA⁺ في الأنظمة الحيوية للسلامة، لذلك لدينا عملية مساهمة مطبقة لضمان الحفاظ على الجودة؛ اقرأ CONTRIBUTING.md قبل بدء العمل.
الترخيص وحقوق التأليف والنشر
حقوق النشر © 199؟ شركة اتش بي
حقوق الطبع والنشر © 2003 لشركة مايكروسوفت
حقوق الطبع والنشر © 2023 مؤسسة لينكس
مرخص بموجب ترخيص MIT.
