Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/log.c: add Frama-C annotations for dump_log() and dump2_log() | Christophe Grenier | 2023-10-08 | 1 | -0/+2 |
* | Numerous frama-c annotations | Christophe Grenier | 2021-11-20 | 1 | -3/+12 |
* | Do not return the file handle when calling log_open() and log_open_default() | Christophe Grenier | 2020-11-27 | 1 | -2/+2 |
* | New prototype for log_redirect() and log_set_levels() | Christophe Grenier | 2020-08-08 | 1 | -2/+19 |
* | Use the correct value of errno to display a warning when log file creation fa... | Christophe Grenier | 2013-04-27 | 1 | -2/+2 |
* | TestDisk: fix a little bug when no log is asked | Christophe Grenier | 2009-01-26 | 1 | -1/+0 |
* | Split ncurses text interface from functions | Christophe Grenier | 2009-01-14 | 1 | -5/+11 |
* | Rename variable interface to ncurses_interface as interface may be defined | Christophe Grenier | 2008-01-10 | 1 | -1/+1 |
* | Fix log creation | Christophe Grenier | 2008-01-09 | 1 | -1/+7 |
* | First version in git | Christophe Grenier | 2007-10-29 | 1 | -0/+56 |