<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="/rss.xsl.xml"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
    <title>Changes in ex3span_3basic.out</title>
    <description></description>
    <language>en</language>
    <copyright>Copyright 2025</copyright>
    <generator>Java</generator><item>
        <title>bff66efa9044f546ae447ed195723e21295eb6dd - Merge branch &apos;ilya-fursov/ts-fixevent2&apos; into &apos;main&apos;</title>
        <link>http://opengrok.kc2vjw.com:8080/history/petsc/src/ts/event/tests/output/ex3span_3basic.out#bff66efa9044f546ae447ed195723e21295eb6dd</link>
        <description>Merge branch &apos;ilya-fursov/ts-fixevent2&apos; into &apos;main&apos;TSEvent: refactor and fix bugs, add TSSetPostEventStep()See merge request petsc/petsc!6752

            List of files:
            /petsc/src/ts/event/tests/output/ex3span_3basic.out</description>
        <pubDate>Fri, 15 Dec 2023 16:29:03 +0000</pubDate>
        <dc:creator>Satish Balay &lt;balay@mcs.anl.gov&gt;</dc:creator>
    </item>
<item>
        <title>fe4ad979b698fa41c951a10ed910db35a8a8fc73 - Implement setting two distinct post-event steps</title>
        <link>http://opengrok.kc2vjw.com:8080/history/petsc/src/ts/event/tests/output/ex3span_3basic.out#fe4ad979b698fa41c951a10ed910db35a8a8fc73</link>
        <description>Implement setting two distinct post-event stepsThe two post-event steps are managed by:TSSetPostEventStep(), -ts_event_post_event_step,TSSetPostEventSecondStep(), -ts_event_post_event_second_step.(The latter function and option are replacement for the original PETScTSSetPostEventIntervalStep(), -ts_event_post_eventinterval_step,with some change of overall behaviour of 1st + 2nd steps).Also, reduce the number of tests ~ 4 times.

            List of files:
            /petsc/src/ts/event/tests/output/ex3span_3basic.out</description>
        <pubDate>Sun, 03 Dec 2023 08:40:52 +0000</pubDate>
        <dc:creator>Ilya Fursov &lt;ilya.foursov.7bd@gmail.com&gt;</dc:creator>
    </item>
</channel>
</rss>
