RubyGems Navigation menu

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:
=

安裝:
=

版本列表:

  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.0 KB)
顯示所有版本(共 4)

Runtime 相依性套件 (12):

activerecord ~> 3.2
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,462

這個版本 5,026

版本发布:

授權:

GNU LGPL 3

Ruby 版本需求: >= 1.9.3

相關連結: