{"name":"adsl","downloads":14951,"version":"0.1.0","version_created_at":"2013-09-16T01:01:24.190Z","version_downloads":5708,"platform":"ruby","authors":"Ivan Bocic","info":"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`!","licenses":["GNU LGPL 3"],"metadata":{},"yanked":false,"sha":"a14d85eaccfe78dba0a39c2fec334390a5a52235d1b5faf0a30a819960bdae60","spec_sha":"ce58b17934ac85ff2f3c2848e56bd60072f78ae5638a5a9ba0612277cce5608b","project_uri":"https://rubygems.org/gems/adsl","gem_uri":"https://rubygems.org/gems/adsl-0.1.0.gem","homepage_uri":"http://cs.ucsb.edu/~bo/adsl/","wiki_uri":null,"documentation_uri":"https://www.rubydoc.info/gems/adsl/0.1.0","mailing_list_uri":null,"source_code_uri":null,"bug_tracker_uri":null,"changelog_uri":null,"funding_uri":null,"dependencies":{"development":[{"name":"rails","requirements":"~> 3.2"},{"name":"rake","requirements":">= 0"},{"name":"sqlite3","requirements":">= 0"}],"runtime":[{"name":"activerecord","requirements":"~> 3.2"},{"name":"activerecord-tableless","requirements":">= 0"},{"name":"activesupport","requirements":"~> 3.2"},{"name":"backports","requirements":">= 0"},{"name":"colorize","requirements":">= 0"},{"name":"i18n","requirements":">= 0"},{"name":"method_source","requirements":"~> 0.8"},{"name":"racc","requirements":">= 0"},{"name":"rexical","requirements":">= 0"},{"name":"ruby2ruby","requirements":">= 0"},{"name":"ruby_parser","requirements":"~> 3.1"},{"name":"test-unit","requirements":">= 0"}]}}