testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_mlv.c: more frama-c annotations	Christophe Grenier	2023-12-27	1	-1/+10
*	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_mlv.c: improve Frama-C annotations	Christophe Grenier	2021-07-02	1	-32/+28
*	file_*.c: add various Frama-C annotations	Christophe Grenier	2021-04-10	1	-0/+1
*	src/file_mlv.c: fix frama-c warnings	Christophe Grenier	2021-02-06	1	-5/+36
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-5/+38
*	PhotoRec: improved MLV file recovery	Christophe Grenier	2015-12-03	1	-1/+34
*	Fallback to fseek() if fseeko() failed	Christophe Grenier	2015-09-25	1	-6/+0
*	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	-8/+9
*	Use fseeko() instead of fseek().	Christophe Grenier	2014-10-04	1	-2/+6
*	PhotoRec: recover Magic Lantern Video .mlv file	Christophe Grenier	2014-09-17	1	-0/+134