ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Dafny

by tvi ST2/ST3

A Sublime Text 2 plugin for Dafny. Provides syntax highlighting.

Details

Installs

  • Total 750
  • Win 411
  • OS X 217
  • Linux 122
Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8 Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20 Dec 19 Dec 18 Dec 17 Dec 16 Dec 15 Dec 14 Dec 13 Dec 12 Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3 Dec 2
Windows 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 3 0 1 1 0 0 0 1 1 0 0 0 0 1
OS X 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
Linux 0 1 2 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

sublime-dafny

A Sublime Text 2 plugin for Dafny. Provides verifing and syntax highlighting.

The Problem

This packages adds support for Dafny static program verifier to Sublime Text 2.

Getting Started

If you're running a full installation of Sublime Text, simply doublelick on the .sublime-package file. If you're running a portable installation, you need to perform an installation by hand.

Once installed, run the following command from the Python console (Ctrl+`):

view.run_command("COMMAND")

Alternatively, you can define a new key binding for this command.

How to Use