Commit 38ec37b5 authored by Bruno Guillaume's avatar Bruno Guillaume

version 1.2.0

parent 387a0024
# 1.1.5 (2019/03/26)
# 1.2.0 (2019/03/26)
* Edge label can be viewed as feature structure "x:y" <=> "1=x, 2=y"
* Add global section in pattern (is_projective, is_cyclic, is_tree, is_forest)
* Add ?get_url parameter to Graph.to_dot (AMR handling in Grew-match)
* Add a notion of pivot node in pattern for Grew-match export
* Add Libgrew.set_track_rules function
## 1.1.5 (2019/03/26)
* move to opam2
# 1.1.4 (2019/03/06)
## 1.1.4 (2019/03/06)
* Fix bug introduced in previous version
# 1.1.3 (2019/03/04)
## 1.1.3 (2019/03/04)
* Fix bug in strategies implementation
# 1.1.2 (2019/02/10)
## 1.1.2 (2019/02/10)
* change json type
* add cmxs target
# 1.1.1 (2018/11/23)
## 1.1.1 (2018/11/23)
* style for projection edges
# 1.1.0 (2018/11/22)
......
......@@ -1521,7 +1521,8 @@ module Rule = struct
)
gwh
rule.commands in
Timeout.check (); incr_rules(); Some new_gwh
Timeout.check (); incr_rules();
Some {new_gwh with graph = G_graph.push_rule (get_name rule) new_gwh.graph }
with Not_found ->
(* raised by List.find, no matching apply or
in Graph_with_history_set.choose.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment