RubyGems Navigation menu

adsl 0.0.3

ADSL parses ADSL specification, translating it into Spass for verification

Gemfile:
=

インストール:
=

バージョン履歴:

  1. 0.1.0 September 16, 2013 (88.5KB)
  2. 0.0.3 June 12, 2013 (38.5KB)
  3. 0.0.2 March 01, 2013 (35KB)
全てのバージョンを表示(全4件)

Runtime依存関係 (5):

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

Development依存関係 (2):

rake >= 0
test-unit >= 0

所有者:

作者:

  • Ivan Bocic

SHA 256チェックサム:

=

累計ダウンロード数 13,470

このバージョンのみ 4,020

このバージョンがリリースされたのは:

ライセンス:

GNU LGPL 3

必要なRubyのバージョン: ~> 1.8.7

リンク: