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:
=

installation:
=

Versions:

0.1.0 September 16, 2013 (88,5 ko)
0.0.3 June 12, 2013 (38,5 ko)
0.0.2 March 01, 2013 (35 ko)

Voir toutes les versions (4)

Dépendances de Runtime (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

Dépendances de Development (3):

rails ~> 3.2

rake >= 0

sqlite3 >= 0

Show all transitive dependencies

Propriétaires:

Auteurs:

Ivan Bocic

adsl 0.1.0

Gemfile:
=

installation:
=

Versions:

Dépendances de Runtime (12):

Dépendances de Development (3):

Propriétaires:

Auteurs:

Total de contrôle SHA 256:

Total de téléchargements 13 462

Pour cette version 5 026

Version publiée:
September 16, 2013 1:01am

License:
GNU LGPL 3

Version de Ruby requise: >= 1.9.3

Liens:

adsl 0.1.0

Gemfile: =

installation: =

Versions:

Dépendances de Runtime (12):

Dépendances de Development (3):

Propriétaires:

Auteurs:

Total de contrôle SHA 256:

Total de téléchargements 13 462

Pour cette version 5 026

Version publiée: September 16, 2013 1:01am

License: GNU LGPL 3

Version de Ruby requise: >= 1.9.3

Liens:

Gemfile:
=

installation:
=

Version publiée:
September 16, 2013 1:01am

License:
GNU LGPL 3