Skip to content

Actions: javapathfinder/jpf-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resolve issues related to conflicting license usage (GPL v2.0) and refactors baseline build #276: Pull request #413 synchronize by varad64
August 19, 2023 09:43 7m 10s varad64:licenseFixes
varad64:licenseFixes
August 19, 2023 09:43 7m 10s
Resolve issues related to conflicting license usage (GPL v2.0) and refactors baseline build #275: Pull request #413 synchronize by varad64
August 19, 2023 09:36 7m 42s varad64:licenseFixes
varad64:licenseFixes
August 19, 2023 09:36 7m 42s
Resolve issues related to conflicting license usage (GPL v2.0) and refactors baseline build #274: Pull request #413 opened by varad64
August 19, 2023 09:29 9m 15s varad64:licenseFixes
varad64:licenseFixes
August 19, 2023 09:29 9m 15s
Apply patch for #171, to add support for java.nio.Buffer (#409) baseline build #273: Commit 9efc548 pushed by cyrille-artho
August 18, 2023 08:09 8m 7s java-10-gradle
java-10-gradle
August 18, 2023 08:09 8m 7s
Apply patch for #177 to add JPF example ConcurrentCount baseline build #272: Pull request #412 opened by varad64
August 17, 2023 09:22 8m 48s varad64:addJPFExample
varad64:addJPFExample
August 17, 2023 09:22 8m 48s
Apply patch for #171, to add support for java.nio.Buffer baseline build #271: Pull request #409 synchronize by varad64
August 17, 2023 08:32 7m 15s varad64:BufferSupport-171
varad64:BufferSupport-171
August 17, 2023 08:32 7m 15s
Apply patch for #171, to add support for java.nio.Buffer baseline build #270: Pull request #409 synchronize by varad64
August 17, 2023 08:29 5m 52s varad64:BufferSupport-171
varad64:BufferSupport-171
August 17, 2023 08:29 5m 52s
Modify Types.instanceOf to take a ClassInfo as LHS baseline build #269: Pull request #410 opened by zhangwen0411
August 14, 2023 20:42 9m 3s zhangwen0411:instanceof-fix-java-10-gradle
zhangwen0411:instanceof-fix-java-10-gradle
August 14, 2023 20:42 9m 3s
Apply patch for #296, to add maven-publish plugin support (#408) baseline build #268: Commit 4654787 pushed by cyrille-artho
August 14, 2023 11:24 9m 2s java-10-gradle
java-10-gradle
August 14, 2023 11:24 9m 2s
Apply patch for #296, to add maven-publish plugin support baseline build #267: Pull request #408 synchronize by varad64
August 13, 2023 10:44 7m 35s varad64:add-maven-publish-plugin
varad64:add-maven-publish-plugin
August 13, 2023 10:44 7m 35s
Apply patch for #296, to add maven-publish plugin support baseline build #266: Pull request #408 synchronize by varad64
August 13, 2023 10:28 50s varad64:add-maven-publish-plugin
varad64:add-maven-publish-plugin
August 13, 2023 10:28 50s
Apply patch for #312, to add timeTest: ClockTest and LocalDateTest (#… baseline build #265: Commit a822ddf pushed by cyrille-artho
August 13, 2023 06:44 7m 45s java-10-gradle
java-10-gradle
August 13, 2023 06:44 7m 45s
Apply patch for #308 to add unit test FunctionsTest for java.util.Fun… baseline build #264: Commit 2029634 pushed by cyrille-artho
August 13, 2023 06:44 7m 1s java-10-gradle
java-10-gradle
August 13, 2023 06:44 7m 1s
Apply patch for 305 to add StreamTest (#405) baseline build #263: Commit bc124fd pushed by cyrille-artho
August 13, 2023 06:38 7m 37s java-10-gradle
java-10-gradle
August 13, 2023 06:38 7m 37s
Apply patch for #301 to add withInitial and add a unit test (#404) baseline build #262: Commit 0e9f5d5 pushed by cyrille-artho
August 13, 2023 06:37 7m 30s java-10-gradle
java-10-gradle
August 13, 2023 06:37 7m 30s
Apply patches for #295 to explore bit-flip manipulation and #297 and … baseline build #261: Commit 72b01b1 pushed by cyrille-artho
August 13, 2023 06:30 7m 9s java-10-gradle
java-10-gradle
August 13, 2023 06:30 7m 9s
Apply patch for #285 and #289 to implement pollution detection and to… baseline build #260: Commit 1705f95 pushed by cyrille-artho
August 13, 2023 06:29 9m 46s java-10-gradle
java-10-gradle
August 13, 2023 06:29 9m 46s
Apply patch for #171, to add support for java.nio.Buffer baseline build #259: Pull request #409 opened by varad64
August 12, 2023 21:45 5m 53s varad64:BufferSupport-171
varad64:BufferSupport-171
August 12, 2023 21:45 5m 53s
Apply patch for #296, to add maven-publish plugin support baseline build #258: Pull request #408 opened by varad64
August 12, 2023 21:10 6m 44s varad64:add-maven-publish-plugin
varad64:add-maven-publish-plugin
August 12, 2023 21:10 6m 44s
Apply patch for 305 to add StreamTest baseline build #257: Pull request #405 synchronize by varad64
August 12, 2023 19:54 7m 19s varad64:streamTest-305
varad64:streamTest-305
August 12, 2023 19:54 7m 19s
Apply patch for #308 to add unit test FunctionsTest for java.util.Fun… baseline build #256: Pull request #406 synchronize by varad64
August 12, 2023 19:50 8m 3s varad64:functionTest-308
varad64:functionTest-308
August 12, 2023 19:50 8m 3s
Apply patch for #312, to add timeTest: ClockTest and LocalDateTest baseline build #255: Pull request #407 opened by varad64
August 12, 2023 19:46 8m 15s varad64:timeTest-312
varad64:timeTest-312
August 12, 2023 19:46 8m 15s
Apply patch for 305 to add StreamTest baseline build #254: Pull request #405 synchronize by varad64
August 12, 2023 19:23 8m 14s varad64:streamTest-305
varad64:streamTest-305
August 12, 2023 19:23 8m 14s
Apply patch for #308 to add unit test FunctionsTest for java.util.Fun… baseline build #253: Pull request #406 opened by varad64
August 12, 2023 19:19 9m 1s varad64:functionTest-308
varad64:functionTest-308
August 12, 2023 19:19 9m 1s
Apply patch for 305 to add StreamTest baseline build #252: Pull request #405 opened by varad64
August 12, 2023 16:19 7m 31s varad64:streamTest-305
varad64:streamTest-305
August 12, 2023 16:19 7m 31s