Project

General

Profile

« Previous | Next » 

Revision 5500edb8

Added by Pierre-Loïc Garoche over 6 years ago

  • ID 5500edb8f813bab0dbb16ea658a9451bc75add7f
  • Parent 9b04601c

Two fresh branches :)
to manage enum and arrays in the horn backend.

View differences:

src/corelang.ml
1032 1032
let copy_prog top_list =
1033 1033
  List.map copy_top top_list
1034 1034

  
1035

  
1036
     
1037
let rec get_array_const_multidim c =
1038
    match c with
1039
  | Const_array (c_hd::_) -> 1 + (get_array_const_multidim c_hd)
1040
  | Const_array [] -> assert false
1041
  | _ -> 0
1042

  
1035 1043
(* Local Variables: *)
1036 1044
(* compile-command:"make -C .." *)
1037 1045
(* End: *)

Also available in: Unified diff