Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -1/+1 |
* | Disable some code sections for frama-c | Christophe Grenier | 2021-01-06 | 1 | -3/+9 |
* | New prototype for ask_location() and td_getcwd() | Christophe Grenier | 2020-12-06 | 1 | -2/+13 |
* | Add an header guard to prevent multiple inclusion | Christophe Grenier | 2020-10-04 | 1 | -0/+4 |
* | Additional frama-c annotations | Christophe Grenier | 2020-08-08 | 1 | -0/+4 |
* | move get_default_location() from src/intrf.c to src/askloc.c | Christophe Grenier | 2012-06-28 | 1 | -0/+1 |
* | If the destination is full, PhotoRec ask for a new location and it defaults | Christophe Grenier | 2009-05-24 | 1 | -1/+1 |
* | Split ncurses text interface from functions | Christophe Grenier | 2009-01-14 | 1 | -0/+30 |