diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-08 13:33:45 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-08 13:33:45 +0200 |
commit | 2f065ddf184e1a712bc9165cb2b4f5b40b2bba33 (patch) | |
tree | 4f9277b59e1a6a02f5a3becec3a3aee88e10be82 /test/monniaux/tacle-bench-powerwindow/changeLog | |
parent | 51c6f11b6f2afcc0ba0394a65f22e12e4a5f8404 (diff) | |
download | compcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.tar.gz compcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.zip |
powerwindow from tacle-bench
Diffstat (limited to 'test/monniaux/tacle-bench-powerwindow/changeLog')
-rw-r--r-- | test/monniaux/tacle-bench-powerwindow/changeLog | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/test/monniaux/tacle-bench-powerwindow/changeLog b/test/monniaux/tacle-bench-powerwindow/changeLog new file mode 100644 index 00000000..e8989ddc --- /dev/null +++ b/test/monniaux/tacle-bench-powerwindow/changeLog @@ -0,0 +1,42 @@ +Adjusted the original files to tacle benchmark requirements + +Created the input serials in void powerwindow_input_initialize(void) to cover the real life scenarios + +23-03-2016: +Deleted folder powerwindow_SourceFiles moved all the contained c files to PowerWindow folder + +Created headerfile powerwindow.h + +Added + +#ifndef NULL +#define NULL ((void *) 0) +#endif + +to header file powerwindow.h + +Deleted #include <stdio.h> in all files replaced with headerfile powerwindow.h + +Deleted function powerwindow_GetErrorStatus(void) and the related code + +Commented + long tic, toc, tictoc; + tic = powerwindow_get_cycles(); + toc = powerwindow_get_cycles(); + tictoc = toc-tic; + printf("%ld\n",tictoc ); + +in the int main(void). Uncomment can print the execution time of the powerwindow benchmark. + +Adjusted the description of all the files + +21-04-2016 + +Adjusted the author and license + +18-04-2017: +Annotated powerwindow_main as entry-point for timing analysis + +10-07-2017 +- Fix changelog order so dates are correctly sorted. +- Fix input array length to avoid possible buffer overflow. |