[{"authors":"Ivan Bocic","built_at":"2013-09-16T00:00:00.000Z","created_at":"2013-09-16T01:01:24.190Z","description":"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`!","downloads_count":5719,"metadata":{},"number":"0.1.0","summary":"A library for formal verification of Rails models","platform":"ruby","rubygems_version":">= 0","ruby_version":">= 1.9.3","prerelease":false,"licenses":["GNU LGPL 3"],"requirements":[],"sha":"a14d85eaccfe78dba0a39c2fec334390a5a52235d1b5faf0a30a819960bdae60","spec_sha":"ce58b17934ac85ff2f3c2848e56bd60072f78ae5638a5a9ba0612277cce5608b"},{"authors":"Ivan Bocic","built_at":"2013-06-12T00:00:00.000Z","created_at":"2013-06-12T03:41:30.334Z","description":"ADSL parses ADSL specification, translating it into Spass for verification","downloads_count":4447,"metadata":{},"number":"0.0.3","summary":"A tool for parsing ADSL and translating it into Spass","platform":"ruby","rubygems_version":">= 0","ruby_version":"~> 1.8.7","prerelease":false,"licenses":["GNU LGPL 3"],"requirements":null,"sha":"1a25ec4e452c8946336f0cd61c4fccff755848fdba21be4f845663d3e16a1752","spec_sha":"9b2a0c20690e368b917175f9f4028c0aa727f718c0fc975480a4c6c322f1b23c"},{"authors":"Ivan Bocic","built_at":"2013-03-01T00:00:00.000Z","created_at":"2013-03-01T01:09:23.017Z","description":"ADSL parses ADSL specification, translating it into Spass for verification","downloads_count":4799,"metadata":{"homepage_uri":"http://cs.ucsb.edu/~bo/adsl/"},"number":"0.0.2","summary":"A tool for parsing ADSL and translating it into Spass","platform":"ruby","rubygems_version":">= 0","ruby_version":"~> 1.8.7","prerelease":false,"licenses":[],"requirements":null,"sha":"6e9727ac857a65ab7ade6b1e29a5c1d54935a06d5fccd92b4fcf9de551b35730","spec_sha":"f89b98eb1217a625c14ef839fe1f994649aea3efaa63f4b039119ff0e4fdb97c"}]