IDE for the TLA+ tools.
Maelezo ya mchapishaji (Kiingereza)
tlaplus-toolbox ni nini?
tlaplus-toolbox ni programu ya chanzo huria ya Windows iliyo katika kundi la “Sayansi na hisabati”. Mbali na Windows, inapatikana pia kwa Linux.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya CPU yoyote. Inafanya kazi bila kusakinishwa (portable).
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
- Inapatikana pia kwa Linux
Kwa ufupi: tlaplus-toolbox ni zana ya chanzo huria ya kundi la “Sayansi na hisabati” kwa kompyuta za CPU yoyote.
Vipengele vikuu
- 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
Je, ni salama kupakua tlaplus-toolbox?
- Faili inatolewa na github.com; hakikisha kuwa ni kioo (mirror) rasmi cha mchapishaji
- Kiungo cha kupakua kinatumia HTTPS
- Hakuna hashi iliyochapishwa kwa faili hii
- Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Toleo 1 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 1.8.0Jipya zaidi | — | CPU yoyote ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›scoop install extras/tlaplus-toolboxFaili za programu (.exe): tlc.exe, toolbox.exe
Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Pia kwa mifumo mingine
flatpak install flathub org.lamport.tla.toolboxTaarifa
- Kategoria
- Sayansi na hisabati
- Leseni
- MIT
- Bei
- Bure
- Daraja la maudhui
- Umri wote
- Inahitaji
- Windows 11 / 10
- Usanifu
- CPU yoyote
- Kisakinishi
- Portable
- Mifumo mingine
- Linux
- Toleo
- 1.8.0
- Matoleo yaliyoorodheshwa
- 1
- Tovuti
- lamport.azurewebsites.net
- Kifurushi cha Scoop
- extras/tlaplus-toolbox
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa tlaplus-toolbox
Ona zote ›-
Chanzo huriaelfu 118 ↓ -
Chanzo huriaelfu 126.7 ↓ -
Chanzo huriaelfu 46 ↓ -
Chanzo huriaelfu 50.3 ↓ -
Chanzo huriaelfu 12.2 ↓ -
Chanzo huriaelfu 17.7 ↓ -
Chanzo huriaelfu 24.6 ↓ - Chanzo huriaelfu 28.6 ↓
Maswali yanayoulizwa mara kwa mara
Je, tlaplus-toolbox ni bure?
Ndiyo. tlaplus-toolbox ni programu ya chanzo huria chini ya leseni ya MIT.
Je, ni salama kupakua tlaplus-toolbox?
Faili inapakuliwa kutoka github.com; ExeAtlas haihifadhi wala haibadilishi faili.
Je, tlaplus-toolbox inafanya kazi kwenye ARM (Windows on Arm)?
Kisakinishi hakitegemei usanifu wa kichakataji.
Je, tlaplus-toolbox inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
Ni programu gani mbadala wa tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! na JASP. Ukurasa wa mbadala unazilinganisha.
