Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci-for-pr

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci-for-pr.yml
362 workflow runs
362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add to sptree compset docker-ci-for-pr #144: Pull request #1178 synchronize by xrchz
January 12, 2024 20:43 1h 0m 7s sptcompute
sptcompute
January 12, 2024 20:43 1h 0m 7s
Add to sptree compset docker-ci-for-pr #143: Pull request #1178 opened by xrchz
January 12, 2024 20:31 59m 24s sptcompute
sptcompute
January 12, 2024 20:31 59m 24s
[CCS] define "nil" by "I"-combinator (rec X (var X)) docker-ci-for-pr #142: Pull request #1177 opened by binghe
January 12, 2024 02:34 59m 32s binghe:CCS_nil
binghe:CCS_nil
January 12, 2024 02:34 59m 32s
Re-worked CCS with alpha-conversion over recursion operator docker-ci-for-pr #141: Pull request #1176 synchronize by binghe
January 11, 2024 06:47 59m 57s binghe:CCS_alpha
binghe:CCS_alpha
January 11, 2024 06:47 59m 57s
Re-worked CCS with alpha-conversion over recursion operator docker-ci-for-pr #140: Pull request #1176 synchronize by binghe
January 9, 2024 11:11 59m 25s binghe:CCS_alpha
binghe:CCS_alpha
January 9, 2024 11:11 59m 25s
Re-worked CCS with alpha-conversion over recursion operator docker-ci-for-pr #139: Pull request #1176 opened by binghe
January 8, 2024 12:57 1h 0m 12s binghe:CCS_alpha
binghe:CCS_alpha
January 8, 2024 12:57 1h 0m 12s
Böhm tree with basic properties docker-ci-for-pr #138: Pull request #1175 opened by binghe
January 4, 2024 04:18 55m 25s binghe:Boehm_tree
binghe:Boehm_tree
January 4, 2024 04:18 55m 25s
HolSmt: add support for the cvc5 SMT solver + doc update docker-ci-for-pr #135: Pull request #1173 opened by someplaceguy
December 12, 2023 19:09 56m 27s someplaceguy:u/holsmt-cvc
someplaceguy:u/holsmt-cvc
December 12, 2023 19:09 56m 27s
Add ltree_every and ltree_finite_branching docker-ci-for-pr #134: Pull request #1172 synchronize by binghe
December 11, 2023 05:08 55m 29s binghe:ltree_every_n_finite_branching
binghe:ltree_every_n_finite_branching
December 11, 2023 05:08 55m 29s
Add ltree_every and ltree_finite_branching docker-ci-for-pr #133: Pull request #1172 synchronize by binghe
December 11, 2023 03:26 57m 49s binghe:ltree_every_n_finite_branching
binghe:ltree_every_n_finite_branching
December 11, 2023 03:26 57m 49s
Add ltree_every and ltree_finite_branching docker-ci-for-pr #132: Pull request #1172 opened by binghe
December 11, 2023 02:53 56m 28s binghe:ltree_every_n_finite_branching
binghe:ltree_every_n_finite_branching
December 11, 2023 02:53 56m 28s
Stage work on λ-calculus (Böhm transform and head original terms) docker-ci-for-pr #130: Pull request #1169 opened by binghe
December 5, 2023 04:41 55m 9s binghe:Boehm_transform_is_ready
binghe:Boehm_transform_is_ready
December 5, 2023 04:41 55m 9s
Add various theorems docker-ci-for-pr #129: Pull request #1168 synchronize by xrchz
December 3, 2023 20:29 55m 2s add_thms
add_thms
December 3, 2023 20:29 55m 2s
Add various theorems docker-ci-for-pr #128: Pull request #1168 synchronize by xrchz
December 3, 2023 17:03 55m 11s add_thms
add_thms
December 3, 2023 17:03 55m 11s
Add various theorems docker-ci-for-pr #127: Pull request #1168 synchronize by xrchz
December 3, 2023 16:05 55m 57s add_thms
add_thms
December 3, 2023 16:05 55m 57s
Add various theorems docker-ci-for-pr #126: Pull request #1168 synchronize by xrchz
December 3, 2023 06:34 55m 43s add_thms
add_thms
December 3, 2023 06:34 55m 43s
Add various theorems docker-ci-for-pr #125: Pull request #1168 synchronize by xrchz
December 3, 2023 06:24 54m 48s add_thms
add_thms
December 3, 2023 06:24 54m 48s
Add various theorems docker-ci-for-pr #124: Pull request #1168 synchronize by xrchz
December 2, 2023 16:57 55m 26s add_thms
add_thms
December 2, 2023 16:57 55m 26s
Add various theorems docker-ci-for-pr #123: Pull request #1168 opened by xrchz
December 2, 2023 15:47 1m 38s add_thms
add_thms
December 2, 2023 15:47 1m 38s
Continued developments up to Separability Lemma [Barendregt 1984, p.254] docker-ci-for-pr #122: Pull request #1167 synchronize by binghe
November 28, 2023 04:39 54m 56s binghe:separability_lemma
binghe:separability_lemma
November 28, 2023 04:39 54m 56s
Continued developments up to Separability Lemma [Barendregt 1984, p.254] docker-ci-for-pr #121: Pull request #1167 synchronize by binghe
November 28, 2023 02:38 56m 8s binghe:separability_lemma
binghe:separability_lemma
November 28, 2023 02:38 56m 8s
Continued developments up to Separability Lemma [Barendregt 1984, p.254] docker-ci-for-pr #120: Pull request #1167 opened by binghe
November 28, 2023 02:34 56m 22s binghe:separability_lemma
binghe:separability_lemma
November 28, 2023 02:34 56m 22s
Definition mechanism for tail-recursive functions docker-ci-for-pr #119: Pull request #1166 opened by myreen
November 25, 2023 21:10 54m 50s tailrec
tailrec
November 25, 2023 21:10 54m 50s
Add AllCasePreds() docker-ci-for-pr #118: Pull request #1164 synchronize by IlmariReissumies
November 10, 2023 10:05 1h 33m 25s bool_case
bool_case
November 10, 2023 10:05 1h 33m 25s
Add AllCasePreds() docker-ci-for-pr #117: Pull request #1164 synchronize by IlmariReissumies
November 10, 2023 09:40 1h 37m 17s bool_case
bool_case
November 10, 2023 09:40 1h 37m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.