Skip to content

Actions: javapathfinder/jpf-core

Actions

baseline build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
simple_build.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added model classes for java.nio.file and java.nio.charset packages #… baseline build #387: Commit ca40e6c pushed by cyrille-artho
December 15, 2024 17:34 15m 0s master
master
December 15, 2024 17:34 15m 0s
Added model classes for java.nio.file and java.nio.charset packages #429 baseline build #386: Pull request #506 synchronize by joalen
December 15, 2024 00:36 14m 3s joalen:master
joalen:master
December 15, 2024 00:36 14m 3s
Added model classes for java.nio.file and java.nio.charset packages #429 baseline build #385: Pull request #506 synchronize by joalen
November 17, 2024 06:05 5m 9s joalen:master
joalen:master
November 17, 2024 06:05 5m 9s
added the static method check in INVOKESTATIC.java baseline build #382: Pull request #501 opened by siddhesh0705
October 11, 2024 05:58 5m 11s siddhesh0705:bug/added-static-method
siddhesh0705:bug/added-static-method
October 11, 2024 05:58 5m 11s
Refactor boot strap method branch (#500) baseline build #381: Commit 80c9660 pushed by pparizek
October 10, 2024 08:13 3m 48s java-17
java-17
October 10, 2024 08:13 3m 48s
Refactor boot strap method branch baseline build #380: Pull request #500 opened by eklaDFF
October 8, 2024 16:13 4m 48s eklaDFF:RefactorBootStrapMethodBranch
eklaDFF:RefactorBootStrapMethodBranch
October 8, 2024 16:13 4m 48s
Record Feature Progress (#499) baseline build #379: Commit 4ffa7e9 pushed by cyrille-artho
October 4, 2024 08:38 3m 39s java-17
java-17
October 4, 2024 08:38 3m 39s
Record Feature Progress baseline build #378: Pull request #499 opened by eklaDFF
October 4, 2024 08:26 4m 3s eklaDFF:RecordBranch
eklaDFF:RecordBranch
October 4, 2024 08:26 4m 3s
fixed StringCharBuffer (#498) baseline build #377: Commit 8fe399b pushed by cyrille-artho
September 20, 2024 01:13 18m 34s master
master
September 20, 2024 01:13 18m 34s
fixed NoSuchMethodError: java.nio.StringCharBuffer.nextGetIndex baseline build #376: Pull request #498 opened by shreyasCs012
September 18, 2024 16:17 17m 4s shreyasCs012:fix_wrap
shreyasCs012:fix_wrap
September 18, 2024 16:17 17m 4s
VM.getSavedProperty("os.name") not supported baseline build #375: Pull request #497 opened by Harsh4902
September 13, 2024 06:11 5m 22s Harsh4902:master
Harsh4902:master
September 13, 2024 06:11 5m 22s
Value check fix (#496) baseline build #374: Commit 0de04fa pushed by cyrille-artho
September 6, 2024 11:28 14m 0s master
master
September 6, 2024 11:28 14m 0s
Value check fix baseline build #373: Pull request #496 opened by cyrille-artho
September 6, 2024 09:47 15m 48s value-check-fix
value-check-fix
September 6, 2024 09:47 15m 48s
Fixed the error when Empty main runs with VerTracker (#494) baseline build #372: Commit 7d2f7a9 pushed by cyrille-artho
August 31, 2024 15:26 15m 32s master
master
August 31, 2024 15:26 15m 32s
Fixed the error when Empty main runs with VerTracker baseline build #371: Pull request #494 opened by shreyasCs012
August 29, 2024 16:27 15m 41s debug_VerTracker
debug_VerTracker
August 29, 2024 16:27 15m 41s
Remove and ignore files generated by tests. baseline build #370: Commit 3bda719 pushed by cyrille-artho
August 14, 2024 16:52 16m 51s master
master
August 14, 2024 16:52 16m 51s
changed mangled method signature (#492) baseline build #369: Commit 8549cdb pushed by cyrille-artho
August 14, 2024 16:38 17m 31s master
master
August 14, 2024 16:38 17m 31s
change the mangeld of the method signature baseline build #368: Pull request #492 opened by shreyasCs012
August 14, 2024 15:05 17m 24s debug_Unsafe
debug_Unsafe
August 14, 2024 15:05 17m 24s
Fix and Test String.equals(Object) Implementation in JPF (#491) baseline build #367: Commit 17cfba7 pushed by cyrille-artho
August 13, 2024 12:22 14m 0s master
master
August 13, 2024 12:22 14m 0s
Fix and Test String.equals(Object) Implementation in JPF baseline build #366: Pull request #491 opened by shreyasCs012
August 13, 2024 11:29 16m 37s debug_equals
debug_equals
August 13, 2024 11:29 16m 37s
Fix container inefficiency in HeuristicSearch.java baseline build #365: Pull request #490 opened by cinsttool
August 10, 2024 15:39 18m 7s cinsttool:master
cinsttool:master
August 10, 2024 15:39 18m 7s
add SuppressWarnings(removal) against Thread.resume(),Thread.suspend(… baseline build #364: Commit 50557c9 pushed by cyrille-artho
August 4, 2024 10:58 4m 42s java-17
java-17
August 4, 2024 10:58 4m 42s
SuppressWarnings(removal) against Thread.resume(),Thread.suspend() baseline build #363: Pull request #489 opened by eklaDFF
August 3, 2024 21:20 4m 52s eklaDFF:CompWarnThreadPrBranch
eklaDFF:CompWarnThreadPrBranch
August 3, 2024 21:20 4m 52s
replace deprecated Constructor based initialization of primitive type… baseline build #362: Commit 8b0618d pushed by cyrille-artho
August 3, 2024 11:33 4m 44s java-17
java-17
August 3, 2024 11:33 4m 44s
replace deprecated Constructor based initialization of primitive type… baseline build #361: Pull request #488 synchronize by eklaDFF
August 3, 2024 08:37 4m 48s eklaDFF:CompWarnWrapperClassPrBranch
eklaDFF:CompWarnWrapperClassPrBranch
August 3, 2024 08:37 4m 48s