summaryrefslogtreecommitdiffstats
path: root/src/psearchn.h
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-0/+2
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+7
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* move ind_block(), file_recovery_cpy() and file_add_data() to psearch.h and ph...Christophe Grenier2013-05-161-0/+30