Jonas Santos Bezerra
Jonas Santos Bezerra
**Summary:** - Bumps lts-resolver: 10.5 -> 19.31 - Bumps ghc: 8.2.2 -> 9.0.2 - Bumps base: 4.8 -> 4.15 - Bumps containers: 0.4 -> 0.6 - Bumps prettyprinter: 1.1 ->...
For some analyses, it might be useful to know how many overlappings are found between pairs of rules. Currently, Verigraph computes them in order to perform critical pairs (resp. sequences),...
There are some operations spread among the modules of DPO and AdhesiveHLR that do not appear to be in the right place. Specially regarding NACs and rewritting. Such as: **DPO**:...
Currently, the implementation of occurrence graph grammars and doubly-typed graphs is made based on a pair of (simply-)typed graphs. We should create the category of doubly-typed graphs and isolate its...
Refactor the `Morphism` type class, renaming it to `FinitaryCategory` to better match its responsabilities. At the same time, implement @ggazzi's suggestion of using a Context Monad to store important information...
The following draft should be finished and published to [Coding Style Guide](https://github.com/Verites/verigraph/wiki/Coding-Style-Guide) # Verigraph Coding Style This is a short document based on [Johan Tibell's style guide](https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md) describing the preferred...
- Create a `Complete` Type Class with be basic operations `equalizer` and `product`, similar to [Cocomplete](../blob/master/src/library/Abstract/Cocomplete.hs) and [AdhesiveHLR](blob/master/src/library/Abstract/AdhesiveHLR.hs). - Move the `pullback` implementation to it.
Write the unit tests for the concurrent rules calculation functionality
Verigraph does not support GGX files that contains different edge types with the same ID but different node types for source and target.
Verigraph does not export the rule sequences of the original input GGX file to the output one.