RubyGems Navigation menu

adsl 0.0.3

ADSL parses ADSL specification, translating it into Spass for verification

Gemfile:
=

installieren:
=

Versionen:

  1. 0.1.0 September 16, 2013 (88,5 KB)
  2. 0.0.3 June 12, 2013 (38,5 KB)
  3. 0.0.2 March 01, 2013 (35 KB)
Zeige alle Versionen (4 total)

Runtime Abhängigkeiten (5):

colorize >= 0
i18n >= 0
racc >= 0
rexical >= 0

Development Abhängigkeiten (2):

rake >= 0
test-unit >= 0

Besitzer:

Autoren:

  • Ivan Bocic

SHA 256-Prüfsumme:

=

Downloads insgesamt 13.469

Für diese Version 4.020

Version veröffentlicht:

Lizenz:

GNU LGPL 3

Erforderliche Ruby-Version: ~> 1.8.7

Links: