A programming language with a program verifier
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
dafny ဆိုတာ ဘာလဲ
dafny သည် Windows အတွက် ပွင့်လင်းရင်းမြစ် Package manager နှင့် updater များ အမျိုးအစား ပရိုဂရမ် ဖြစ်ပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
တရားဝင် installer များကို 64-bit အတွက် Portable ပုံစံဖြင့် ရနိုင်ပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
အတိုချုပ်: dafny သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Package manager နှင့် updater များ ကိရိယာ ဖြစ်ပါသည်။
dafny ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို github.com မှ ပေးပို့ပါသည်။ ထုတ်ဝေသူ၏ တရားဝင် mirror ဟုတ်မဟုတ် စစ်ဆေးပါ
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
3653F05A111CA21E234709EA7B25CE96083FD6C6F10484256BA54110DBC0654D· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 4.11.0နောက်ဆုံး | — | 64-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›scoop install main/dafnyပရိုဂရမ်ဖိုင်များ (.exe): dafny.exe, dafnyserver.exe
ဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အချက်အလက်
- အမျိုးအစား
- Package manager နှင့် updater များ
- လိုင်စင်
- MIT
- စျေးနှုန်း
- အခမဲ့
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 4.11.0
- စာရင်းရှိ ဗားရှင်းများ
- 1
- ဝဘ်ဆိုက်
- dafny-lang.github.io
- Scoop package
- main/dafny
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
dafny အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၃၈.၆ ကုဋေ ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၆ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၈ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၆ သိန်း ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Package manager နှင့် updater များ · Martí Climentပွင့်လင်းရင်းမြစ် (open source)၇.၈ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၃.၉ ထောင် ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၉.၈ ထောင် ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၅ သောင်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
dafny သည် အခမဲ့လား
ဟုတ်ပါသည်။ dafny သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (MIT လိုင်စင်)။
dafny ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
dafny သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
dafny ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
