testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd f...HEAD master	Christophe Grenier	16 hours	1	-5/+12
*	src/file_ext.c: improve Frama-C annotations	Christophe Grenier	16 hours	1	-22/+11
*	src/file_ext2.c: improve Frama-C annotations	Christophe Grenier	3 days	1	-7/+3
*	src/file_exs.c: improve Frama-C annotations	Christophe Grenier	3 days	1	-16/+7
*	src/file_exr.c: improve Frama-C annotations	Christophe Grenier	3 days	1	-7/+3
*	src/file_exe.c: improve Frama-C annotations	Christophe Grenier	3 days	1	-13/+5
*	src/file_evtx.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-6/+3
*	src/file_evt.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-13/+5
*	src/file_ess.c: add Frama-C annotations	Christophe Grenier	5 days	1	-8/+3
*	src/file_emf.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-20/+6
*	src/file_elf.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-25/+9
*	src/file_edb.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-8/+3
*	src/file_ecryptfs.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-13/+9
*	src/file_e01.c: improve Frama-C annotations	Christophe Grenier	5 days	1	-11/+5
*	src/file_dxf.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-16/+7
*	src/file_dwg.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_dvr.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dvi.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dv.c: Fix Frama-C warnings	Christophe Grenier	6 days	1	-39/+31
*	src/file_dump.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dta.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-9/+3
*	src/file_dst.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_ds_store.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dss.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-6/+3
*	src/file_dsc.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_ds2.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_drw.c: add Frama-C annotations	Christophe Grenier	6 days	1	-12/+5
*	src/file_drw2.c: add Frama-C annotations	Christophe Grenier	6 days	1	-6/+3
*	src/file_dpx.c: Add Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_doc.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-23/+7
*	src/file_dmp.c: add Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_djv.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dir.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-13/+11
*	src/file_dim.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_dex.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_ddf.c: add Frama-C annotations	Christophe Grenier	6 days	1	-21/+9
*	src/file_dcm.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_dbn.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dbf.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dat.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-26/+9
*	src/file_dar.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+3
*	src/file_dad.c: add Frama-C annotations	Christophe Grenier	6 days	1	-14/+6
*	src/file_d2s.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+6
*	src/file_cwk.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-13/+5
*	src/file_ctg.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_csh.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_crw.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-7/+9
*	src/file_cpi.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-8/+3
*	src/file_cow.c: improve Frama-C annotations	Christophe Grenier	6 days	1	-13/+5
*	src/file_bmp.c: fix Frama-C annotations	Christophe Grenier	6 days	3	-21/+22