Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A lot of frama-c annotations or code disabling | Christophe Grenier | 2024-01-30 | 1 | -4/+3 |
* | Commit various Frama-C annotations | Christophe Grenier | 2023-02-19 | 1 | -33/+72 |
* | Add an header guard to prevent multiple inclusion | Christophe Grenier | 2020-10-11 | 1 | -0/+3 |
* | Additional frama-c annotations | Christophe Grenier | 2020-08-08 | 1 | -1/+162 |
* | move log_disk_list() to src/fnctdsk.c | Christophe Grenier | 2014-02-01 | 1 | -0/+1 |
* | QPhotoRec: automatically select the image disk after addiing it | Christophe Grenier | 2013-10-20 | 1 | -0/+1 |
* | New prototype for size_to_unit() | Christophe Grenier | 2010-10-24 | 1 | -1/+1 |
* | Code cleanup | Christophe Grenier | 2009-10-25 | 1 | -2/+0 |
* | TestDisk: recover exFAT partition | Christophe Grenier | 2009-03-22 | 1 | -0/+1 |
* | Modify header files for C function declaration if C++ compilation | Christophe Grenier | 2009-01-10 | 1 | -0/+7 |
* | Defined more functions as static | Christophe Grenier | 2008-11-10 | 1 | -3/+0 |
* | First version in git | Christophe Grenier | 2007-10-29 | 1 | -0/+46 |