Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ggrov / tacny
Tactics for the Dafny program verifier
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ggrov%2Ftacny
Stars: 3
Forks: 2
Open Issues: 9
License: None
Language: C#
Repo Size: 52.3 MB
Dependencies:
154
Created: almost 9 years ago
Updated: over 1 year ago
Last pushed: over 6 years ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
- Microsoft.VSSDK.BuildTools 14.2.25123 development
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- Microsoft.VisualStudio.CoreUtility 14.2.25123
- Microsoft.VisualStudio.Imaging 14.2.25123
- Microsoft.VisualStudio.Language.Intellisense 14.2.25123
- Microsoft.VisualStudio.OLE.Interop 7.10.6070
- Microsoft.VisualStudio.Shell.14.0 14.2.25123
- Microsoft.VisualStudio.Shell.Immutable.10.0 10.0.30319
- Microsoft.VisualStudio.Shell.Immutable.11.0 11.0.50727
- Microsoft.VisualStudio.Shell.Immutable.12.0 12.0.21003
- Microsoft.VisualStudio.Shell.Immutable.14.0 14.2.25123
- Microsoft.VisualStudio.Shell.Interop 7.10.6071
- Microsoft.VisualStudio.Shell.Interop.10.0 10.0.30319
- Microsoft.VisualStudio.Shell.Interop.11.0 11.0.61030
- Microsoft.VisualStudio.Shell.Interop.12.0 12.0.30110
- Microsoft.VisualStudio.Shell.Interop.8.0 8.0.50727
- Microsoft.VisualStudio.Shell.Interop.9.0 9.0.30729
- Microsoft.VisualStudio.Text.Data 14.2.25123
- Microsoft.VisualStudio.Text.Logic 14.2.25123
- Microsoft.VisualStudio.Text.UI 14.2.25123
- Microsoft.VisualStudio.TextManager.Interop 7.10.6070
- Microsoft.VisualStudio.TextManager.Interop.8.0 8.0.50727
- Microsoft.VisualStudio.Threading 14.1.111
- Microsoft.VisualStudio.Utilities 14.2.25123
- Microsoft.VisualStudio.Validation 14.1.111
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- Microsoft.VisualStudio.CoreUtility 14.2.25123
- Microsoft.VisualStudio.Imaging 14.2.25123
- Microsoft.VisualStudio.Language.Intellisense 14.2.25123
- Microsoft.VisualStudio.OLE.Interop 7.10.6070
- Microsoft.VisualStudio.Shell.14.0 14.2.25123
- Microsoft.VisualStudio.Shell.Immutable.10.0 10.0.30319
- Microsoft.VisualStudio.Shell.Immutable.11.0 11.0.50727
- Microsoft.VisualStudio.Shell.Immutable.12.0 12.0.21003
- Microsoft.VisualStudio.Shell.Immutable.14.0 14.2.25123
- Microsoft.VisualStudio.Shell.Interop 7.10.6071
- Microsoft.VisualStudio.Shell.Interop.10.0 10.0.30319
- Microsoft.VisualStudio.Shell.Interop.11.0 11.0.61030
- Microsoft.VisualStudio.Shell.Interop.12.0 12.0.30110
- Microsoft.VisualStudio.Shell.Interop.8.0 8.0.50727
- Microsoft.VisualStudio.Shell.Interop.9.0 9.0.30729
- Microsoft.VisualStudio.Text.Data 14.2.25123
- Microsoft.VisualStudio.Text.Logic 14.2.25123
- Microsoft.VisualStudio.Text.UI 14.2.25123
- Microsoft.VisualStudio.TextManager.Interop 7.10.6070
- Microsoft.VisualStudio.TextManager.Interop.8.0 8.0.50727
- Microsoft.VisualStudio.Threading 14.1.111
- Microsoft.VisualStudio.Utilities 14.2.25123
- Microsoft.VisualStudio.Validation 14.1.111
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4
- VSSDK.ComponentModelHost 11.0.4 development
- VSSDK.ComponentModelHost.11 11.0.3 development
- VSSDK.CoreUtility 11.0.4 development
- VSSDK.CoreUtility.11 11.0.4 development
- VSSDK.Editor 11.0.4 development
- VSSDK.IDE 7.0.4 development
- VSSDK.IDE.11 11.0.4 development
- VSSDK.Language 11.0.4 development
- VSSDK.Language.11 11.0.4 development
- VSSDK.Shell.11 11.0.4 development
- VSSDK.Text 11.0.4 development
- VSSDK.Text.11 11.0.4 development
- VSSDK.DTE 7.0.4
- VSSDK.IDE.10 10.0.4
- VSSDK.IDE.8 8.0.4
- VSSDK.IDE.9 9.0.4
- VSSDK.OLE.Interop 7.0.4
- VSSDK.Shell.Immutable.10 10.0.4
- VSSDK.Shell.Immutable.11 11.0.4
- VSSDK.Shell.Interop 7.0.4
- VSSDK.Shell.Interop.10 10.0.4
- VSSDK.Shell.Interop.11 11.0.4
- VSSDK.Shell.Interop.8 8.0.4
- VSSDK.Shell.Interop.9 9.0.4
- VSSDK.TextManager.Interop 7.0.4
- VSSDK.TextManager.Interop.8 8.0.4