Categories: None [Edit]
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: 71,053 of 198,451
Downloads: 15,097
Daily
Ranking: 35,563 of 198,429
Downloads: 3
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 5 | 1,479,218,525 | i18n |
| 6 | 1,476,982,732 | activesupport |
| 8 | 1,463,583,217 | rake |
| 37 | 866,816,659 | activerecord |
| 45 | 815,657,797 | rails |
| 50 | 793,296,731 | method_source |
| 58 | 765,918,164 | racc |
| 285 | 201,760,508 | sqlite3 |
| 327 | 171,756,713 | colorize |
| 356 | 153,605,308 | backports |
| 377 | 144,086,016 | ruby_parser |
| 545 | 101,156,202 | test-unit |
| 1,730 | 22,036,268 | ruby2ruby |
| 6,419 | 984,933 | rexical |
| 7,545 | 670,146 | activerecord-tableless |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | Bocete |
xmisao