jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Update names in code

This commit is contained in:
Cédric Pasteur 2010-07-26 14:17:24 +02:00
parent f24e97fb87
commit aa61865b9e
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler/heptagon/main/hept_compiler.ml
View File

@ -48,26 +48,26 @@ let compile_impl pp p =
do_silent_pass Initialization.program "Initialization check" p !init in
(* Completion of partial definitions *)
let p = do_pass Completion_mapfold.program "Completion" p pp true in
let p = do_pass Completion.program "Completion" p pp true in
let p =
let call_inline_pass = (List.length !inline > 0) || !Misc.flatten in
do_pass Inline.program "Inlining" p pp call_inline_pass in
(* Automata *)
let p = do_pass Automata_mapfold.program "Automata" p pp true in
let p = do_pass Automata.program "Automata" p pp true in
(* Present *)
let p = do_pass Present_mapfold.program "Present" p pp true in
let p = do_pass Present.program "Present" p pp true in
(* Shared variables (last) *)
let p = do_pass Last_mapfold.program "Last" p pp true in
let p = do_pass Last.program "Last" p pp true in
(* Reset *)
let p = do_pass Reset_mapfold.program "Reset" p pp true in
let p = do_pass Reset.program "Reset" p pp true in
(* Every *)
let p = do_pass Every_mapfold.program "Every" p pp true in
let p = do_pass Every.program "Every" p pp true in
(* Return the transformed AST *)
p

2
compiler/heptagon/transformations/every.ml
View File

@ -1,6 +1,6 @@
open Heptagon
open Hept_mapfold
open Reset_mapfold
open Reset
let statefull eq_list = List.exists (fun eq -> eq.eq_statefull) eq_list