Skip to content

Actions: vorpal-research/kex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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
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 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
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 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
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
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 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
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 11 CI #72: Commit b158e75 pushed by AbdullinAM
November 13, 2023 11:49 38m 29s master
master
November 13, 2023 11:49 38m 29s
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
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 8 CI #70: Commit 192b168 pushed by AbdullinAM
November 10, 2023 13:54 32m 57s master
master
November 10, 2023 13:54 32m 57s
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
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 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
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
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 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
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.