rivoreo Csmith Drivers changeshttps://sourceforge.net/p/rivoreo/csmith-drivers-code/Recent changes to Csmith Drivers repository in rivoreo projectenTue, 05 Jul 2022 10:27:08 -0000Adjust comments in output-test.cfghttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/6e501b5d19e7a8b9397a237585365004fdb00b76/<div class="markdown_content"><p>Adjust comments in output-test.cfg<br/><a href="/p/rivoreo/csmith-drivers-code/ci/6e501b5d19e7a8b9397a237585365004fdb00b76/">View Changes</a></p></div>WHRTue, 05 Jul 2022 10:27:08 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/6e501b5d19e7a8b9397a237585365004fdb00b76/Add some more explicit branch predicationshttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/279c420d2d85016c9f97238f55a4c76841600a70/<div class="markdown_content"><p>Add some more explicit branch predications<br/><a href="/p/rivoreo/csmith-drivers-code/ci/279c420d2d85016c9f97238f55a4c76841600a70/">View Changes</a></p></div>WHRTue, 05 Jul 2022 09:11:44 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/279c420d2d85016c9f97238f55a4c76841600a70/Adjust comments in output-test.cfghttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/3d15364886ba278c65b3c615de43543725e56a4a/<div class="markdown_content"><p>Adjust comments in output-test.cfg<br/><a href="/p/rivoreo/csmith-drivers-code/ci/3d15364886ba278c65b3c615de43543725e56a4a/">View Changes</a></p></div>WHRSun, 03 Oct 2021 15:03:57 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/3d15364886ba278c65b3c615de43543725e56a4a/Recognize optimization control option for xlc(1) in crash-test.sh; clean uphttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/499caaeca4178d435106b13758d7dfb9ed083a8f/<div class="markdown_content"><p>Recognize optimization control option for xlc(1) in crash-test.sh; clean up<br/><a href="/p/rivoreo/csmith-drivers-code/ci/499caaeca4178d435106b13758d7dfb9ed083a8f/">View Changes</a></p></div>WHRSun, 03 Oct 2021 07:27:39 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/499caaeca4178d435106b13758d7dfb9ed083a8f/Reformat comments in output-test.cfghttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/e33add230de79c69b474b01e00b6826de659c024/<div class="markdown_content"><p>Reformat comments in output-test.cfg<br/><a href="/p/rivoreo/csmith-drivers-code/ci/e33add230de79c69b474b01e00b6826de659c024/">View Changes</a></p></div>WHRSat, 10 Oct 2020 08:09:50 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/e33add230de79c69b474b01e00b6826de659c024/Fix continuous whitespace handlinghttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/99e7b30c7d9c5c8dc36534f90c081273731765ef/<div class="markdown_content"><p>Fix continuous whitespace handling<br/><a href="/p/rivoreo/csmith-drivers-code/ci/99e7b30c7d9c5c8dc36534f90c081273731765ef/">View Changes</a></p></div>WHRSun, 26 Jan 2020 04:20:00 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/99e7b30c7d9c5c8dc36534f90c081273731765ef/Change meaning of program exit statushttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/2cb48d7327b522d44da17ae8dba09b5bda830c94/<div class="markdown_content"><p>Change meaning of program exit status<br/><a href="/p/rivoreo/csmith-drivers-code/ci/2cb48d7327b522d44da17ae8dba09b5bda830c94/">View Changes</a></p></div>WHRTue, 31 Dec 2019 05:20:15 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/2cb48d7327b522d44da17ae8dba09b5bda830c94/Use csmith(1) path in source directoryhttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/98dcfc2750a3b3654368b55e22a0c30de48104b7/<div class="markdown_content"><p>Use csmith(1) path in source directory<br/><a href="/p/rivoreo/csmith-drivers-code/ci/98dcfc2750a3b3654368b55e22a0c30de48104b7/">View Changes</a></p></div>WHRSun, 22 Dec 2019 11:35:43 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/98dcfc2750a3b3654368b55e22a0c30de48104b7/Add copyright header in crash-test.shhttps://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/d574f3275d71ece18d94d4ce057a617ad03d972c/<div class="markdown_content"><p>Add copyright header in crash-test.sh<br/><a href="/p/rivoreo/csmith-drivers-code/ci/d574f3275d71ece18d94d4ce057a617ad03d972c/">View Changes</a></p></div>WHRSun, 22 Dec 2019 11:32:30 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/d574f3275d71ece18d94d4ce057a617ad03d972c/Merge remote-tracking branch 'origin/early-crash-test'https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/cbd01d0ec9a88a7207d9cbaaf626f501e2a043c6/<div class="markdown_content"><p>Merge remote-tracking branch 'origin/early-crash-test'<br/><a href="/p/rivoreo/csmith-drivers-code/ci/cbd01d0ec9a88a7207d9cbaaf626f501e2a043c6/">View Changes</a></p></div>WHRSun, 22 Dec 2019 11:29:30 -0000https://sourceforge.net/p/rivoreo/csmith-drivers-code/ci/cbd01d0ec9a88a7207d9cbaaf626f501e2a043c6/