Categories: None [Edit]

adsl

https://rubygems.org/gems/adsl
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`!

Total

Ranking: 50,726 of 157,367
Downloads: 8,247

Daily

Ranking: 36,619 of 157,306
Downloads: 0

Depended by

RankDownloadsName

Depends on

RankDownloadsName
10338,539,222rake
12317,147,387i18n
13314,504,722activesupport
24219,615,948activerecord
28209,079,293rails
44161,986,459method_source
13862,912,129sqlite3
19246,632,214backports
20142,261,353colorize
24633,236,875ruby_parser
58517,262,065test-unit
8658,908,574ruby2ruby
1,9271,745,962racc
3,706467,739activerecord-tableless
3,965409,413rexical

Owners

#GravatarHandle
1iconBocete