include time.h in po_hi_utils.c to be able to do the proof!
Merge branch 'swap-byte' into acsl
include time.h in po_hi_types.c to be able to do the proof!
Merge branch 'copy_array' into acsl
change signature of __po_hi_copy_array_uint8 to respect declaration