RubyGems Navigation menu

adsl 0.0.3

ADSL parses ADSL specification, translating it into Spass for verification

Gemfile:
= Copier Copié!

installation:
=

Versions:

  1. 0.1.0 - September 16, 2013 (88,5 ko)
  2. 0.0.3 - June 12, 2013 (38,5 ko)
  3. 0.0.2 - March 01, 2013 (35 ko)
Voir toutes les versions (4)

Dépendances de Runtime (5):

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

Dépendances de Development (2):

rake >= 0
test-unit >= 0

Propriétaires:

Auteurs:

  • Ivan Bocic

Total de contrôle SHA 256:

= Copier Copié!

Total de téléchargements 13 237

Pour cette version 3 950

License:

GNU LGPL 3

Version de Ruby requise: ~> 1.8.7

Liens: