adsl 0.1.0

A tool for automatic extraction and verification of Rails formal models. Just include it in your Gemfile, write a few invariants, setup Spass and `rake verify`!

Gemfile:
=

インストール:
=

バージョン履歴:

0.1.0 September 16, 2013 (88.5KB)
0.0.3 June 12, 2013 (38.5KB)
0.0.2 March 01, 2013 (35KB)

全てのバージョンを表示（全4件）

Runtime依存関係 (12):

activerecord ~> 3.2

activerecord-tableless >= 0

activesupport ~> 3.2

backports >= 0

colorize >= 0

i18n >= 0

method_source ~> 0.8

racc >= 0

rexical >= 0

ruby2ruby >= 0

ruby_parser ~> 3.1

test-unit >= 0

Development依存関係 (3):

rails ~> 3.2

rake >= 0

sqlite3 >= 0

全ての推移的な依存関係を表示

所有者:

作者:

Ivan Bocic

SHA 256チェックサム:

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

このバージョンのみ 5,025

このバージョンがリリースされたのは:
September 16, 2013 1:01am

ライセンス:
GNU LGPL 3

必要なRubyのバージョン: >= 1.9.3

リンク:

ホームページドキュメントダウンロード差分をレビューバッジ RSS 悪用報告被依存関係