minor typos in Makefile.am
first specification of __po_hi_swap_bytes. Can be proved with alt-ergo
with -all-models option
add scratch directory
move __po_hi_swap_bytes specification to .h file
add po_hi_config.h in gitignore
add more tests for swap_byte
more tests for swap_byte
add goals directories to gitignore
correct implementation + specification of __po_hi_swap_byte
add RTE verification + timeout for alt-ergo
new specification and implementation for __po_hi_swap_byte using integers
correct errors in bit shifting using integer arithmetics
fix conflict in po_hi_utils.c and merge swap-byte branch