testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_txt.c: recover cdxml and mol2 filesHEAD master	Christophe Grenier	27 hours	1	-469/+165
*	src/file_ttf.c: improve Frama-C annotations	Christophe Grenier	28 hours	1	-7/+3
*	src/file_tpl.c: improve Frama-C annotations	Christophe Grenier	28 hours	1	-8/+3
*	src/file_tph.c: improve Frama-C annotations	Christophe Grenier	28 hours	1	-11/+5
*	src/file_torrent.c: improve Frama-C annotations	Christophe Grenier	28 hours	1	-7/+3
*	src/file_tivo.c: improve Frama-C annotations	Christophe Grenier	28 hours	1	-11/+5
*	src/file_tiff*.[ch]: Fix Frama-C warnings	Christophe Grenier	28 hours	4	-61/+21
*	src/file_tib.c: Fix Frama-C warnings	Christophe Grenier	28 hours	1	-37/+24
*	src/file_tg.c: improve Frama-C annotations	Christophe Grenier	44 hours	1	-8/+3
*	src/file_tax.c: improve Frama-C annotations	Christophe Grenier	45 hours	1	-8/+3
*	src/file_tar.c: improve Frama-C annotations	Christophe Grenier	45 hours	1	-9/+4
*	src/file_swf.c: improve Frama-C annotations	Christophe Grenier	45 hours	1	-35/+8
*	src/file_studio.c: improve Frama-C annotions	Christophe Grenier	46 hours	1	-7/+3
*	src/file_stu.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-8/+3
*	src/file_stl.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_steuer2014.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_sqm.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-8/+3
*	src/file_sql.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_spss.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-8/+3
*	src/file_spf.c: Fix Frama-C warnings	Christophe Grenier	47 hours	1	-15/+9
*	src/file_spe.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-11/+4
*	src/file_sp3.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-6/+3
*	src/file_snag.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-12/+5
*	src/file_skp.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_skd.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_sit.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_sib.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_shn.c: improve Frama-C annotations	Christophe Grenier	47 hours	1	-7/+3
*	src/file_sgcta.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-7/+3
*	src/file_ses.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-7/+3
*	src/file_sdsk.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-7/+3
*	src/file_save.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-7/+3
*	src/file_rx2.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-6/+3
*	src/file_rw2.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-6/+3
*	src/file_rpm.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-8/+5
*	src/file_rns.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-7/+3
*	src/file_rm.c: improve Frama-C annotations	Christophe Grenier	48 hours	1	-6/+3
*	src/file_rlv.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-6/+3
*	src/file_riff.c: Fix Frama-C annotations	Christophe Grenier	2 days	1	-28/+19
*	src/file_rfp.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-8/+5
*	src/file_res.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-7/+3
*	src/file_reg.c: improve FRama-C annotations	Christophe Grenier	2 days	1	-15/+9
*	src/file_rdc.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-7/+3
*	src/file_raw.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-7/+3
*	src/file_rar.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-19/+9
*	src/file_raf.c: improve Frama-C annotations	Christophe Grenier	2 days	1	-7/+3
*	src/file_ra.c: improve Frama-C annotations	Christophe Grenier	2021-07-08	1	-7/+3
*	src/file_r3d.c: improve Frama-C annotations	Christophe Grenier	2021-07-08	1	-21/+9
*	src/file_qxd.c: improve Frama-C annotations	Christophe Grenier	2021-07-08	1	-15/+5
*	src/file_qkt.c: improve Frama-C annotations	Christophe Grenier	2021-07-08	1	-8/+3