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,205 of 191,483
Downloads: 14,603
Daily
Ranking: 54,663 of 191,454
Downloads: 4
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,317,867,718 | i18n |
| 7 | 1,311,046,337 | activesupport |
| 8 | 1,274,245,981 | rake |
| 36 | 770,906,816 | activerecord |
| 44 | 726,571,628 | rails |
| 45 | 724,559,300 | method_source |
| 58 | 654,251,031 | racc |
| 278 | 177,488,390 | sqlite3 |
| 307 | 158,435,277 | colorize |
| 327 | 147,722,011 | backports |
| 348 | 135,441,440 | ruby_parser |
| 598 | 87,174,987 | test-unit |
| 1,718 | 19,481,483 | ruby2ruby |
| 6,227 | 877,548 | rexical |
| 7,022 | 660,784 | activerecord-tableless |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | Bocete |
xmisao