chnage date
copy individual files to Original dir
start working on PeekNext
add type invariant and use for Init
change return type to unsigned int
minor formatting
Merge branch 'master' of github.com:jensgerlach/validation
improve type invariant
first version of contract of PeekNext
add missing precondition
Merge branch 'master' of github.com:jensgerlach/validation
add initial version of PokeNext
complete contract of PeekNext
add behaviors to PokeNext
remove unnecessary precondition
work on PokeNext
add more report targets
add missing \result for nomal behavior
add new issue and mention Frama-C version
dd figure on formalization to introduction