improved malloc.h with some new acsl annotations
isatty? how can we write a contract for this
Merge branch 'master' of https://github.com/Beatgodes/klibc-frama-c
fixed include
another include fix
Some leaf functions annotated