Skip to content

Actions: vorpal-research/kex

Actions

JDK 8 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jdk8-ci.yml
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #100 from niyaznigmatullin/null_instanceof JDK 8 CI #80: Commit a7aab55 pushed by AbdullinAM
December 7, 2023 16:38 34m 3s master
master
December 7, 2023 16:38 34m 3s
Merge pull request #99 from niyaznigmatullin/double_compare JDK 8 CI #79: Commit dbaf0e3 pushed by AbdullinAM
December 7, 2023 16:37 35m 38s master
master
December 7, 2023 16:37 35m 38s
Use := instead of = for store predicates JDK 8 CI #78: Pull request #101 opened by niyaznigmatullin
December 7, 2023 16:22 32m 44s niyaznigmatullin:store_printing
niyaznigmatullin:store_printing
December 7, 2023 16:22 32m 44s
Make domain for instanceof of null JDK 8 CI #77: Pull request #100 opened by niyaznigmatullin
December 7, 2023 14:15 33m 0s niyaznigmatullin:null_instanceof
niyaznigmatullin:null_instanceof
December 7, 2023 14:15 33m 0s
Add abs call to double comparison JDK 8 CI #76: Pull request #99 opened by niyaznigmatullin
December 7, 2023 14:11 29m 45s niyaznigmatullin:double_compare
niyaznigmatullin:double_compare
December 7, 2023 14:11 29m 45s
Test suite minimization JDK 8 CI #75: Pull request #98 opened by Mike-Wazovsky
December 1, 2023 12:07 38m 54s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
December 1, 2023 12:07 38m 54s
Merge pull request #97 from vorpal-research/small-fixes JDK 8 CI #74: Commit 464a27f pushed by AbdullinAM
November 20, 2023 11:20 28m 52s master
master
November 20, 2023 11:20 28m 52s
Small fixes JDK 8 CI #73: Pull request #97 opened by AbdullinAM
November 20, 2023 11:20 1m 20s small-fixes
small-fixes
November 20, 2023 11:20 1m 20s
Merge pull request #96 from vorpal-research/concrete-value-collection… JDK 8 CI #72: Commit b158e75 pushed by AbdullinAM
November 13, 2023 11:49 32m 35s master
master
November 13, 2023 11:49 32m 35s
Concrete value collection api JDK 8 CI #71: Pull request #96 opened by AbdullinAM
November 13, 2023 11:42 30m 0s concrete-value-collection-api
concrete-value-collection-api
November 13, 2023 11:42 30m 0s
fix kex-boolector and kex-z3 builds JDK 8 CI #70: Commit 192b168 pushed by AbdullinAM
November 10, 2023 13:54 32m 57s master
master
November 10, 2023 13:54 32m 57s
Merge pull request #95 from vorpal-research/release-preparation JDK 8 CI #69: Commit 07a9d88 pushed by AbdullinAM
November 10, 2023 13:46 2m 18s master
master
November 10, 2023 13:46 2m 18s
Release preparation JDK 8 CI #68: Pull request #95 opened by AbdullinAM
November 10, 2023 13:35 1m 31s release-preparation
release-preparation
November 10, 2023 13:35 1m 31s
roll back ksmt version JDK 8 CI #67: Commit 0175ef9 pushed by AbdullinAM
November 10, 2023 12:01 43m 34s master
master
November 10, 2023 12:01 43m 34s
more or less final version of AbstractDomainSolver JDK 8 CI #66: Commit ed71aaa pushed by AbdullinAM
November 9, 2023 12:45 1h 28m 30s master
master
November 9, 2023 12:45 1h 28m 30s
fix z3 and boolector JDK 8 CI #65: Commit 3b4db26 pushed by AbdullinAM
November 1, 2023 16:25 34m 4s master
master
November 1, 2023 16:25 34m 4s
fixes JDK 8 CI #64: Commit 2f96412 pushed by AbdullinAM
November 1, 2023 16:16 4m 6s master
master
November 1, 2023 16:16 4m 6s
Merge pull request #94 from vorpal-research/class-loader-instrumenter JDK 8 CI #63: Commit e09313d pushed by AbdullinAM
October 13, 2023 09:38 38m 38s master
master
October 13, 2023 09:38 38m 38s
New instrumentation and class loading JDK 8 CI #62: Pull request #94 synchronize by AbdullinAM
October 13, 2023 08:05 43m 3s class-loader-instrumenter
class-loader-instrumenter
October 13, 2023 08:05 43m 3s
New instrumentation and class loading JDK 8 CI #61: Pull request #94 opened by AbdullinAM
October 9, 2023 14:29 26m 3s class-loader-instrumenter
class-loader-instrumenter
October 9, 2023 14:29 26m 3s
new ksmt JDK 8 CI #60: Commit 26245a1 pushed by AbdullinAM
September 25, 2023 14:47 35m 40s master
master
September 25, 2023 14:47 35m 40s
small rework of symbolic traverser JDK 8 CI #59: Commit 6bf3156 pushed by AbdullinAM
September 25, 2023 06:58 40m 44s master
master
September 25, 2023 06:58 40m 44s
Merge pull request #93 from SBOne-Kenobi/small-fixes JDK 8 CI #58: Commit 3a3ffab pushed by AbdullinAM
September 18, 2023 09:01 40m 26s master
master
September 18, 2023 09:01 40m 26s
Small fixes JDK 8 CI #57: Pull request #93 opened by SBOne-Kenobi
September 13, 2023 09:12 37m 7s SBOne-Kenobi:small-fixes
SBOne-Kenobi:small-fixes
September 13, 2023 09:12 37m 7s
adapt ReflectionUtilsPrinter.kt for Java versions >= 12 JDK 8 CI #56: Commit 340b482 pushed by AbdullinAM
August 30, 2023 09:52 34m 49s master
master
August 30, 2023 09:52 34m 49s