Skip to content

Actions: PLukas2018/diffkemp

Actions

Analysis of DiffKemp equivalence checking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #34: Commit dc8c0b7 pushed by PLukas2018
January 22, 2024 07:36 7m 28s eqbench-analysis-with-ci
eqbench-analysis-with-ci
January 22, 2024 07:36 7m 28s
Merge branch 'viktormalik:master' into eqbench-analysis-with-ci Analysis of DiffKemp equivalence checking #33: Commit 83776d8 pushed by PLukas2018
January 22, 2024 07:34 1m 17s eqbench-analysis-with-ci
eqbench-analysis-with-ci
January 22, 2024 07:34 1m 17s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #32: Commit e5e099d pushed by PLukas2018
November 11, 2023 18:48 11m 31s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 18:48 11m 31s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #31: Commit a594b82 pushed by PLukas2018
November 11, 2023 18:34 10m 36s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 18:34 10m 36s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #30: Commit 14b61b7 pushed by PLukas2018
November 11, 2023 18:29 3m 34s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 18:29 3m 34s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #29: Commit b16e448 pushed by PLukas2018
November 11, 2023 18:18 7m 36s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 18:18 7m 36s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #28: Commit 0f3b2d6 pushed by PLukas2018
November 11, 2023 17:25 7m 51s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 17:25 7m 51s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #27: Commit 56a0c8c pushed by PLukas2018
November 11, 2023 17:23 Failure eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 17:23 Failure
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #26: Commit 6546620 pushed by PLukas2018
November 11, 2023 17:15 2m 42s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 17:15 2m 42s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #25: Commit 4baba48 pushed by PLukas2018
November 11, 2023 17:06 2m 55s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 17:06 2m 55s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #24: Commit abfa9e6 pushed by PLukas2018
November 11, 2023 17:04 20s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 17:04 20s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #23: Commit 564b2c2 pushed by PLukas2018
November 11, 2023 16:39 Failure eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 16:39 Failure
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #22: Commit c1f82d4 pushed by PLukas2018
November 11, 2023 16:28 12s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 16:28 12s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #21: Commit 5371421 pushed by PLukas2018
November 11, 2023 16:13 14s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 16:13 14s
t Analysis of DiffKemp equivalence checking #20: Commit b29ffa9 pushed by PLukas2018
November 11, 2023 15:33 13s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 15:33 13s
t Analysis of DiffKemp equivalence checking #19: Commit 49fe846 pushed by PLukas2018
November 11, 2023 02:07 36s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 02:07 36s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #18: Commit 2669584 pushed by PLukas2018
November 11, 2023 02:07 12s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 02:07 12s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #17: Commit 446662b pushed by PLukas2018
November 11, 2023 02:07 11s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 02:07 11s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #16: Commit d42308d pushed by PLukas2018
November 11, 2023 02:07 12s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 02:07 12s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #15: Commit a766617 pushed by PLukas2018
November 11, 2023 01:51 12s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 01:51 12s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #13: Commit b7ddc87 pushed by PLukas2018
November 11, 2023 00:40 4m 4s eqbench-analysis-with-ci
eqbench-analysis-with-ci
November 11, 2023 00:40 4m 4s
Analysis of DiffKemp equivalence checking Analysis of DiffKemp equivalence checking #12: Manually run by PLukas2018
October 22, 2023 13:53 30m 23s eqbench-analysis-with-ci
eqbench-analysis-with-ci
October 22, 2023 13:53 30m 23s
Analysis of DiffKemp equivalence checking Analysis of DiffKemp equivalence checking #11: Manually run by PLukas2018
October 22, 2023 13:27 5m 58s eqbench-analysis-with-ci
eqbench-analysis-with-ci
October 22, 2023 13:27 5m 58s
EqBench: Enable to run analysis in CI Analysis of DiffKemp equivalence checking #10: Commit 28f2bd1 pushed by PLukas2018
October 22, 2023 13:22 3m 11s eqbench-analysis-with-ci
eqbench-analysis-with-ci
October 22, 2023 13:22 3m 11s
EqBench: workflow analysis of multiple clang options Analysis of DiffKemp equivalence checking #9: Commit 77fe2c8 pushed by PLukas2018
September 28, 2023 07:20 1h 9m 55s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 28, 2023 07:20 1h 9m 55s