Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A lot of frama-c annotations or code disabling | Christophe Grenier | 2024-01-30 | 1 | -0/+6 |
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -2/+2 |
* | Lots of frama-c work that should be safe to commit | Christophe Grenier | 2020-06-02 | 1 | -26/+5 |
* | rename list_file_enable to array_file_enable | Christophe Grenier | 2020-02-01 | 1 | -1/+1 |
* | constify cmd_length variable in file_options_load() | Christophe Grenier | 2016-07-02 | 1 | -1/+1 |
* | various code cleanup | Christophe Grenier | 2012-12-08 | 1 | -8/+4 |
* | PhotoRec: Call reset_list_file_enable() in main() instead of file_options_loa... | Christophe Grenier | 2011-03-25 | 1 | -1/+0 |
* | Fix some compilation warnings | Christophe Grenier | 2009-02-03 | 1 | -3/+0 |
* | When loading FileOpts saved options, don't log the option by default | Christophe Grenier | 2008-03-14 | 1 | -1/+3 |
* | PhotoRec: Load and save FileOpts settings | Christophe Grenier | 2008-03-10 | 1 | -0/+266 |