adsl 0.1.0

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`!

Gemfile:
= Copy to clipboard Copied!

install:
=

Versions:

0.1.0 - September 16, 2013 (88.5 KB)
0.0.3 - June 12, 2013 (38.5 KB)
0.0.2 - March 01, 2013 (35 KB)

Show all versions (4 total)

Runtime Dependencies (12):

activerecord ~> 3.2

activerecord-tableless >= 0

activesupport ~> 3.2

backports >= 0

colorize >= 0

i18n >= 0

method_source ~> 0.8

racc >= 0

rexical >= 0

ruby2ruby >= 0

ruby_parser ~> 3.1

test-unit >= 0

Development Dependencies (3):

rails ~> 3.2

rake >= 0

sqlite3 >= 0

Show all transitive dependencies

Owners:

Authors:

Ivan Bocic

SHA 256 checksum:

a14d85eaccfe78dba0a39c2fec334390a5a52235d1b5faf0a30a819960bdae60

adsl 0.1.0

Gemfile:
= Copy to clipboard Copied!

install:
=

Versions:

Runtime Dependencies (12):

Development Dependencies (3):

Owners:

Authors:

SHA 256 checksum:

Total downloads 13,077

For this version 4,870

License:
GNU LGPL 3

Required Ruby Version: >= 1.9.3

Links:

adsl 0.1.0

Gemfile: = Copy to clipboard Copied!

install: =

Versions:

Runtime Dependencies (12):

Development Dependencies (3):

Owners:

Authors:

SHA 256 checksum:

Total downloads 13,077

For this version 4,870

License: GNU LGPL 3

Required Ruby Version: >= 1.9.3

Links:

Gemfile:
= Copy to clipboard Copied!

install:
=

License:
GNU LGPL 3