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: 68,497 of 187,603
Downloads: 14,272
Daily
Ranking: 71,873 of 187,591
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 |
|---|---|---|
| 6 | 1,227,957,799 | i18n |
| 7 | 1,212,431,206 | activesupport |
| 10 | 1,165,909,119 | rake |
| 36 | 719,708,841 | activerecord |
| 41 | 686,648,119 | method_source |
| 43 | 678,869,513 | rails |
| 62 | 583,475,061 | racc |
| 275 | 165,772,060 | sqlite3 |
| 297 | 151,654,845 | colorize |
| 309 | 144,543,071 | backports |
| 331 | 130,939,960 | ruby_parser |
| 643 | 80,271,458 | test-unit |
| 1,694 | 18,413,697 | ruby2ruby |
| 6,139 | 835,206 | rexical |
| 6,814 | 657,235 | activerecord-tableless |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | Bocete |
xmisao