Commit a3224428 authored by Bruno Guillaume's avatar Bruno Guillaume

version 1.1.3

parent 1648c897
# 1.1.3 (2019/03/04)
* Fix bug in strategies implementation
# 1.1.2 (2019/02/10)
* change json type
* add cmxs target
......
......@@ -347,7 +347,8 @@ module Grs = struct
(fun gwh acc -> Graph_with_history_set.union acc (gwh_strat_simple_rewrite ?domain pointed (Ast.Seq tail_strat) gwh)
) first_strat Graph_with_history_set.empty
| Ast.Iter strat -> iter_gwh ?domain pointed strat gwh
| Ast.Iter s
| Ast.Onf s -> iter_gwh ?domain pointed s gwh
| Ast.Try strat ->
begin
......@@ -365,13 +366,6 @@ module Grs = struct
| None -> gwh_strat_simple_rewrite ?domain pointed s2 gwh
end
| Ast.Onf s ->
begin
match onf_strat_simple_rewrite ?domain pointed (Ast.Iter s) gwh.Graph_with_history.graph with
| None -> Graph_with_history_set.singleton gwh
| Some new_g -> Graph_with_history_set.singleton (Graph_with_history.from_graph new_g)
end
and iter_gwh ?domain pointed strat gwh =
let rec loop (todo, not_nf, nf) =
match Graph_with_history_set.choose_opt todo with
......
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