Skip to content

Actions: javapathfinder/jpf-core

Actions

baseline build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
simple_build.yml
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply patch for #301 to add withInitial and add a unit test baseline build #251: Pull request #404 opened by varad64
August 12, 2023 16:03 7m 28s varad64:add-withInital-301
varad64:add-withInital-301
August 12, 2023 16:03 7m 28s
Apply patches for #295 to add extension to systematically inject and test for bit-flip faults baseline build #250: Pull request #403 opened by varad64
August 12, 2023 15:22 7m 26s varad64:explore-bit-flip-faults
varad64:explore-bit-flip-faults
August 12, 2023 15:22 7m 26s
Apply patch #212 to fix RandomSearch where one path is explored even … baseline build #249: Commit c5ee131 pushed by cyrille-artho
August 12, 2023 14:58 7m 37s java-10-gradle
java-10-gradle
August 12, 2023 14:58 7m 37s
Apply patch to add missing else-if block to Publisher and to add a ne… baseline build #248: Commit 1c2806b pushed by cyrille-artho
August 12, 2023 14:58 6m 32s java-10-gradle
java-10-gradle
August 12, 2023 14:58 6m 32s
Apply patch to add test for redirection of stdout to a file (#399) baseline build #247: Commit 5993523 pushed by cyrille-artho
August 12, 2023 14:52 8m 13s java-10-gradle
java-10-gradle
August 12, 2023 14:52 8m 13s
Apply patch to add support for halt() in the Runtime peer (#398) baseline build #246: Commit 7742a0e pushed by cyrille-artho
August 12, 2023 14:52 7m 48s java-10-gradle
java-10-gradle
August 12, 2023 14:52 7m 48s
Apply patch for #285 and #289 to implement pollution detection and to add the gradle task baseline build #245: Pull request #402 opened by varad64
August 12, 2023 14:44 8m 42s varad64:patch-for-pollution-detection
varad64:patch-for-pollution-detection
August 12, 2023 14:44 8m 42s
Apply patch #212 to fix RandomSearch where one path is explored even … baseline build #244: Pull request #401 opened by varad64
August 12, 2023 14:01 7m 30s varad64:fix-for-RandomSearch
varad64:fix-for-RandomSearch
August 12, 2023 14:01 7m 30s
Apply patch to add missing else-if block to Publisher's publishStart() baseline build #243: Pull request #400 opened by varad64
August 12, 2023 13:47 8m 10s varad64:add-missing-elseif-block-Publisher
varad64:add-missing-elseif-block-Publisher
August 12, 2023 13:47 8m 10s
Apply patch to add test for redirection of stdout to a file baseline build #242: Pull request #399 opened by varad64
August 12, 2023 13:19 6m 51s varad64:redirect-stdout-to-file
varad64:redirect-stdout-to-file
August 12, 2023 13:19 6m 51s
Apply patch to add support for halt() in the Runtime peer baseline build #241: Pull request #398 opened by varad64
August 12, 2023 12:30 8m 54s varad64:patch-for-runtime-halt
varad64:patch-for-runtime-halt
August 12, 2023 12:30 8m 54s
Apply patch to add System.in.available() (#397) baseline build #240: Commit 8a8faee pushed by cyrille-artho
August 12, 2023 11:39 7m 4s java-10-gradle
java-10-gradle
August 12, 2023 11:39 7m 4s
Apply patch to add System.in.available() baseline build #239: Pull request #397 synchronize by varad64
August 12, 2023 11:33 6m 20s varad64:patch-to-add-system-in-available
varad64:patch-to-add-system-in-available
August 12, 2023 11:33 6m 20s
Add patch to fix division by zero in DDIV and adds 2 tests (#396) baseline build #238: Commit af981f2 pushed by cyrille-artho
August 12, 2023 11:18 7m 15s java-10-gradle
java-10-gradle
August 12, 2023 11:18 7m 15s
Apply patch for #182 to add peer and test for AtomicReference (#395) baseline build #237: Commit e0897c1 pushed by cyrille-artho
August 12, 2023 11:17 7m 23s java-10-gradle
java-10-gradle
August 12, 2023 11:17 7m 23s
Apply patch for #181 to add CalendarTest (#394) baseline build #236: Commit 45b8dd3 pushed by cyrille-artho
August 12, 2023 11:11 8m 42s java-10-gradle
java-10-gradle
August 12, 2023 11:11 8m 42s
Apply patches #178 and #184 that update documentation for Search, Sea… baseline build #235: Commit 8b40be7 pushed by cyrille-artho
August 12, 2023 11:11 6m 38s java-10-gradle
java-10-gradle
August 12, 2023 11:11 6m 38s
Apply patch to use java.lang.Character, add PrintStreamTest and add p… baseline build #234: Commit fdfc296 pushed by cyrille-artho
August 12, 2023 11:10 6m 35s java-10-gradle
java-10-gradle
August 12, 2023 11:10 6m 35s
Apply patch to add System.in.available() baseline build #233: Pull request #397 opened by varad64
August 12, 2023 11:03 7m 46s varad64:patch-to-add-system-in-available
varad64:patch-to-add-system-in-available
August 12, 2023 11:03 7m 46s
Add support for ConcurrentSkipListMap (#214) (#389) baseline build #232: Commit 250e4d8 pushed by cyrille-artho
August 12, 2023 11:03 7m 49s java-10-gradle
java-10-gradle
August 12, 2023 11:03 7m 49s
Add serializable lambda expression support (#234) (#391) baseline build #231: Commit 4518e3e pushed by cyrille-artho
August 12, 2023 11:02 7m 2s java-10-gradle
java-10-gradle
August 12, 2023 11:02 7m 2s
Apply patch to fix division by zero in DDIV and adds 2 tests baseline build #230: Pull request #396 opened by varad64
August 12, 2023 10:48 9m 10s varad64:fix-div-by-zero-DDIV
varad64:fix-div-by-zero-DDIV
August 12, 2023 10:48 9m 10s
Apply patch for #182 to add peer and test for AtomicReference baseline build #229: Pull request #395 opened by varad64
August 12, 2023 09:41 8m 42s varad64:add-peer-AtomicReference
varad64:add-peer-AtomicReference
August 12, 2023 09:41 8m 42s
Apply patch for #181 to add CalendarTest baseline build #228: Pull request #394 opened by varad64
August 12, 2023 09:17 8m 2s varad64:add-CalendarTest
varad64:add-CalendarTest
August 12, 2023 09:17 8m 2s
Apply patches #178 and #184 that update documentation for Search, Sea… baseline build #227: Pull request #393 opened by varad64
August 12, 2023 08:45 7m 56s varad64:update-docs-patch
varad64:update-docs-patch
August 12, 2023 08:45 7m 56s