Andrei Costa

Scheduling rule executions

1

Verigraph does not support programmed simulation of graph transformations. It is not possible to pre-program a sequence of rules to be applied, or even to apply rules whenever possible, over...

The imminent insertion of the Final Pullback Complement function demands a correct module to be placed. Current sugestions: - AdhesiveHLR (theoretically wrong) - FinitaryCategory - A new module

Parallelisation of the Critical Pair Analysis

1

CPA process can be easily parallelized, and Haskell offers good options...

Verigraph does not import/export attributes from/to GGX file. It will allow Verigraph to manipulate grammars with attributes without changing them.