Skip to content

Actions: vorpal-research/kex

Actions

JDK 11 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jdk11-ci.yml
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #101 from niyaznigmatullin/store_printing JDK 11 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 31m 45s master
master
December 7, 2023 16:40 31m 45s
Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 11 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 31m 55s master
master
December 7, 2023 16:38 31m 55s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 11 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 30m 28s master
master
December 7, 2023 16:37 30m 28s
Use := instead of = for store predicates JDK 11 CI #78: Pull request #101 opened by niyaznigmatullin
December 7, 2023 16:22 30m 8s niyaznigmatullin:store_printing
niyaznigmatullin:store_printing
December 7, 2023 16:22 30m 8s
Make domain for instanceof of null JDK 11 CI #77: Pull request #100 opened by niyaznigmatullin
December 7, 2023 14:15 29m 6s niyaznigmatullin:null_instanceof
niyaznigmatullin:null_instanceof
December 7, 2023 14:15 29m 6s
Add abs call to double comparison JDK 11 CI #76: Pull request #99 opened by niyaznigmatullin
December 7, 2023 14:11 30m 59s niyaznigmatullin:double_compare
niyaznigmatullin:double_compare
December 7, 2023 14:11 30m 59s
Test suite minimization JDK 11 CI #75: Pull request #98 opened by Mike-Wazovsky
December 1, 2023 12:07 31m 24s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
December 1, 2023 12:07 31m 24s
Merge pull request #97 from vorpal-research/small-fixes JDK 11 CI #74: Commit 464a27f pushed by AbdullinAM
November 20, 2023 11:20 37m 8s master
master
November 20, 2023 11:20 37m 8s
Small fixes JDK 11 CI #73: Pull request #97 opened by AbdullinAM
November 20, 2023 11:20 1m 14s small-fixes
small-fixes
November 20, 2023 11:20 1m 14s
Merge pull request #96 from vorpal-research/concrete-value-collection… JDK 11 CI #72: Commit b158e75 pushed by AbdullinAM
November 13, 2023 11:49 38m 29s master
master
November 13, 2023 11:49 38m 29s
Concrete value collection api JDK 11 CI #71: Pull request #96 opened by AbdullinAM
November 13, 2023 11:42 31m 12s concrete-value-collection-api
concrete-value-collection-api
November 13, 2023 11:42 31m 12s
fix kex-boolector and kex-z3 builds JDK 11 CI #70: Commit 192b168 pushed by AbdullinAM
November 10, 2023 13:54 28m 10s master
master
November 10, 2023 13:54 28m 10s
Merge pull request #95 from vorpal-research/release-preparation JDK 11 CI #69: Commit 07a9d88 pushed by AbdullinAM
November 10, 2023 13:46 2m 34s master
master
November 10, 2023 13:46 2m 34s
Release preparation JDK 11 CI #68: Pull request #95 opened by AbdullinAM
November 10, 2023 13:35 1m 26s release-preparation
release-preparation
November 10, 2023 13:35 1m 26s
roll back ksmt version JDK 11 CI #67: Commit 0175ef9 pushed by AbdullinAM
November 10, 2023 12:01 36m 11s master
master
November 10, 2023 12:01 36m 11s
more or less final version of AbstractDomainSolver JDK 11 CI #66: Commit ed71aaa pushed by AbdullinAM
November 9, 2023 12:45 1h 13m 2s master
master
November 9, 2023 12:45 1h 13m 2s
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