| .. |
|
log
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
abort.c
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
abort.h
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
common.h
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
config.h.in
|
Fixed extmatch functionality always being ignored
|
2015-07-31 11:54:10 +02:00 |
|
event.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
event.h
|
Refactored code to prepare for windows integration
|
2015-03-24 23:38:00 +01:00 |
|
extmatch.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
extmatch.h
|
Added missing license headers
|
2015-08-06 00:23:22 +02:00 |
|
i18n.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
i18n.h
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
main.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
options.c
|
Fixed rare crash where the output provider does not get defined
|
2015-04-14 17:22:55 +02:00 |
|
ordered-set.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
posix-compat.c
|
Removed any usage of GNU C-only macros from libcsptr, using smalloc & sfree directly instead
|
2015-09-06 00:37:30 +02:00 |
|
posix-compat.h
|
Implemented basename for compatibility with OS X and Windows
|
2015-08-20 18:04:29 +02:00 |
|
process.c
|
Removed any usage of GNU C-only macros from libcsptr, using smalloc & sfree directly instead
|
2015-09-06 00:37:30 +02:00 |
|
process.h
|
Trying a safer approach for a fork() alternative
|
2015-03-26 22:18:43 +01:00 |
|
report.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
report.h
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
runner.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
runner.h
|
Fixed windows code for section retrieving and changed section names to fit under 8 bytes.
|
2015-08-03 15:15:48 +02:00 |
|
stats.c
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
stats.h
|
Added stats on suites
|
2015-03-23 18:37:51 +01:00 |
|
theories.c
|
Added better parameter formatting for theories & added bool theory parameter to misc sample
|
2015-09-04 16:39:40 +02:00 |
|
timer.c
|
Fixed compile error on OS X timers
|
2015-03-17 23:21:57 +01:00 |
|
timer.h
|
Added monotonic cross-platform timer
|
2015-03-17 01:08:40 +01:00 |
