summaryrefslogtreecommitdiffstats
path: root/src/log.c
Commit message (Expand)AuthorAgeFilesLines
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-301-0/+12
* src/log.c: add Frama-C annotations for dump_log() and dump2_log()Christophe Grenier2023-10-081-33/+71
* Commit various Frama-C annotationsChristophe Grenier2023-02-191-0/+2
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-2/+2
* Numerous frama-c annotationsChristophe Grenier2021-11-201-6/+37
* Do not return the file handle when calling log_open() and log_open_default()Christophe Grenier2020-11-271-14/+14
* src/log.c: call dup2() in log_open()Christophe Grenier2020-11-271-0/+10
* New prototype for log_redirect() and log_set_levels()Christophe Grenier2020-08-081-3/+8
* Avoid a warning about file handle leak in log_open_default()Christophe Grenier2018-03-171-2/+3
* Fix for various cppcheck warningsChristophe Grenier2016-06-141-1/+1
* cygwin: use cygwin_conv_path() instead of cygwin_conv_to_posix_path()Christophe Grenier2014-09-171-2/+1
* Use the correct value of errno to display a warning when log file creation fa...Christophe Grenier2013-04-271-8/+11
* Workaround a bug in wine, append to file doesn't always work.Christophe Grenier2011-04-231-0/+13
* src/log.c: refactor code by using log_open()Christophe Grenier2010-09-191-14/+5
* Improve log file creationChristophe Grenier2010-01-241-5/+15
* Cygwin: use posix path when creating a log fileChristophe Grenier2009-12-111-2/+12
* Clear the handle when the log is closedChristophe Grenier2009-04-181-0/+1
* Split ncurses text interface from functionsChristophe Grenier2009-01-141-67/+38
* Under Windows, if log file can't be created in current directory, try to crea...Christophe Grenier2008-11-101-12/+38
* add a format attribute to log_handler()Christophe Grenier2008-03-241-1/+1
* Rename variable interface to ncurses_interface as interface may be definedChristophe Grenier2008-01-101-2/+2
* Fix log creationChristophe Grenier2008-01-091-5/+15
* "testdisk -lu device" will list the partition with sector unitChristophe Grenier2007-12-061-1/+1
* First version in gitChristophe Grenier2007-10-291-0/+248