| .. |
|
benchmark.py
|
ae5eaedb4b
RAMification + pattern matching: put typing information straight into the Vertices, as a Python attribute (don't put it in separate Vertices+Edges).
|
1 year ago |
|
generator.py
|
4160a8953e
Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.
|
1 year ago |
|
graph.py
|
4160a8953e
Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.
|
1 year ago |
|
graphToDot.py
|
3ae35a87d0
pattern matching: convert tabs to spaces
|
1 year ago |
|
main.py
|
4160a8953e
Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.
|
1 year ago |
|
matcher.py
|
ae5eaedb4b
RAMification + pattern matching: put typing information straight into the Vertices, as a Python attribute (don't put it in separate Vertices+Edges).
|
1 year ago |
|
mvs_adapter.py
|
89b7c83440
Hacked together graph rewriter
|
1 year ago |
|
patternMatching.py
|
bed3529676
Add performance comparison between Sten's and Joeri's matcher. Sten's seems to be broken (giving a different match set every time), however.
|
1 year ago |
|
run.sh
|
7ece331efb
Pattern matching: return all the matches (instead of the first one found)
|
1 year ago |
Joeri Exelmans
89b7c83440
Hacked together graph rewriter