Joeri Exelmans 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 1 year ago
..
benchmark.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
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 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 1 year ago
mvs_adapter.py 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 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