Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -1/+12 |
* | Additional frama-c annotations | Christophe Grenier | 2020-08-08 | 1 | -0/+1 |
* | Use new functions check_command(), skip_comma_in_command() and get_int_from_c... | Christophe Grenier | 2018-03-17 | 1 | -18/+9 |
* | Move interface_options_photorec_cli() and interface_options_photorec_log() to... | Christophe Grenier | 2013-05-15 | 1 | -0/+108 |