Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253 workflow run results
253 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reverted [REC]; re-worked REC_VAR_NO_TRANS (and I_NO_TRANS) by method… docker-ci #302: Commit fbdc8f6 pushed by mn200
January 11, 2024 22:09 59m 17s develop
develop
January 11, 2024 22:09 59m 17s
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
Lift, tweak and publish some tailrecLib code docker-ci #301: Commit c4c8009 pushed by mn200
January 9, 2024 05:00 1h 0m 26s master
master
January 9, 2024 05:00 1h 0m 26s
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
Lift, tweak and publish some tailrecLib code docker-ci #300: Commit c4c8009 pushed by mn200
January 8, 2024 05:50 1h 0m 37s develop
develop
January 8, 2024 05:50 1h 0m 37s
Allow simpler configuration of Poly/ML linker flags docker-ci #299: Commit 85c8ef4 pushed by mn200
January 7, 2024 23:54 59m 14s develop
develop
January 7, 2024 23:54 59m 14s
Allow build's clean options to be given in any mix of letter-cases docker-ci #298: Commit 7818249 pushed by mn200
January 7, 2024 23:15 55m 34s master
master
January 7, 2024 23:15 55m 34s
Revive benchmark and Thery examples in regression tests docker-ci #297: Commit eb52ee5 pushed by mn200
January 7, 2024 03:54 59m 40s develop
develop
January 7, 2024 03:54 59m 40s
Add a little example about Fibonacci to examples/misc docker-ci #296: Commit 9927975 pushed by mn200
January 6, 2024 09:29 59m 19s develop
develop
January 6, 2024 09:29 59m 19s
Revive test directory under src/quotient docker-ci #295: Commit ba2cfb3 pushed by mn200
January 6, 2024 09:18 1h 3m 20s develop
develop
January 6, 2024 09:18 1h 3m 20s
Remove examples/lassie docker-ci #294: Commit dc68c31 pushed by mn200
January 5, 2024 01:28 50m 1s develop
develop
January 5, 2024 01:28 50m 1s
Allow build's clean options to be given in any mix of letter-cases docker-ci #293: Commit 7818249 pushed by mn200
January 4, 2024 23:24 55m 5s develop
develop
January 4, 2024 23:24 55m 5s
[lambda] Böhm tree with basic properties docker-ci #292: Commit a1eb6e6 pushed by mn200
January 4, 2024 23:08 55m 55s develop
develop
January 4, 2024 23:08 55m 55s
HolSmt: enable more tests for Z3 docker-ci #291: Commit 54f0244 pushed by mn200
January 4, 2024 23:05 57m 11s develop
develop
January 4, 2024 23:05 57m 11s
Add additional comment on optional syntax docker-ci #290: Commit df2fa4a pushed by mn200
January 4, 2024 23:00 56m 10s develop
develop
January 4, 2024 23:00 56m 10s
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
Merge transfer/examples/tailcall stuff into whileTheory docker-ci #289: Commit 7740074 pushed by mn200
December 14, 2023 07:28 55m 43s develop
develop
December 14, 2023 07:28 55m 43s
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 (#1172) docker-ci #288: Commit d587e1c pushed by mn200
December 12, 2023 06:03 55m 10s master
master
December 12, 2023 06:03 55m 10s
Add ltree_every and ltree_finite_branching (#1172) docker-ci #287: Commit d587e1c pushed by mn200
December 11, 2023 22:22 56m 52s develop
develop
December 11, 2023 22:22 56m 52s
[examples/lambda] Move closure-related material to chap2; start chap4 docker-ci #286: Commit 935ff4d pushed by mn200
December 11, 2023 07:14 56m 8s develop
develop
December 11, 2023 07:14 56m 8s
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
[examples/lambda] Establish new type of λ-terms, with constants docker-ci #285: Commit 4954936 pushed by mn200
December 11, 2023 03:09 55m 57s master
master
December 11, 2023 03:09 55m 57s