summaryrefslogtreecommitdiffstats
path: root/src/psearch.h
Commit message (Expand)AuthorAgeFilesLines
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+20
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-1/+25
* Constify a lot of function parametersChristophe Grenier2020-06-191-1/+1
* move ind_block(), file_recovery_cpy() and file_add_data() to psearch.h and ph...Christophe Grenier2013-05-161-0/+60