Please enable JavaScript in your browser!
Головна сторінка
Огляд
Довідка
Увійти
projects
/
muMLE
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
0
Запити на злиття
0
Wiki
Дерево:
c351649d23
Гілки
Теги
development
master
mde2425
optimize-matcher
muMLE
/
experiments
Joeri Exelmans
c351649d23
Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.
1 рік тому
..
exp_plantuml.py
13f19cdec6
Example of rendering the entire match set, and rendering the rewrite (match between RHS and updated host graph)
1 рік тому
exp_scd.py
c351649d23
Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.
1 рік тому