minor typo
trying to prove __po_hi_get_time with timespec allocated on stack
simple example with aliasing pv ont int*
simple test file with pointer on timespec. Modifying Makefile.am to be able to use specification of stdlib etc. from Frama-C
simple test with mixing -> and . notation for structs
simple test with #define. Must use -pp-annot option to work.
adding -pp-annot option in Makefile to preprocess defined constants in
header files
complete specification of clock_gettime (without the EPERM behaviour
when permission to use clock_settime is not allowed) and __po_hi_get_time.
simple test for __po_hi_get_time