move modified bitwalker sources into report directory
import files from internal repository
add first example file
two new examples
formatting
add another set of examples
sharpen an assertion
add new target to compile all C files
add implementation with side effect
shows that frama-c can detect unintended side effects
provide an example with fine tuned assigns clause
provide own file to write about frama-c
i
add RTE sources
provide sources for rts analysis
remove label in bitwalker_poke listing in sqs section
add examples to section on Frama-C
remove generated file
some introductory remarks
some more text