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

Tweak cheatsheet generation docker-ci-for-pr #552: Pull request #1382 opened by hrutvik
January 6, 2025 17:55 2h 16m 48s hrutvik:cheatsheet-pandoc-tweaks
hrutvik:cheatsheet-pandoc-tweaks
January 6, 2025 17:55 2h 16m 48s
[lambda] remove non-standard is_ready'; move equivalent_def, etc. out… docker-ci #691: Commit da2d9a2 pushed by mn200
January 6, 2025 05:41 2h 15m 39s develop
develop
January 6, 2025 05:41 2h 15m 39s
Update INCLUDES-lines in formal-languages/regular's Holmakefile docker-ci #690: Commit e0c9e4e pushed by mn200
January 3, 2025 21:23 2h 13m 34s develop
develop
January 3, 2025 21:23 2h 13m 34s
Extract "Boehm_construction" from the proof of subtree_equiv_lemma docker-ci-for-pr #551: Pull request #1381 synchronize by binghe
January 1, 2025 11:31 2h 13m 46s binghe:Boehm_construction
binghe:Boehm_construction
January 1, 2025 11:31 2h 13m 46s
Extract "Boehm_construction" from the proof of subtree_equiv_lemma docker-ci-for-pr #550: Pull request #1381 opened by binghe
January 1, 2025 00:59 2h 11m 21s binghe:Boehm_construction
binghe:Boehm_construction
January 1, 2025 00:59 2h 11m 21s
Start on state minimization docker-ci #689: Commit bb77ef0 pushed by konrad-slind
December 30, 2024 19:00 2h 10m 47s develop
develop
December 30, 2024 19:00 2h 10m 47s
Merge pull request #1379 from HOL-Theorem-Prover/cv_eval_lsr docker-ci #688: Commit 77ae03e pushed by xrchz
December 27, 2024 10:54 2h 14m 20s develop
develop
December 27, 2024 10:54 2h 14m 20s
Avoid excessive computation for cv_eval word_lsr docker-ci-for-pr #549: Pull request #1379 synchronize by xrchz
December 27, 2024 08:36 2h 11m 31s cv_eval_lsr
cv_eval_lsr
December 27, 2024 08:36 2h 11m 31s
Finished Myhill-Nerode docker-ci #687: Commit 3e0d93f pushed by konrad-slind
December 27, 2024 05:15 2h 13m 14s develop
develop
December 27, 2024 05:15 2h 13m 14s
Fix dependency INCLUDES in examples/logic/propositional_logic docker-ci #686: Commit e8d5051 pushed by mn200
December 24, 2024 03:08 2h 14m 7s develop
develop
December 24, 2024 03:08 2h 14m 7s
Merge pull request #1377 from HOL-Theorem-Prover/upstreaming docker-ci #685: Commit 3331a9e pushed by xrchz
December 23, 2024 22:23 2h 19m 23s develop
develop
December 23, 2024 22:23 2h 19m 23s
[lambda] Basic properties of subtree_equiv; fix some typos in comments docker-ci #684: Commit c268923 pushed by mn200
December 23, 2024 22:23 2h 13m 29s develop
develop
December 23, 2024 22:23 2h 13m 29s
Avoid excessive computation for cv_eval word_lsr docker-ci-for-pr #548: Pull request #1379 opened by xrchz
December 23, 2024 21:29 2h 9m 54s cv_eval_lsr
cv_eval_lsr
December 23, 2024 21:29 2h 9m 54s
Improved subtree_equiv_lemma without subtree_equiv' docker-ci-for-pr #547: Pull request #1378 synchronize by binghe
December 23, 2024 08:37 2h 21m 53s binghe:subtree_equiv
binghe:subtree_equiv
December 23, 2024 08:37 2h 21m 53s
Improved subtree_equiv_lemma without subtree_equiv' docker-ci-for-pr #546: Pull request #1378 opened by binghe
December 22, 2024 09:26 2h 12m 0s binghe:subtree_equiv
binghe:subtree_equiv
December 22, 2024 09:26 2h 12m 0s
Add tail-recursive version of to_list for computeLib docker-ci-for-pr #545: Pull request #1377 opened by xrchz
December 20, 2024 23:21 2h 9m 9s upstreaming
upstreaming
December 20, 2024 23:21 2h 9m 9s
Merge pull request #1368 from HOL-Theorem-Prover/keccak docker-ci #683: Commit 1feeec0 pushed by mn200
December 20, 2024 04:00 2h 12m 14s master
master
December 20, 2024 04:00 2h 12m 14s
Restore to original .gitignore before changes. docker-ci #682: Commit d3fb51b pushed by mn200
December 20, 2024 02:05 2h 16m 32s develop
develop
December 20, 2024 02:05 2h 16m 32s
Update documentation in HOL4 examples docker-ci-for-pr #544: Pull request #1376 synchronize by jhlchan
December 19, 2024 10:22 2h 13m 31s jhlchan:document
jhlchan:document
December 19, 2024 10:22 2h 13m 31s
Merge pull request #1368 from HOL-Theorem-Prover/keccak docker-ci #681: Commit 1feeec0 pushed by xrchz
December 19, 2024 08:31 2h 14m 27s develop
develop
December 19, 2024 08:31 2h 14m 27s
Faster evaluation for Keccak_256_bytes docker-ci-for-pr #543: Pull request #1368 synchronize by xrchz
December 19, 2024 08:31 2h 17m 24s keccak
keccak
December 19, 2024 08:31 2h 17m 24s
Indicate correct way to implement parsing in theory add-ons docker-ci #680: Commit 2553223 pushed by mn200
December 19, 2024 06:47 2h 11m 33s master
master
December 19, 2024 06:47 2h 11m 33s
Fix pedersenCommitment example docker-ci #679: Commit 8db87d7 pushed by mn200
December 19, 2024 00:42 2h 10m 38s develop
develop
December 19, 2024 00:42 2h 10m 38s
Pedersen commitment scheme docker-ci #678: Commit dc4dcab pushed by mn200
December 19, 2024 00:22 2h 18m 30s develop
develop
December 19, 2024 00:22 2h 18m 30s
Indicate correct way to implement parsing in theory add-ons docker-ci #677: Commit 2553223 pushed by mn200
December 18, 2024 22:49 2h 13m 38s develop
develop
December 18, 2024 22:49 2h 13m 38s