IDE for the TLA+ tools.
የአሳታሚው መግለጫ (እንግሊዝኛ)
tlaplus-toolbox ምንድነው?
tlaplus-toolbox ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው፤ ምድቡ “ሳይንስ እና ሂሳብ” ነው። ከWindows በተጨማሪ ለLinux ይገኛል።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለማንኛውም ፕሮሰሰር Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
- በLinux ላይም ይሠራል
በአጭሩ: tlaplus-toolbox ለማንኛውም ፕሮሰሰር ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው፤ ምድቡ “ሳይንስ እና ሂሳብ” ነው።
ዋና ዋና ባሕሪያት
- 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 ይጠቀማል
- ለዚህ ፋይል የታተመ ሃሽ የለም
- አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የቅርብ ጊዜ ስሪቶች
1 ስሪት ›| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 1.8.0የቅርብ ጊዜ | — | ማንኛውም ፕሮሰሰር ZIP |
ከትዕዛዝ መስመር ይጫኑ
ጸጥ ያለ ጭነት ›scoop install extras/tlaplus-toolboxየፕሮግራም ፋይሎች (.exe): tlc.exe, toolbox.exe
ተዛማጅ መመሪያ: winget እንዴት እንደሚጠቀሙ፦ ፕሮግራሞችን መጫን እና ማዘመን
ለሌሎች ሥርዓቶችም
flatpak install flathub org.lamport.tla.toolboxመረጃ
- ምድብ
- ሳይንስ እና ሂሳብ
- ፈቃድ
- MIT
- ዋጋ
- ነፃ
- የይዘት ደረጃ
- ለሁሉም ዕድሜ
- የሚያስፈልገው
- Windows 11 / 10
- አርክቴክቸር
- ማንኛውም ፕሮሰሰር
- ጫኚ
- ተንቀሳቃሽ (portable)
- ሌሎች መድረኮች
- Linux
- ስሪት
- 1.8.0
- የተዘረዘሩ ስሪቶች
- 1
- ድረ-ገጽ
- lamport.azurewebsites.net
- የScoop ጥቅል
- extras/tlaplus-toolbox
ደረጃዎች እና ግምገማዎች
እስካሁን ምንም ግምገማ የለም። ደረጃ የሚሰጡ የመጀመሪያው ይሁኑ።
የtlaplus-toolbox አማራጮች
ሁሉንም ይመልከቱ ›-
ክፍት ምንጭ118 ሺ ↓ -
ክፍት ምንጭ126.7 ሺ ↓ -
ክፍት ምንጭ46 ሺ ↓ -
ክፍት ምንጭ50.3 ሺ ↓ -
ክፍት ምንጭ12.2 ሺ ↓ -
ክፍት ምንጭ17.7 ሺ ↓ -
ክፍት ምንጭ24.6 ሺ ↓ - ክፍት ምንጭ28.6 ሺ ↓
ተደጋግመው የሚጠየቁ ጥያቄዎች
tlaplus-toolbox ነፃ ነው?
አዎ። tlaplus-toolbox በMIT ፈቃድ የሚሰራጭ የክፍት ምንጭ ሶፍትዌር ነው።
tlaplus-toolboxን ማውረድ ደህንነቱ የተጠበቀ ነው?
ፋይሉ የሚወርደው ከgithub.com ነው፤ ExeAtlas ፋይሉን አያስተናግድም፣ አይቀይርምም።
tlaplus-toolbox በARM (Windows on Arm) ላይ ይሠራል?
ጫኚው በአርክቴክቸር ላይ የተመሠረተ አይደለም።
tlaplus-toolboxን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
የtlaplus-toolbox አማራጮች ምንድን ናቸው?
Stellarium፣ KiCad፣ Quarto፣ Qalculate! እና JASP። የአማራጮች ገጹ ያነጻጽራቸዋል።
