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

Move LT_EXISTS and LE_EXISTS theorems to arithmetic only docker-ci #707: Commit 33fff86 pushed by mn200
January 23, 2025 23:34 In progress develop
develop
January 23, 2025 23:34 In progress
[ltree] More supporting theorems for rose trees docker-ci-for-pr #560: Pull request #1389 opened by binghe
January 23, 2025 05:32 2h 0m 4s binghe:ltree_enrich
binghe:ltree_enrich
January 23, 2025 05:32 2h 0m 4s
Fix a Moscow ML compilation error from recent changes docker-ci #706: Commit 6c4ef89 pushed by mn200
January 23, 2025 03:49 2h 6m 11s develop
develop
January 23, 2025 03:49 2h 6m 11s
Finish (?) refactoring of theory-reading code docker-ci #705: Commit 8f3db54 pushed by mn200
January 23, 2025 00:32 2h 0m 29s develop
develop
January 23, 2025 00:32 2h 0m 29s
Include files that should have appeared in previous commit docker-ci #704: Commit 77c1bc8 pushed by mn200
January 23, 2025 00:02 2m 37s develop
develop
January 23, 2025 00:02 2m 37s
Refactor more theory-reading code docker-ci #703: Commit 41e0bdc pushed by mn200
January 22, 2025 23:51 2m 18s develop
develop
January 22, 2025 23:51 2m 18s
Clean up stringScript.sml further docker-ci #702: Commit ec5d0e6 pushed by mn200
January 22, 2025 01:26 2h 4m 7s develop
develop
January 22, 2025 01:26 2h 4m 7s
[lambda] agree_upto_thm docker-ci #701: Commit 8ae9192 pushed by mn200
January 21, 2025 22:54 2h 0m 34s develop
develop
January 21, 2025 22:54 2h 0m 34s
Remove some more adjoin_to* (from pairScript.sml) docker-ci #700: Commit 5c11317 pushed by mn200
January 21, 2025 22:34 2h 5m 36s master
master
January 21, 2025 22:34 2h 5m 36s
[lambda] agree_upto_thm docker-ci-for-pr #559: Pull request #1388 opened by binghe
January 21, 2025 13:19 2h 1m 47s binghe:agree_upto_thm
binghe:agree_upto_thm
January 21, 2025 13:19 2h 1m 47s
Remove some more adjoin_to* (from pairScript.sml) docker-ci #699: Commit 5c11317 pushed by mn200
January 20, 2025 23:56 2h 0m 46s develop
develop
January 20, 2025 23:56 2h 0m 46s
fix linebreak in holindex if rule exceeds line length docker-ci-for-pr #558: Pull request #1387 opened by rsoeldner
January 20, 2025 19:29 2h 1m 3s rsoeldner:fix-holindex-rule
rsoeldner:fix-holindex-rule
January 20, 2025 19:29 2h 1m 3s
Continue to refactor TheoryReader code docker-ci #698: Commit 09f9535 pushed by mn200
January 19, 2025 23:11 2h 1m 38s master
master
January 19, 2025 23:11 2h 1m 38s
Continue to refactor TheoryReader code docker-ci #697: Commit 09f9535 pushed by mn200
January 16, 2025 22:31 2h 4m 38s develop
develop
January 16, 2025 22:31 2h 4m 38s
Refactor theory-reading API docker-ci #696: Commit d2fbffc pushed by mn200
January 15, 2025 23:12 2h 2m 18s develop
develop
January 15, 2025 23:12 2h 2m 18s
sigma protocol docker-ci-for-pr #557: Pull request #1386 opened by rm720
January 12, 2025 01:19 2h 0m 5s rm720:sigma-protocol
rm720:sigma-protocol
January 12, 2025 01:19 2h 0m 5s
Sigma Protocol Theory docker-ci-for-pr #556: Pull request #1385 synchronize by rm720
January 11, 2025 09:35 2h 6m 15s rm720:develop
rm720:develop
January 11, 2025 09:35 2h 6m 15s
Sigma Protocol Theory docker-ci-for-pr #555: Pull request #1385 opened by rm720
January 11, 2025 09:16 2h 3m 3s rm720:develop
rm720:develop
January 11, 2025 09:16 2h 3m 3s
Hilbert axioms and geometry theorems docker-ci-for-pr #554: Pull request #1384 opened by lizdoki
January 10, 2025 02:20 Action required lizdoki:develop
lizdoki:develop
January 10, 2025 02:20 Action required
Remove some uses of Theory.adjoin* docker-ci #695: Commit defd113 pushed by mn200
January 9, 2025 04:03 2h 14m 47s master
master
January 9, 2025 04:03 2h 14m 47s
Remove some uses of Theory.adjoin* docker-ci #694: Commit defd113 pushed by mn200
January 8, 2025 00:50 2h 14m 56s develop
develop
January 8, 2025 00:50 2h 14m 56s
[lambda] remove non-standard is_ready'; move equivalent_def, etc. out… docker-ci #693: Commit da2d9a2 pushed by mn200
January 7, 2025 22:36 2h 13m 30s master
master
January 7, 2025 22:36 2h 13m 30s
Update INCLUDES-lines in formal-languages/regular's Holmakefile docker-ci #692: Commit e0c9e4e pushed by mn200
January 6, 2025 23:02 2h 11m 45s master
master
January 6, 2025 23:02 2h 11m 45s
Tweak cheatsheet generation docker-ci-for-pr #553: Pull request #1382 synchronize by hrutvik
January 6, 2025 19:13 2h 13m 30s hrutvik:cheatsheet-pandoc-tweaks
hrutvik:cheatsheet-pandoc-tweaks
January 6, 2025 19:13 2h 13m 30s
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