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,762 of 188,757
Downloads: 14,479
Daily
Ranking: 87,276 of 188,742
Downloads: 0
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,265,380,268 | i18n |
| 7 | 1,254,855,604 | activesupport |
| 10 | 1,202,260,445 | rake |
| 36 | 740,878,701 | activerecord |
| 43 | 702,158,874 | method_source |
| 44 | 698,291,560 | rails |
| 60 | 612,669,343 | racc |
| 276 | 170,904,501 | sqlite3 |
| 301 | 154,630,997 | colorize |
| 316 | 145,803,043 | backports |
| 338 | 132,769,634 | ruby_parser |
| 624 | 83,037,739 | test-unit |
| 1,702 | 18,874,706 | ruby2ruby |
| 6,182 | 850,886 | rexical |
| 6,897 | 659,040 | activerecord-tableless |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | Bocete |
xmisao