path: root/src/list.h
Commit message (Expand)AuthorAgeFilesLines
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-301-3/+9
* Split src/list.h in 3Christophe Grenier2023-09-021-84/+59
* src/file_mpg.c: improve Frama-C annotationsChristophe Grenier2021-09-041-4/+7
* src/filegen.c, src/list.h: update frama-c annotationsChristophe Grenier2021-01-301-4/+70
* frama-c: add annotation to fix warnings in date_dos2unix() and __td_list_add()Christophe Grenier2020-06-211-0/+4
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-261-0/+21
* frama-c: annotate file_check_add_tail() and td_list_add()Christophe Grenier2020-01-261-0/+1
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier2019-12-071-0/+33
* Replace td_list_entry by td_list_(first|prev|next|last)_entry to improve read...Christophe Grenier2016-08-201-2/+44
* PhotoRec: rewrote brute-force mode to use file_block_append()Christophe Grenier2014-02-021-2/+0
* Fix compilation when using mingw c++Christophe Grenier2013-05-191-2/+2
* New function td_list_entry_const()Christophe Grenier2012-04-141-0/+3
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+8
* PhotoRec: code cleanup, use common list in alloc_list_t structureChristophe Grenier2008-08-221-16/+11
* PhotoRec: index pattern search to speedup operationChristophe Grenier2008-08-211-0/+10
* PhotoRec: add "/cmd device ext2_group,group_nr,search" to carve the correspon...Christophe Grenier2008-07-071-0/+19
* Make the code less C++ hostileChristophe Grenier2008-06-231-17/+17
* Add td_list_add_sorted() function for insertion in a sorted listChristophe Grenier2008-05-011-1/+15
* First version in gitChristophe Grenier2007-10-291-0/+336