Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
833 workflow runs
833 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more primitive proof rules docker-ci-for-pr #389: Pull request #1308 synchronize by digama0
September 22, 2024 03:01 1h 59m 29s digama0:ot_proof
digama0:ot_proof
September 22, 2024 03:01 1h 59m 29s
Remove mutability from theorem proof field docker-ci-for-pr #388: Pull request #1307 synchronize by digama0
September 22, 2024 03:00 1h 14m 36s digama0:proof_ref
digama0:proof_ref
September 22, 2024 03:00 1h 14m 36s
Add tracing kernel docker-ci-for-pr #387: Pull request #1309 synchronize by digama0
September 22, 2024 02:59 2m 33s digama0:trknl
digama0:trknl
September 22, 2024 02:59 2m 33s
Add proofs about clock for fun-op-sem/imp docker-ci-for-pr #386: Pull request #1310 opened by adamstucci
September 21, 2024 08:07 1h 59m 36s adamstucci:imp-clock
adamstucci:imp-clock
September 21, 2024 08:07 1h 59m 36s
Add tracing kernel docker-ci-for-pr #384: Pull request #1309 opened by digama0
September 21, 2024 01:43 2m 36s digama0:trknl
digama0:trknl
September 21, 2024 01:43 2m 36s
Add more primitive proof rules docker-ci-for-pr #383: Pull request #1308 opened by digama0
September 21, 2024 01:31 1h 56m 30s digama0:ot_proof
digama0:ot_proof
September 21, 2024 01:31 1h 56m 30s
Remove mutability from theorem proof field docker-ci-for-pr #382: Pull request #1307 opened by digama0
September 21, 2024 01:20 1h 13m 0s digama0:proof_ref
digama0:proof_ref
September 21, 2024 01:20 1h 13m 0s
Report error locations on unhandled exceptions docker-ci-for-pr #381: Pull request #1306 opened by digama0
September 21, 2024 01:12 1h 55m 26s digama0:exn_location
digama0:exn_location
September 21, 2024 01:12 1h 55m 26s
Remove pauses in configure script docker-ci-for-pr #380: Pull request #1305 opened by digama0
September 21, 2024 01:08 1h 57m 8s digama0:autoconf_pause
digama0:autoconf_pause
September 21, 2024 01:08 1h 57m 8s
Fixes to opentheory build docker-ci-for-pr #379: Pull request #1304 opened by digama0
September 21, 2024 01:05 1h 52m 59s digama0:otfix
digama0:otfix
September 21, 2024 01:05 1h 52m 59s
Fixed some obvious issues in Emacs related files docker-ci-for-pr #375: Pull request #1303 opened by binghe
September 19, 2024 23:54 1h 57m 21s binghe:emacs.fix
binghe:emacs.fix
September 19, 2024 23:54 1h 57m 21s
Seq vs List Correspondence docker-ci-for-pr #374: Pull request #1302 opened by adamstucci
September 19, 2024 02:34 1h 57m 32s adamstucci:equiv-PR
adamstucci:equiv-PR
September 19, 2024 02:34 1h 57m 32s
Make Thm.SPEC use lazy_beta_conv instead of beta_conv docker-ci-for-pr #373: Pull request #1301 synchronize by someplaceguy
September 13, 2024 01:50 2h 29m 17s someplaceguy:u/spec-fix
someplaceguy:u/spec-fix
September 13, 2024 01:50 2h 29m 17s
Make Thm.SPEC use lazy_beta_conv instead of beta_conv docker-ci-for-pr #372: Pull request #1301 synchronize by someplaceguy
September 13, 2024 01:49 2h 6m 52s someplaceguy:u/spec-fix
someplaceguy:u/spec-fix
September 13, 2024 01:49 2h 6m 52s
Make Thm.SPEC use lazy_beta_conv instead of beta_conv docker-ci-for-pr #371: Pull request #1301 synchronize by someplaceguy
September 13, 2024 01:47 1h 59m 45s someplaceguy:u/spec-fix
someplaceguy:u/spec-fix
September 13, 2024 01:47 1h 59m 45s
Make Thm.SPEC use lazy_beta_conv instead of beta_conv docker-ci-for-pr #370: Pull request #1301 synchronize by someplaceguy
September 13, 2024 01:43 2h 1m 21s someplaceguy:u/spec-fix
someplaceguy:u/spec-fix
September 13, 2024 01:43 2h 1m 21s
Make Thm.SPEC use lazy_beta_conv instead of beta_conv docker-ci-for-pr #369: Pull request #1301 opened by someplaceguy
September 13, 2024 01:38 1h 57m 54s someplaceguy:u/spec-fix
someplaceguy:u/spec-fix
September 13, 2024 01:38 1h 57m 54s
Add definition of r-partite graphs and in particular bipartite graphs… docker-ci #543: Commit 9043f61 pushed by mn200
September 13, 2024 01:04 1h 59m 19s develop
develop
September 13, 2024 01:04 1h 59m 19s
Add definition of r-partite graphs and in particular bipartite graphs docker-ci-for-pr #368: Pull request #1299 synchronize by binghe
September 12, 2024 11:11 2h 0m 38s binghe:bipartite_graph
binghe:bipartite_graph
September 12, 2024 11:11 2h 0m 38s
Document DB.find better, given ec5eda5de6164a and following commits docker-ci #542: Commit d683671 pushed by mn200
September 11, 2024 23:27 1h 55m 23s develop
develop
September 11, 2024 23:27 1h 55m 23s
Add definition of r-partite graphs and in particular bipartite graphs docker-ci-for-pr #367: Pull request #1299 synchronize by binghe
September 11, 2024 02:08 1h 52m 6s binghe:bipartite_graph
binghe:bipartite_graph
September 11, 2024 02:08 1h 52m 6s
Add definition of r-partite graphs and in particular bipartite graphs docker-ci-for-pr #366: Pull request #1299 opened by binghe
September 11, 2024 02:03 45m 47s binghe:bipartite_graph
binghe:bipartite_graph
September 11, 2024 02:03 45m 47s
Fix typo. docker-ci #541: Commit be2d4f0 pushed by konrad-slind
September 11, 2024 00:43 1h 56m 52s develop
develop
September 11, 2024 00:43 1h 56m 52s
Simplified code with prob_div_mul_refl lemma (#1298) docker-ci #540: Commit 14b4197 pushed by mn200
September 10, 2024 06:42 1h 56m 48s develop
develop
September 10, 2024 06:42 1h 56m 48s
Fix bug in reduceLib.NOT_CONV docker-ci #539: Commit 7bf55e0 pushed by mn200
September 10, 2024 04:08 1h 55m 51s master
master
September 10, 2024 04:08 1h 55m 51s