Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
893 workflow runs
893 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Faster evaluation for Keccak_256_bytes docker-ci-for-pr #501: Pull request #1368 synchronize by xrchz
December 11, 2024 09:58 2h 1m 3s keccak
keccak
December 11, 2024 09:58 2h 1m 3s
rename to lameta_completeTheory docker-ci #663: Commit 1ad60c4 pushed by mn200
December 11, 2024 03:40 2h 8m 51s develop
develop
December 11, 2024 03:40 2h 8m 51s
Merge pull request #1358 from HOL-Theorem-Prover/sha2 docker-ci #662: Commit 8140422 pushed by mn200
December 11, 2024 03:30 2h 2m 41s master
master
December 11, 2024 03:30 2h 2m 41s
Faster evaluation for Keccak_256_bytes docker-ci-for-pr #500: Pull request #1368 synchronize by xrchz
December 11, 2024 00:55 2h 6m 18s keccak
keccak
December 11, 2024 00:55 2h 6m 18s
quse: missing reraise docker-ci #661: Commit f34bded pushed by mn200
December 11, 2024 00:52 2h 4m 12s develop
develop
December 11, 2024 00:52 2h 4m 12s
[lambda] full version of subtree_equiv_lemma (agree_upto_lemma) docker-ci-for-pr #499: Pull request #1367 synchronize by binghe
December 11, 2024 00:43 2h 0m 45s binghe:subtree_equiv_lemma
binghe:subtree_equiv_lemma
December 11, 2024 00:43 2h 0m 45s
Correct compile-time error in Listener.sml docker-ci #660: Commit 6c54683 pushed by mn200
December 11, 2024 00:26 2h 2m 4s master
master
December 11, 2024 00:26 2h 2m 4s
Faster evaluation for Keccak_256_bytes docker-ci-for-pr #498: Pull request #1368 synchronize by xrchz
December 10, 2024 20:44 2h 4m 0s keccak
keccak
December 10, 2024 20:44 2h 4m 0s
Faster evaluation for Keccak_256_bytes docker-ci-for-pr #497: Pull request #1368 opened by xrchz
December 10, 2024 12:22 2h 4m 6s keccak
keccak
December 10, 2024 12:22 2h 4m 6s
Merge pull request #1358 from HOL-Theorem-Prover/sha2 docker-ci #659: Commit 8140422 pushed by xrchz
December 10, 2024 12:18 2h 3m 36s develop
develop
December 10, 2024 12:18 2h 3m 36s
[lambda] full version of subtree_equiv_lemma (agree_upto_lemma) docker-ci-for-pr #496: Pull request #1367 synchronize by binghe
December 10, 2024 00:34 2h 12m 13s binghe:subtree_equiv_lemma
binghe:subtree_equiv_lemma
December 10, 2024 00:34 2h 12m 13s
[lambda] full version of subtree_equiv_lemma (agree_upto_lemma) docker-ci-for-pr #495: Pull request #1367 opened by binghe
December 9, 2024 13:29 2h 6m 46s binghe:subtree_equiv_lemma
binghe:subtree_equiv_lemma
December 9, 2024 13:29 2h 6m 46s
Define SHA-256 (part of the SHA-2 standard) and translate it for cv compute docker-ci-for-pr #494: Pull request #1358 synchronize by xrchz
December 9, 2024 10:10 2h 2m 47s sha2
sha2
December 9, 2024 10:10 2h 2m 47s
quse: missing reraise docker-ci-for-pr #493: Pull request #1366 opened by digama0
December 9, 2024 09:30 54m 52s digama0:reraise
digama0:reraise
December 9, 2024 09:30 54m 52s
Correct compile-time error in Listener.sml docker-ci #658: Commit 6c54683 pushed by mn200
December 9, 2024 05:17 2h 2m 39s develop
develop
December 9, 2024 05:17 2h 2m 39s
Make more code use the Listener module docker-ci #657: Commit 0263416 pushed by mn200
December 9, 2024 03:51 2h 3m 28s develop
develop
December 9, 2024 03:51 2h 3m 28s
Tweak Holmake docs; include new features from 629d43fd28ac8 docker-ci #656: Commit 429df14 pushed by mn200
December 9, 2024 03:38 2h 4m 21s master
master
December 9, 2024 03:38 2h 4m 21s
Fix a match-anything constructor interpreted as a variable docker-ci #655: Commit 4eff095 pushed by mn200
December 9, 2024 03:35 2h 1m 20s develop
develop
December 9, 2024 03:35 2h 1m 20s
[real] sup/inf lemmas using set notations docker-ci #654: Commit 2673c02 pushed by mn200
December 9, 2024 02:08 2h 2m 30s develop
develop
December 9, 2024 02:08 2h 2m 30s
better location preservation in Absyn docker-ci #653: Commit 6ce7bc1 pushed by mn200
December 9, 2024 01:03 2h 3m 47s develop
develop
December 9, 2024 01:03 2h 3m 47s
more typecheck listeners docker-ci #652: Commit 46ee6e9 pushed by mn200
December 9, 2024 01:02 1h 59m 51s develop
develop
December 9, 2024 01:02 1h 59m 51s
better location preservation in Absyn docker-ci-for-pr #492: Pull request #1363 opened by digama0
December 8, 2024 06:01 2h 2m 9s digama0:absyn_locn
digama0:absyn_locn
December 8, 2024 06:01 2h 2m 9s
more typecheck listeners docker-ci-for-pr #491: Pull request #1362 synchronize by digama0
December 7, 2024 05:28 2h 1m 10s digama0:typecheck_listener
digama0:typecheck_listener
December 7, 2024 05:28 2h 1m 10s
more typecheck listeners docker-ci-for-pr #490: Pull request #1362 opened by digama0
December 7, 2024 05:25 1h 57m 28s digama0:typecheck_listener
digama0:typecheck_listener
December 7, 2024 05:25 1h 57m 28s
Holmake now attempts to build bare names which it knows loc'n of docker-ci #651: Commit 629d43f pushed by mn200
December 6, 2024 04:05 2h 0m 55s master
master
December 6, 2024 04:05 2h 0m 55s