Skip to content

Actions: vorpal-research/kex

Actions

JDK 11 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jdk11-ci.yml
39 workflow run results
39 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix z3 and boolector JDK 11 CI #65: Commit 3b4db26 pushed by AbdullinAM
November 1, 2023 16:25 33m 35s master
master
November 1, 2023 16:25 33m 35s
fixes JDK 11 CI #64: Commit 2f96412 pushed by AbdullinAM
November 1, 2023 16:16 4m 10s master
master
November 1, 2023 16:16 4m 10s
Merge pull request #94 from vorpal-research/class-loader-instrumenter JDK 11 CI #63: Commit e09313d pushed by AbdullinAM
October 13, 2023 09:38 32m 34s master
master
October 13, 2023 09:38 32m 34s
New instrumentation and class loading JDK 11 CI #62: Pull request #94 synchronize by AbdullinAM
October 13, 2023 08:05 36m 42s class-loader-instrumenter
class-loader-instrumenter
October 13, 2023 08:05 36m 42s
New instrumentation and class loading JDK 11 CI #61: Pull request #94 opened by AbdullinAM
October 9, 2023 14:29 24m 13s class-loader-instrumenter
class-loader-instrumenter
October 9, 2023 14:29 24m 13s
new ksmt JDK 11 CI #60: Commit 26245a1 pushed by AbdullinAM
September 25, 2023 14:47 34m 8s master
master
September 25, 2023 14:47 34m 8s
small rework of symbolic traverser JDK 11 CI #59: Commit 6bf3156 pushed by AbdullinAM
September 25, 2023 06:58 37m 35s master
master
September 25, 2023 06:58 37m 35s
Merge pull request #93 from SBOne-Kenobi/small-fixes JDK 11 CI #58: Commit 3a3ffab pushed by AbdullinAM
September 18, 2023 09:01 31m 46s master
master
September 18, 2023 09:01 31m 46s
Small fixes JDK 11 CI #57: Pull request #93 opened by SBOne-Kenobi
September 13, 2023 09:12 37m 41s SBOne-Kenobi:small-fixes
SBOne-Kenobi:small-fixes
September 13, 2023 09:12 37m 41s
adapt ReflectionUtilsPrinter.kt for Java versions >= 12 JDK 11 CI #56: Commit 340b482 pushed by AbdullinAM
August 30, 2023 09:52 39m 5s master
master
August 30, 2023 09:52 39m 5s
reduce the number of consumed resources JDK 11 CI #55: Commit afdbeab pushed by AbdullinAM
August 29, 2023 08:20 37m 40s master
master
August 29, 2023 08:20 37m 40s
async tcp with ktor JDK 11 CI #54: Commit 59c3f14 pushed by AbdullinAM
August 24, 2023 07:39 37m 33s master
master
August 24, 2023 07:39 37m 33s
timeouts for all sockets JDK 11 CI #53: Commit 6764533 pushed by AbdullinAM
August 22, 2023 10:24 39m 57s master
master
August 22, 2023 10:24 39m 57s
fix server issues in tests JDK 11 CI #52: Commit 911e21a pushed by AbdullinAM
August 17, 2023 14:15 36m 28s master
master
August 17, 2023 14:15 36m 28s
fix infinite logs JDK 11 CI #51: Commit b9131ce pushed by AbdullinAM
August 17, 2023 13:45 1h 6m 52s master
master
August 17, 2023 13:45 1h 6m 52s
change in server JDK 11 CI #49: Commit 9be6be1 pushed by AbdullinAM
August 17, 2023 11:12 58m 10s master
master
August 17, 2023 11:12 58m 10s
Fix KPorfolioSolver instance closing JDK 11 CI #48: Pull request #92 opened by niyaznigmatullin
August 16, 2023 15:34 36m 33s niyaznigmatullin:fix_solver_running
niyaznigmatullin:fix_solver_running
August 16, 2023 15:34 36m 33s
new ksmt + fixed the unsat core handling for soft constraints JDK 11 CI #47: Commit 448fbbf pushed by AbdullinAM
August 16, 2023 09:09 38m 52s master
master
August 16, 2023 09:09 38m 52s
fix phi instrumentation in catch blocks JDK 11 CI #46: Commit 4e43a68 pushed by AbdullinAM
August 11, 2023 13:15 1h 41m 18s master
master
August 11, 2023 13:15 1h 41m 18s
fix wrapper to primitive descriptor conversion in SymbolicTraceBuilder JDK 11 CI #45: Commit 776827e pushed by AbdullinAM
August 11, 2023 11:09 1h 42m 51s master
master
August 11, 2023 11:09 1h 42m 51s
new ksmt JDK 11 CI #44: Commit dda82aa pushed by AbdullinAM
August 11, 2023 09:37 1h 40m 2s master
master
August 11, 2023 09:37 1h 40m 2s
Merge pull request #91 from niyaznigmatullin/async_review JDK 11 CI #43: Commit 860105d pushed by AbdullinAM
August 10, 2023 07:19 39m 12s master
master
August 10, 2023 07:19 39m 12s
Review async KSMT solver methods usage in suspending context JDK 11 CI #42: Pull request #91 opened by niyaznigmatullin
August 10, 2023 07:17 3m 37s niyaznigmatullin:async_review
niyaznigmatullin:async_review
August 10, 2023 07:17 3m 37s
make kex.py runnable JDK 11 CI #41: Commit 5f5bdd7 pushed by AbdullinAM
August 9, 2023 15:25 48m 23s master
master
August 9, 2023 15:25 48m 23s
m JDK 11 CI #40: Commit 72e653b pushed by AbdullinAM
August 9, 2023 09:39 49m 18s master
master
August 9, 2023 09:39 49m 18s