summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Stops if argc <= 0HEADmasterChristophe Grenier47 hours2-0/+4
* Numerous frama-c annotationsChristophe Grenier2021-11-20118-137/+1664
* PhotoRec: recover dovecot encrypted files (Disable by default)Christophe Grenier2021-11-203-0/+133
* QPhotoRec: update translations, add Polish(pl)Christophe Grenier2021-11-1016-67/+495
* Replace "harddisk" by "hard disk" and replace "is is" by "is"Christophe Grenier2021-11-105-12/+19
* QPhotoRec: add sv_SE and zh_CN translations - missing partChristophe Grenier2021-11-052-1/+4
* QPhotoRec: add sv_SE and zh_CN translationsChristophe Grenier2021-11-032-0/+505
* src/file_doc.c: improve Frama-C annotationsChristophe Grenier2021-09-061-22/+41
* src/file_riff.h: improve Frama-C annotationsChristophe 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