IDE for the TLA+ tools.
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
tlaplus-toolbox ဆိုတာ ဘာလဲ
သိပ္ပံနှင့် သင်္ချာ အမျိုးအစားတွင် ပါဝင်သော tlaplus-toolbox သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပါသည်။ Windows အပြင် Linux အတွက်လည်း ရနိုင်ပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် CPU အားလုံး Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
- Linux တွင်လည်း အလုပ်လုပ်သည်
အတိုချုပ်: tlaplus-toolbox သည် CPU အားလုံး ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် သိပ္ပံနှင့် သင်္ချာ ကိရိယာ ဖြစ်ပါသည်။
အဓိကလုပ်ဆောင်ချက်များ
- 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 ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို github.com မှ ပေးပို့ပါသည်။ ထုတ်ဝေသူ၏ တရားဝင် mirror ဟုတ်မဟုတ် စစ်ဆေးပါ
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- ဤဖိုင်အတွက် hash ထုတ်ပြန်ထားခြင်း မရှိပါ
- လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 1.8.0နောက်ဆုံး | — | CPU အားလုံး ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›scoop install extras/tlaplus-toolboxပရိုဂရမ်ဖိုင်များ (.exe): tlc.exe, toolbox.exe
ဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အခြားစနစ်များအတွက်လည်း ရနိုင်ပါသည်
flatpak install flathub org.lamport.tla.toolboxအချက်အလက်
- အမျိုးအစား
- သိပ္ပံနှင့် သင်္ချာ
- လိုင်စင်
- MIT
- စျေးနှုန်း
- အခမဲ့
- အသက်အရွယ် သတ်မှတ်ချက်
- အသက်အရွယ်အားလုံး
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- CPU အားလုံး
- Installer အမျိုးအစား
- Portable
- အခြား platform များ
- Linux
- ဗားရှင်း
- 1.8.0
- စာရင်းရှိ ဗားရှင်းများ
- 1
- ဝဘ်ဆိုက်
- lamport.azurewebsites.net
- Scoop package
- extras/tlaplus-toolbox
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
tlaplus-toolbox အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၁.၂ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၃ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၄.၆ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၅ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၂ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၈ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၅ သောင်း ↓ - ပွင့်လင်းရင်းမြစ် (open source)၂.၉ သောင်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
tlaplus-toolbox သည် အခမဲ့လား
ဟုတ်ပါသည်။ tlaplus-toolbox သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (MIT လိုင်စင်)။
tlaplus-toolbox ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။
tlaplus-toolbox သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
Installer သည် architecture မရွေး အလုပ်လုပ်ပါသည်။
tlaplus-toolbox ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
tlaplus-toolbox အစား ဘာတွေ သုံးနိုင်သလဲ
Stellarium၊ KiCad၊ Quarto၊ Qalculate! နှင့် JASP။ အစားထိုးပရိုဂရမ်များ စာမျက်နှာတွင် ၎င်းတို့ကို နှိုင်းယှဉ်ထားပါသည်။
