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:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
全てのバージョンを表示（全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
所有者:
作者:
-
Ivan Bocic
SHA 256チェックサム:
a14d85eaccfe78dba0a39c2fec334390a5a52235d1b5faf0a30a819960bdae60