microsoft
/
ivy
зеркало из https://github.com/microsoft/ivy.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Improved Formatting.

This commit is contained in:
Shubham Bhattar 2018-10-09 01:10:51 +05:30 коммит произвёл Ken McMillan
Родитель 1ceeec142c
Коммит 3be68a4e19
1 изменённых файлов: 5 добавлений и 9 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

14
README.md
Просмотреть файл

@ -8,17 +8,17 @@ proofs, and supports a use model in which the human protocol designer
and the automated tool interact to expose errors and prove and the automated tool interact to expose errors and prove
correctness. correctness.
#Installation # Installation
Linux ## Linux
On Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands: On Debian-based Linux ditributions such as Ubuntu, download and install the file `ms-ivy_X.X_YYYY.deb` where `X.X` is the IVy version and `YYYY` is the machine architecture. Use your system’s package manager to install this package, or the following commands:
``` ```
$ sudo dpkg -i ms-ivy_X.X_YYYY.deb $ sudo dpkg -i ms-ivy_X.X_YYYY.deb
$ sudo apt-get install -f $ sudo apt-get install -f
``` ```
The first command will report missing dependencies, which will be installed by the second command. The first command will report missing dependencies, which will be installed by the second command.
Windows ## Windows
The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command: The Windows binary distribution is in the form of a zip archive. Download the file `ivy.X.Y-.Windows-z86.zip`, where `X.X` is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory `C:\`. This should give you a directory `C:\ivy`. To use IVy in a command window, first execute this command:
``` ```
> C:\ivy\scripts\activate > C:\ivy\scripts\activate
``` ```
@ -26,7 +26,3 @@ The Windows binary distribution is in the form of a zip archive. Download the fi
## Further Reading ## Further Reading
For further information on IVy, see [the IVy web site](http://microsoft.github.io/ivy/). For further information on IVy, see [the IVy web site](http://microsoft.github.io/ivy/).