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: 69,575 of 192,692
Downloads: 14,720
Daily
Ranking: 48,553 of 192,666
Downloads: 15
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 |
|---|---|---|
| 6 | 1,344,252,255 | i18n |
| 7 | 1,339,865,813 | activesupport |
| 8 | 1,311,002,349 | rake |
| 36 | 786,213,027 | activerecord |
| 44 | 740,994,370 | rails |
| 46 | 736,780,556 | method_source |
| 58 | 673,199,344 | racc |
| 278 | 181,938,143 | sqlite3 |
| 311 | 160,485,946 | colorize |
| 331 | 148,731,864 | backports |
| 351 | 136,875,182 | ruby_parser |
| 589 | 89,044,962 | test-unit |
| 1,726 | 19,820,722 | ruby2ruby |
| 6,230 | 894,955 | rexical |
| 7,100 | 662,306 | activerecord-tableless |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | Bocete |
xmisao