testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	A lot of frama-c annotations or code disabling	Christophe Grenier	2024-01-30	1	-0/+6
*	src/file_bmp.c: fix Frama-C annotations	Christophe Grenier	2021-06-06	1	-21/+16
*	file_*.c: add various Frama-C annotations	Christophe Grenier	2021-04-10	1	-3/+1
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+2
*	frama-c: add annotations for fidentify, checks reduced to file_bmp.c and	Christophe Grenier	2020-01-26	1	-1/+3
*	PhotoRec: add a few frama-c annotations, mostly in header_check functions	Christophe Grenier	2020-01-18	1	-0/+3
*	src/file_bmp.c: additionnal frama-c annotations	Christophe Grenier	2019-12-07	1	-2/+28
*	Fix the remaining problems reported by "make frama-c-bmp" and "make frama-c-doc"	Christophe Grenier	2019-10-19	1	-3/+6
*	file_bmp.c: add new frama-c annotations	Christophe Grenier	2019-10-13	1	-18/+18
*	PhotoRec: add frama-c tests for bmp	Christophe Grenier	2019-09-21	1	-8/+127
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	add gcc_struct attribute to all __packed__ structure	Christophe Grenier	2015-04-11	1	-1/+1
*	PhotoRec: stricter check for .bmp	Christophe Grenier	2014-09-17	1	-1/+2
*	PhotoRec: stricter check for BMP files	Christophe Grenier	2011-05-02	1	-3/+17
*	PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...	Christophe Grenier	2008-02-27	1	-0/+1
*	Remove header_check from struct file_hint_struct	Christophe Grenier	2007-12-23	1	-1/+0
*	First version in git	Christophe Grenier	2007-10-29	1	-0/+67