Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
908 workflow runs
908 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Unicode violations in byteScript.sml docker-ci #259: Commit 7e2c10a pushed by xrchz
November 15, 2023 22:10 55m 2s develop
develop
November 15, 2023 22:10 55m 2s
Add byteTheory from CakeML docker-ci #258: Commit 5dc8b3d pushed by xrchz
November 15, 2023 21:14 1m 57s develop
develop
November 15, 2023 21:14 1m 57s
Minor additions to cv<->term transfer theorems docker-ci #257: Commit e7f2e17 pushed by mn200
November 14, 2023 01:08 1h 31m 4s master
master
November 14, 2023 01:08 1h 31m 4s
Minor additions to cv<->term transfer theorems docker-ci #256: Commit e7f2e17 pushed by mn200
November 13, 2023 06:11 1h 48m 42s develop
develop
November 13, 2023 06:11 1h 48m 42s
Add case_elim thm for nterm docker-ci #255: Commit 667bb82 pushed by mn200
November 13, 2023 04:54 55m 36s develop
develop
November 13, 2023 04:54 55m 36s
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
Add AllCasePreds() docker-ci-for-pr #116: Pull request #1164 synchronize by IlmariReissumies
November 10, 2023 09:28 1h 38m 34s bool_case
bool_case
November 10, 2023 09:28 1h 38m 34s
Add AllCasePreds() docker-ci-for-pr #115: Pull request #1164 synchronize by IlmariReissumies
November 10, 2023 09:19 1m 53s bool_case
bool_case
November 10, 2023 09:19 1m 53s
Add AllCasePreds() docker-ci-for-pr #114: Pull request #1164 synchronize by IlmariReissumies
November 10, 2023 09:09 1m 51s bool_case
bool_case
November 10, 2023 09:09 1m 51s
Add AllCasePreds() docker-ci-for-pr #113: Pull request #1164 opened by IlmariReissumies
November 10, 2023 03:49 1h 33m 43s bool_case
bool_case
November 10, 2023 03:49 1h 33m 43s
[emacs-mode] Handle new Inductive label syntaxes docker-ci #254: Commit be29184 pushed by mn200
November 8, 2023 11:22 1h 33m 29s master
master
November 8, 2023 11:22 1h 33m 29s
[emacs-mode] Handle new Inductive label syntaxes docker-ci #253: Commit be29184 pushed by mn200
November 8, 2023 03:20 55m 14s develop
develop
November 8, 2023 03:20 55m 14s
Done unsolvable_Omega docker-ci #252: Commit 8f50546 pushed by mn200
November 6, 2023 03:45 1h 26m 31s develop
develop
November 6, 2023 03:45 1h 26m 31s
[examples/lambda] Demonstrate transfer of hnf_cases to pure_db docker-ci #251: Commit f9a10b2 pushed by mn200
November 6, 2023 03:26 55m 1s develop
develop
November 6, 2023 03:26 55m 1s
[examples/lambda] fix proof broken by making fromTerm_11 automatic docker-ci #250: Commit f62315a pushed by mn200
November 5, 2023 23:50 1h 34m 32s develop
develop
November 5, 2023 23:50 1h 34m 32s
[examples/lambda] fix duplicate theorem error in previous commit docker-ci #249: Commit 79234d8 pushed by mn200
November 5, 2023 23:16 1h 17m 37s develop
develop
November 5, 2023 23:16 1h 17m 37s
[examples/lambda] Set up transfer "tech" for pdb<->term connection docker-ci #248: Commit 34b7ae8 pushed by mn200
November 3, 2023 05:38 1h 33m 50s develop
develop
November 3, 2023 05:38 1h 33m 50s
Principle head normal forms (principle_hnf) docker-ci-for-pr #112: Pull request #1162 synchronize by binghe
November 2, 2023 10:38 1h 27m 11s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 10:38 1h 27m 11s
Principle head normal forms (principle_hnf) docker-ci-for-pr #111: Pull request #1162 synchronize by binghe
November 2, 2023 05:24 1h 22m 25s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 05:24 1h 22m 25s
Principle head normal forms (principle_hnf) docker-ci-for-pr #110: Pull request #1162 opened by binghe
November 2, 2023 04:31 1h 33m 39s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 04:31 1h 33m 39s
Make "is_comb_appstar_exists" an iff docker-ci #247: Commit 63067d0 pushed by mn200
November 2, 2023 01:07 1h 48m 59s master
master
November 2, 2023 01:07 1h 48m 59s
Make "is_comb_appstar_exists" an iff docker-ci #246: Commit 63067d0 pushed by mn200
November 1, 2023 05:25 1h 23m 50s develop
develop
November 1, 2023 05:25 1h 23m 50s
{Co,}Inductive rule labels now replace conj'ns entirely docker-ci #245: Commit 91e2a37 pushed by mn200
November 1, 2023 05:23 1h 23m 38s develop
develop
November 1, 2023 05:23 1h 23m 38s
Reworked "strange_cases" by the newly added "term_laml_cases" docker-ci-for-pr #109: Pull request #1161 synchronize by binghe
November 1, 2023 01:26 1h 35m 59s binghe:hnf_cases
binghe:hnf_cases
November 1, 2023 01:26 1h 35m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.