Skip to content

Actions: vorpal-research/kex

Actions

JDK 8 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jdk8-ci.yml
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update kex.ini JDK 8 CI #88: Commit 06f954c pushed by AbdullinAM
January 5, 2024 16:26 30m 37s master
master
January 5, 2024 16:26 30m 37s
Merge pull request #98 from Mike-Wazovsky/test-suite-minimization JDK 8 CI #87: Commit 1e16733 pushed by AbdullinAM
January 5, 2024 16:25 1m 40s master
master
January 5, 2024 16:25 1m 40s
m JDK 8 CI #86: Commit 7a7619f pushed by AbdullinAM
January 4, 2024 18:20 32m 46s master
master
January 4, 2024 18:20 32m 46s
Test suite minimization JDK 8 CI #85: Pull request #98 synchronize by Mike-Wazovsky
January 2, 2024 16:03 33m 17s Mike-Wazovsky:test-suite-minimization
Mike-Wazovsky:test-suite-minimization
January 2, 2024 16:03 33m 17s
better test include filter in KfgClassLoader JDK 8 CI #84: Commit 9e86d80 pushed by AbdullinAM
December 20, 2023 12:12 31m 57s master
master
December 20, 2023 12:12 31m 57s
Merge pull request #102 from niyaznigmatullin/array_domain_assign_null JDK 8 CI #83: Commit e793392 pushed by AbdullinAM
December 11, 2023 10:36 29m 14s master
master
December 11, 2023 10:36 29m 14s
Fix ArrayDomain.assign(NullityDomain) JDK 8 CI #82: Pull request #102 opened by niyaznigmatullin
December 8, 2023 14:31 32m 1s niyaznigmatullin:array_domain_assign_null
niyaznigmatullin:array_domain_assign_null
December 8, 2023 14:31 32m 1s
Merge pull request #101 from niyaznigmatullin/store_printing JDK 8 CI #81: Commit 84ec1e1 pushed by AbdullinAM
December 7, 2023 16:40 27m 31s master
master
December 7, 2023 16:40 27m 31s
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