RubyGems Navigation menu

sbuilder-al 0.0.8

API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet Loader Extension Point in tla-sbuilder tool. tla-sbuilder is a tool to generate runnable formal models in TLA+ language http://research.microsoft.com/en-us/um/people/lamport/tla/book.html Generated formal models can be verified using TLA+ Tools http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.

Gemfile:
= In die Zwischenablage kopieren Kopiert!

installieren:
=

Versionen:

  1. 0.0.8 - December 18, 2017 (47,5 KB)

Runtime Abhängigkeiten (4):

docile >= 1.1.5, ~> 1.1
mustache >= 1.0.3, ~> 1.0
tla-parser-s >= 0.2.5, ~> 0.2
tla-sbuilder >= 0.3.5, ~> 0.3

Besitzer:

Autoren:

  • jarjuk

SHA 256-Prüfsumme:

ccb3999845f390af626b4a615efe8380aa2332de59a54217bbfff6cca05029bb

Downloads insgesamt 2.286

Für diese Version 2.286

Lizenz:

MIT

Erforderliche Ruby-Version: ~> 2

Links: