Equivalence of reductions - prototype (SAS'14 paper)

The implementation is available in the following svn repository: http://www.cs.colostate.edu/AlphaZsvn/Development/trunk/mde/org.polymodel.equivalence/ .

• The benchmarks are inside the folder "/src/equivalence/benchmark", and their corresponding equivalence automaton (in .dot and .pdf files) inside the folder "/src/equivalence/benchmark/equivalenceAutomaton".
• To run the implementation in your machine, you will need the latest AlphaZ bundle.
• [23/06/14] A documentation is currently being written in the "/doc/" folder and will contain the detailed explanation of our algorithms and of the data structures.

The prototype is still regularly updated and might still contains some bugs (in spite of our effort to suppress them). [23/06/14] Moreover, some parts of the implementation is still missing (such as the constraint extraction if we have cycles).

To report bugs or installation issues, please send an email at the following address: guillaume.iooss[-at-]gmail[-dot-]com