testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_flac.c: add more frama-c annotations	Christophe Grenier	2023-12-27	1	-1/+6
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification	Christophe Grenier	2022-04-13	1	-1/+1
*	src/file_flac.c: improve Frama-C annotations	Christophe Grenier	2021-06-12	1	-13/+5
*	src/file_flac.c: check flac metadata	Christophe Grenier	2021-01-31	1	-14/+29
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-2/+7
*	PhotoRec: avoid potential endless loops	Christophe Grenier	2017-09-12	1	-1/+1
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	PhotoRec: define a minimal size for .flac	Christophe Grenier	2014-08-09	1	-1/+4
*	PhotoRec: raise .flac filesize limit	Christophe Grenier	2014-06-14	1	-2/+42
*	src/file_flac.c: add missing return value (bug introduced in 5f635200cf8795e9...	Christophe Grenier	2013-03-23	1	-2/+3
*	PhotoRec: better signature for .flac	Christophe Grenier	2013-03-10	1	-16/+11
*	PhotoRec: avoid extension with more than 3 letters for DOS/DJGPP version	Christophe Grenier	2009-07-31	1	-0/+4
*	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/+64