tlaplus
The Xenophanes release
Dokumen ini memberikan gambaran umum tentang TLA⁺ Tools and Toolbox, sebuah proyek sumber terbuka yang dikelola oleh TLA⁺ Foundation. Ini merinci penggunaan alat, proses pengembangan, perizinan, dan pedoman kontribusi. Versi pra-rilis tersedia, dan paket ketergantungan Java diterbitkan untuk diintegrasikan ke dalam proyek lain. Informasi lebih lanjut tentang TLA⁺ itu sendiri dan pengelola buktinya dapat ditemukan di tautan yang disediakan.
Ringkasan
Repositori ini menampung Alat antarmuka baris perintah (CLI) TLA⁺ inti dan lingkungan pengembangan terintegrasi (IDE) Toolbox.
Pengembangannya dikelola oleh TLA⁺ Foundation.
Lihat http://tlapl.us untuk informasi lebih lanjut tentang TLA⁺ itu sendiri.
Untuk pengelola bukti TLA⁺, lihat http://proofs.tlapl.us.
Rilis berversi dapat ditemukan di halaman Rilis.
Saat ini, setiap komitmen ke cabang master dibuat & diunggah ke pra-rilis Clarke 1.8.0.
Jika Anda menginginkan perbaikan & fitur terbaru, Anda dapat menggunakan pra-rilis tersebut.
Jika Anda ingin menggunakan alat TLA⁺ sebagai ketergantungan Java dalam proyek perangkat lunak Anda, paket Maven diterbitkan secara berkala ke oss.sonatype.org.
Menggunakan
Alat TLA⁺ memerlukan Java 11+ untuk dijalankan.
File tla2tools.jar berisi beberapa alat TLA⁺.
Mereka dapat digunakan sebagai berikut:
Jika Anda menambahkan tla2tools.jar ke variabel lingkungan CLASSPATH maka Anda dapat melewati parameter -cp tla2tools.jar.
Menjalankan java -jar tla2tools.jar alias java -cp tla2tools.jar tlc2.TLC.
Mengembangkan & Berkontribusi
TLA⁺ Tools dan Toolbox IDE keduanya ditulis dalam Java.
Kode sumber TLA⁺ Tools ada di tlatools/org.lamport.tlatools.
Toolbox IDE didasarkan pada Platform Eclipse dan berada di direktori toolbox.
Untuk petunjuk tentang membangun & mengujinya serta menyiapkan lingkungan pengembangan, lihat DEVELOPING.md.
Kami menyambut kontribusi Anda pada proyek sumber terbuka ini!
TLA⁺ digunakan dalam sistem yang sangat penting bagi keselamatan, jadi kami menerapkan proses kontribusi untuk memastikan kualitas tetap terjaga; baca CONTRIBUTING.md sebelum mulai bekerja.
Lisensi & Hak Cipta
Hak Cipta © 199? Perusahaan HP
Hak Cipta © 2003 Microsoft Corporation
Hak Cipta © 2023 Linux Foundation
Berlisensi di bawah Lisensi MIT.
