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 pandoc flag to cheatsheet generation docker-ci-for-pr #429: Pull request #1331 opened by hrutvik
November 5, 2024 09:51 2h 12m 28s hrutvik:cheatsheet-pandoc-fix
hrutvik:cheatsheet-pandoc-fix
November 5, 2024 09:51 2h 12m 28s
Add a cute problem to examples/misc docker-ci #603: Commit 2de6b3c pushed by mn200
October 31, 2024 05:06 2h 9m 10s master
master
October 31, 2024 05:06 2h 9m 10s
Add a cute problem to examples/misc docker-ci #602: Commit 2de6b3c pushed by mn200
October 30, 2024 04:37 3h 31m 0s develop
develop
October 30, 2024 04:37 3h 31m 0s
mllex: write accepting branches in source order docker-ci #601: Commit a1ea6a0 pushed by mn200
October 30, 2024 03:56 2h 16m 37s master
master
October 30, 2024 03:56 2h 16m 37s
mllex: write accepting branches in source order docker-ci #600: Commit a1ea6a0 pushed by mn200
October 28, 2024 06:12 2h 17m 14s develop
develop
October 28, 2024 06:12 2h 17m 14s
Remove many TABs under tools/ docker-ci #599: Commit 5f7cdc6 pushed by mn200
October 28, 2024 06:09 2h 15m 36s develop
develop
October 28, 2024 06:09 2h 15m 36s
Strengthen conc_lemma and add language conversions to simp docker-ci #598: Commit b021270 pushed by mn200
October 28, 2024 01:05 2h 8m 21s develop
develop
October 28, 2024 01:05 2h 8m 21s
Allow passing .sig files to hol docker-ci #597: Commit f1aefbd pushed by mn200
October 28, 2024 00:30 2h 7m 22s develop
develop
October 28, 2024 00:30 2h 7m 22s
fix doc docker-ci #596: Commit d5d7697 pushed by mn200
October 28, 2024 00:24 2h 9m 35s develop
develop
October 28, 2024 00:24 2h 9m 35s
Revert "Make it apparent (with Poly/ML for now) that Arbint.int = Int… docker-ci #595: Commit d313757 pushed by mn200
October 28, 2024 00:03 2h 13m 20s develop
develop
October 28, 2024 00:03 2h 13m 20s
Provide toReal for Moscow ML Arb{int,num} docker-ci #594: Commit f7bb5bb pushed by mn200
October 27, 2024 23:54 1h 7m 35s develop
develop
October 27, 2024 23:54 1h 7m 35s
Don't attempt to compile src/portableML/JSON code under Moscow ML docker-ci #593: Commit 3ec6fe2 pushed by mn200
October 27, 2024 23:50 1h 11m 41s develop
develop
October 27, 2024 23:50 1h 11m 41s
Fix repl Holmakefile to run all tests; use diff -a docker-ci #592: Commit 8dd3e49 pushed by mn200
October 27, 2024 23:18 1h 42m 14s develop
develop
October 27, 2024 23:18 1h 42m 14s
fix doc docker-ci-for-pr #428: Pull request #1329 opened by digama0
October 26, 2024 00:38 2h 9m 36s digama0:docfix
digama0:docfix
October 26, 2024 00:38 2h 9m 36s
mllex: write accepting branches in source order docker-ci-for-pr #427: Pull request #1328 opened by digama0
October 25, 2024 17:46 2m 56s digama0:mllex_order
digama0:mllex_order
October 25, 2024 17:46 2m 56s
Allow passing .sig files to hol docker-ci-for-pr #426: Pull request #1327 opened by digama0
October 25, 2024 11:53 2h 10m 14s digama0:build_sig
digama0:build_sig
October 25, 2024 11:53 2h 10m 14s
Add alternative imperative example and proofs of equivalence with fun-op-sem/imp docker-ci-for-pr #425: Pull request #1321 synchronize by adamstucci
October 25, 2024 08:30 3m 43s adamstucci:listImp
adamstucci:listImp
October 25, 2024 08:30 3m 43s
A couple of useful theorems about NUM_CEILING docker-ci #591: Commit 4fe6a2a pushed by mn200
October 25, 2024 06:47 2h 14m 13s develop
develop
October 25, 2024 06:47 2h 14m 13s
Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int docker-ci #590: Commit e38b007 pushed by mn200
October 25, 2024 00:33 2h 15m 22s develop
develop
October 25, 2024 00:33 2h 15m 22s
- full proof of equiv between regular and finite state langs docker-ci #589: Commit 729e1b5 pushed by konrad-slind
October 24, 2024 07:40 2h 10m 12s develop
develop
October 24, 2024 07:40 2h 10m 12s
Avoid double computeLib entry for word_exp docker-ci #588: Commit 783678f pushed by xrchz
October 22, 2024 19:53 2h 5m 6s develop
develop
October 22, 2024 19:53 2h 5m 6s
Add a version of the SML/NJ JSON library to src/portableML docker-ci #587: Commit 35902c7 pushed by mn200
October 21, 2024 02:13 2h 5m 48s develop
develop
October 21, 2024 02:13 2h 5m 48s
Add new definition: word_exp docker-ci-for-pr #424: Pull request #1326 synchronize by xrchz
October 20, 2024 12:21 2h 12m 10s word_exp
word_exp
October 20, 2024 12:21 2h 12m 10s
Add new definition: word_exp docker-ci-for-pr #423: Pull request #1326 synchronize by xrchz
October 20, 2024 12:19 2h 10m 2s word_exp
word_exp
October 20, 2024 12:19 2h 10m 2s
Add new definition: word_exp docker-ci-for-pr #422: Pull request #1326 synchronize by xrchz
October 20, 2024 12:16 2h 9m 2s word_exp
word_exp
October 20, 2024 12:16 2h 9m 2s