IDE for the TLA+ tools.
Nashr etuvchining tavsifi (inglizcha)
tlaplus-toolbox nima?
tlaplus-toolbox dasturi — Windows uchun ochiq kodli ilova, «Fan va matematika» kategoriyasiga kiradi. Windowsdan tashqari quyidagi platformalar uchun ham mavjud: Linux.
Oʻrnatish va tizim talablari
Nashr etuvchi Har qanday protsessor tizimlar uchun Portativ oʻrnatish fayllarini taqdim etadi. Oʻrnatishsiz ishlaydi (portativ).
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Portativ: oʻrnatishsiz ishlaydi
- Shuningdek Linux uchun ham mavjud
Qisqacha xulosa: tlaplus-toolbox — Har qanday protsessor kompyuterlar uchun ochiq kodli Windows vositasi («Fan va matematika» kategoriyasi).
Asosiy imkoniyatlar
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
tlaplus-toolbox dasturini yuklab olish xavfsizmi?
- Fayl github.com orqali beriladi; bu nashr etuvchining rasmiy koʻzgu sayti ekanini tekshiring
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- Bu fayl uchun xesh eʼlon qilinmagan
- Havola hali tekshirilmagan
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Soʻnggi versiyalar
Barcha 1 ta versiya ›| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 1.8.0Eng soʻnggi | — | Har qanday protsessor ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›scoop install extras/tlaplus-toolboxDastur fayllari (.exe): tlc.exe, toolbox.exe
Tegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Boshqa tizimlar uchun ham bor
flatpak install flathub org.lamport.tla.toolboxMaʼlumot
- Kategoriya
- Fan va matematika
- Litsenziya
- MIT
- Narxi
- Bepul
- Yosh chegarasi
- Barcha yoshlar uchun
- Talablar
- Windows 11 / 10
- Arxitektura
- Har qanday protsessor
- Oʻrnatuvchi turi
- Portativ
- Boshqa platformalar
- Linux
- Versiya
- 1.8.0
- Roʻyxatdagi versiyalar
- 1
- Veb-sayt
- lamport.azurewebsites.net
- Scoop paketi
- extras/tlaplus-toolbox
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
tlaplus-toolbox dasturiga muqobillar
Barchasini koʻrish ›-
Ochiq kodli118 ming ↓ -
Ochiq kodli126,7 ming ↓ -
Ochiq kodli46 ming ↓ -
Ochiq kodli50,3 ming ↓ -
Ochiq kodli12,2 ming ↓ -
Ochiq kodli17,7 ming ↓ -
Ochiq kodli24,6 ming ↓ - Ochiq kodli28,6 ming ↓
Koʻp beriladigan savollar
tlaplus-toolbox bepulmi?
Ha. tlaplus-toolbox — ochiq kodli dastur (MIT litsenziyasi).
tlaplus-toolbox dasturini yuklab olish xavfsizmi?
Fayl github.com manzilidan yuklab olinadi. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi.
tlaplus-toolbox ARM protsessorida (Windows on Arm) ishlaydimi?
Oʻrnatuvchi arxitekturaga bogʻliq emas.
tlaplus-toolbox dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
tlaplus-toolbox dasturiga qanday muqobillar bor?
Stellarium, KiCad, Quarto, Qalculate! va JASP. Muqobillar sahifasi ularni taqqoslaydi.
