first draft for report conf.
first draft of a custom python script for presenting results
Python script for pretty-printing frama-c reports. LaTeX backend only (for the moment...).
typos in format-cu.py
formal changes in pretty printer for LaTeX
remove test file for pretty printer
add pretty-print rule in Makefile
move conf file for WP report plugin in report directory
add new PO for report: complete/disjoint behaviors
change behaviors name in __po_hi_time_is_greater for pretty-printing
add other VC types (complete/disjoint behaviors for instance)
formal changes to the LaTeX pretty-printer
add background for total row in report
refactor Python script for generating report (add stats for CU + global stats)