summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* src/file_riff.h: improve Frama-C annotationsHEADmasterChristophe Grenier2021-09-041-7/+2
* src/file_nds.c: improve Frama-C annotationsChristophe Grenier2021-09-041-9/+5
* src/file_mpg.c: improve Frama-C annotationsChristophe Grenier2021-09-042-9/+7
* src/file_mp3.c: improve Frama-C annotationsChristophe Grenier2021-09-041-7/+4
* src/file_mft.c: improve Frama-C annotationsChristophe Grenier2021-09-041-9/+5
* src/intrfn.c: ask_confirmation() - clear the screen before closing itChristophe Grenier2021-09-041-0/+7
* src/ext2_common.c: test_EXT2() - reduce code complexityChristophe Grenier2021-09-041-8/+11
* part_i386: allow to force the partition type for PC Intel partition typeChristophe Grenier2021-09-041-2/+14
* src/file_zpr.c: improve Frama-C annotationsChristophe Grenier2021-07-291-7/+3
* src/file_zip.c: improve Frama-C annotationsChristophe Grenier2021-07-291-21/+8
* src/file_zcode.c: improve Frama-C annotationsChristophe Grenier2021-07-291-7/+3
* src/file_z2d.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_xz.c: improve Frama-C annotationsChristophe Grenier2021-07-281-11/+5
* src/file_xv.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_xsv.c: improve Frama-C annotationsChristophe Grenier2021-07-281-7/+3
* src/file_xpt.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_xml.c: improve Frama-C annotationsChristophe Grenier2021-07-281-9/+5
* src/file_xm.c: improve Frama-C warningsChristophe Grenier2021-07-281-10/+4
* src/file_xfs.c: improve Frama-C annotationsChristophe Grenier2021-07-281-18/+12
* src/file_xfi.c: improve Frama-C annotationsChristophe Grenier2021-07-281-7/+3
* src/file_xcf.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_xar.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_x4a.c: fix Frama-C warningsChristophe Grenier2021-07-281-15/+6
* src/file_x3i.c: improve Frama-C annotationsChristophe Grenier2021-07-281-7/+3
* src/file_x3f.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_wv.c: improve Frama-C annotationsChristophe Grenier2021-07-281-12/+5
* src/file_wtv.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_wpd.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_wpb.c: improve Frama-C annotationsChristophe Grenier2021-07-281-7/+3
* src/file_woff.c: improve Frama-C annotationsChristophe Grenier2021-07-281-6/+3
* src/file_wnk.c: improve Frama-C annotationsChristophe Grenier2021-07-281-7/+3
* src/file_wmf.c: improve Frama-C annotationsChristophe Grenier2021-07-271-11/+5
* src/file_wld.c: improve Frama-C annotationsChristophe Grenier2021-07-271-8/+5
* src/file_wks.c: improve Frama-C annotationsChristophe Grenier2021-07-271-13/+5
* src/file_win.c: improve Frama-C annotationsChristophe Grenier2021-07-271-12/+5
* src/file_wim.c: improve Frama-C annotationsChristophe Grenier2021-07-271-6/+3
* src/file_wee.c: improve Frama-C annotationsChristophe Grenier2021-07-271-10/+5
* src/file_wdp.c: improve Frama-C annotationsChristophe Grenier2021-07-272-12/+9
* src/file_wallet.c: improve Frama-C annotationsChristophe Grenier2021-07-271-7/+3
* src/file_wad.c: improve Frama-C annotationsChristophe Grenier2021-07-271-6/+3
* src/file_vmg.c: improve Frama-C annotationsChristophe Grenier2021-07-271-11/+5
* src/file_vmdk.c: improve Frama-C annotationsChristophe Grenier2021-07-271-11/+5
* src/file_vib.c: improve Frama-C annotationsChristophe Grenier2021-07-271-7/+3
* src/file_vfb.c: improve Frama-C annotationsChristophe Grenier2021-07-271-7/+3
* src/file_veg.c: improve Frama-C annotationsChristophe Grenier2021-07-271-6/+3
* src/file_vdj.c: improve Frama-C annotationsChristophe Grenier2021-07-271-7/+3
* src/file_vdi.c: improve Frama-C annotationsChristophe Grenier2021-07-271-6/+3
* src/file_vault.c: improve Frama-C annotationsChristophe Grenier2021-07-251-13/+5
* src/file_v2i.c: improve Frama-C annotationsChristophe Grenier2021-07-251-6/+3
* src/file_tz.c: improve Frama-C annotationsChristophe Grenier2021-07-251-7/+3
generated by cgit v1.1 at 2021-09-28 01:26:24 +0000