RubyGems Navigation menu

adsl 0.0.3

ADSL parses ADSL specification, translating it into Spass for verification

Gemfile:
=

instalar:
=

Versiones:

  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)
Mostrar todas las versiones (4 total)

dependencias de Runtime (5):

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

dependencias de Development (2):

rake >= 0
test-unit >= 0

Propietarios:

Autores:

  • Ivan Bocic

SHA 256 checksum:

=

Total de descargas 13.469

Para esta versión 4.020

Versión publicada:

Licencia:

GNU LGPL 3

Versión de Ruby requerida: ~> 1.8.7

Enlace: