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.5 KB)
- 0.0.3 - June 12, 2013 (38.5 KB)
- 0.0.2 - March 01, 2013 (35.0 KB)
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