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: 52,376 of 161,144
Downloads: 8,395

Daily

Ranking: 47,627 of 161,134
Downloads: 0

Depended by

RankDownloadsName

Depends on

RankDownloadsName
10386,940,632rake
11367,915,175i18n
13363,433,523activesupport
28249,918,319activerecord
33236,895,801rails
45197,080,199method_source
15969,582,050sqlite3
17761,473,900backports
21049,475,363colorize
24740,848,908ruby_parser
59021,293,197test-unit
9459,631,732ruby2ruby
2,0461,967,879racc
4,059481,380activerecord-tableless
4,345417,149rexical

Owners

#GravatarHandle
1iconBocete