A programming language with a program verifier
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
dafny என்றால் என்ன?
dafny என்பது ஓப்பன் சோர்ஸ் Windows மென்பொருள் (பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் பிரிவு).
நிறுவலும் தேவைகளும்
64-பிட் கணினிகளுக்கான அதிகாரப்பூர்வ நிறுவிகள் உள்ளன (போர்ட்டபிள்). இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
குறைகள்
- நேட்டிவ் ARM64 பதிப்பு இல்லை
சுருக்கமாக: dafny ஒரு 64-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் பிரிவுக் கருவி.
dafny பதிவிறக்கம் பாதுகாப்பானதா?
- கோப்பை வழங்குவது github.com; இது வெளியீட்டாளரின் அதிகாரப்பூர்வ மிரர்தானா என்பதைச் சரிபாருங்கள்
- பதிவிறக்க இணைப்பு HTTPS பயன்படுத்துகிறது
- SHA256 ஹாஷ் வெளியிடப்பட்டுள்ளது, எனவே கோப்பைச் சரிபார்க்கலாம்:
3653F05A111CA21E234709EA7B25CE96083FD6C6F10484256BA54110DBC0654D· இந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறக்கவும் - இணைப்பு இன்னும் சரிபார்க்கப்படவில்லை
- மூலக் குறியீடு பொதுவில் கிடைக்கிறது
- ExeAtlas நிறுவிகளைச் சேமிப்பதோ, சுற்றிக் கட்டுவதோ, மாற்றுவதோ இல்லை
தொடர்புடைய வழிகாட்டி: Windows-இல் கோப்பின் SHA256 ஹாஷைச் சரிபார்ப்பது எப்படி
அண்மைப் பதிப்புகள்
அனைத்து 1 பதிப்புகளும் ›| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 4.11.0சமீபத்தியது | — | 64-பிட் ZIP |
கமாண்ட் லைன் மூலம் நிறுவுதல்
சைலண்ட் இன்ஸ்டால் ›scoop install main/dafnyமென்பொருள் கோப்புகள் (.exe): dafny.exe, dafnyserver.exe
தொடர்புடைய வழிகாட்டி: winget பயன்படுத்துவது எப்படி: நிறுவல், புதுப்பிப்பு
தகவல்
- பிரிவு
- பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள்
- உரிமம்
- MIT
- விலை
- இலவசம்
- தேவை
- Windows 11 / 10
- கட்டமைப்பு
- 64-பிட்
- நிறுவி வகை
- போர்ட்டபிள்
- பதிப்பு
- 4.11.0
- பட்டியலில் உள்ள பதிப்புகள்
- 1
- இணையதளம்
- dafny-lang.github.io
- Scoop தொகுப்பு
- main/dafny
மதிப்பீடுகளும் விமர்சனங்களும்
இன்னும் விமர்சனங்கள் இல்லை. முதலில் மதிப்பிடுபவராக நீங்கள் இருங்கள்.
dafny மாற்று மென்பொருள்கள்
அனைத்தையும் பார்க்க ›-
ஓப்பன் சோர்ஸ்386.2மி ↓ -
ஓப்பன் சோர்ஸ்2.6மி ↓ -
ஓப்பன் சோர்ஸ்183ஆ ↓ -
ஓப்பன் சோர்ஸ்257.3ஆ ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் · Martí Climentஓப்பன் சோர்ஸ்78.1ஆ ↓ -
ஓப்பன் சோர்ஸ்3.9ஆ ↓ -
ஓப்பன் சோர்ஸ்9.8ஆ ↓ -
ஓப்பன் சோர்ஸ்15ஆ ↓
அடிக்கடி கேட்கப்படும் கேள்விகள்
dafny இலவசமா?
ஆம். dafny ஒரு ஓப்பன் சோர்ஸ் மென்பொருள் (MIT உரிமம்).
dafny பதிவிறக்கம் பாதுகாப்பானதா?
கோப்பு github.com தளத்திலிருந்து வருகிறது. ExeAtlas கோப்பைச் சேமிப்பதோ மாற்றுவதோ இல்லை. இங்கே காட்டப்பட்டுள்ள SHA256 ஹாஷுடன் அதை ஒப்பிடுங்கள், அல்லது அந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறந்து பாருங்கள்.
dafny ARM (Windows on Arm) கணினிகளில் இயங்குமா?
ARM64 பதிப்பு இல்லை; Windows 11 on Arm எமுலேஷன் மூலம் 64-பிட் பதிப்பை இயக்க முடியும்.
நிர்வாகி உரிமைகள் இல்லாமல் dafny பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
