Skip to content

Actions: jrh13/hol-light

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Compute.basic_compset CI #110: Pull request #123 opened by aqjune-aws
January 2, 2025 09:47 14m 9s aqjune-aws:basic_compset
aqjune-aws:basic_compset
January 2, 2025 09:47 14m 9s
Added a development of transcendence theory from Daniel J. Bernstein, CI #109: Commit 28e4aed pushed by jrh13
December 22, 2024 06:15 14m 25s master
master
December 22, 2024 06:15 14m 25s
Add check_axioms() CI #108: Pull request #120 opened by aqjune-aws
November 23, 2024 00:12 14m 32s aqjune-aws:check_axioms
aqjune-aws:check_axioms
November 23, 2024 00:12 14m 32s
Merge pull request #119 from aqjune-aws/reduce_conv CI #107: Commit 4eef6f6 pushed by jrh13
November 20, 2024 23:37 14m 28s master
master
November 20, 2024 23:37 14m 28s
Add conversions of num/int/rat/real/word that evaluate expressions using Compute CI #106: Pull request #119 synchronize by aqjune
November 18, 2024 23:54 14m 19s aqjune-aws:reduce_conv
aqjune-aws:reduce_conv
November 18, 2024 23:54 14m 19s
Add conversions of num/int/rat/real/word that evaluate expressions using Compute CI #105: Pull request #119 synchronize by aqjune-aws
November 14, 2024 19:55 14m 44s aqjune-aws:reduce_conv
aqjune-aws:reduce_conv
November 14, 2024 19:55 14m 44s
Add conversions of num/int/rat/real/word that evaluate expressions using Compute CI #104: Pull request #119 opened by aqjune-aws
November 14, 2024 19:43 15m 1s aqjune-aws:reduce_conv
aqjune-aws:reduce_conv
November 14, 2024 19:43 15m 1s
Factored the material about linear dependence, span and dimension CI #103: Commit 9eccc5e pushed by jrh13
November 7, 2024 16:54 14m 23s master
master
November 7, 2024 16:54 14m 23s
Merge pull request #118 from jargh/master CI #102: Commit c39dbfd pushed by jrh13
November 4, 2024 20:42 15m 42s master
master
November 4, 2024 20:42 15m 42s
Add saturating word conversions and word duplication CI #101: Pull request #118 opened by jargh
November 4, 2024 20:15 14m 11s jargh:master
jargh:master
November 4, 2024 20:15 14m 11s
Merge pull request #117 from jargh/master CI #100: Commit bc91659 pushed by jrh13
October 23, 2024 06:21 14m 27s master
master
October 23, 2024 06:21 14m 27s
WORD_SIMPLE_SUBWORD_CONV and related lemmas CI #99: Pull request #117 opened by jargh
October 23, 2024 00:49 14m 30s jargh:master
jargh:master
October 23, 2024 00:49 14m 30s
Merge pull request #116 from aqjune-aws/opam CI #98: Commit b5e71c0 pushed by jrh13
October 23, 2024 00:22 14m 17s master
master
October 23, 2024 00:22 14m 17s
Add opam and META files, add '-dir' to hol.sh, other updates CI #97: Pull request #116 opened by aqjune-aws
October 22, 2024 16:45 14m 57s aqjune-aws:opam
aqjune-aws:opam
October 22, 2024 16:45 14m 57s
Fixed a couple of bugs in the handling of div/rem in INT_ARITH that CI #96: Commit 32aac59 pushed by jrh13
October 17, 2024 06:16 14m 13s master
master
October 17, 2024 06:16 14m 13s
Merge pull request #115 from aqjune-aws/ocaml5 CI #95: Commit 72b2b70 pushed by jrh13
October 12, 2024 17:04 14m 15s master
master
October 12, 2024 17:04 14m 15s
Add update_database for OCaml 5, fix a bug in search, add make switch-5 CI #94: Pull request #115 synchronize by aqjune
October 11, 2024 15:38 14m 22s aqjune-aws:ocaml5
aqjune-aws:ocaml5
October 11, 2024 15:38 14m 22s
Add update_database for OCaml 5, fix a bug in search, add make switch-5 CI #93: Pull request #115 opened by aqjune-aws
October 11, 2024 14:35 14m 17s aqjune-aws:ocaml5
aqjune-aws:ocaml5
October 11, 2024 14:35 14m 17s
Merge pull request #114 from aqjune-aws/nativecomp CI #92: Commit a58b904 pushed by jrh13
October 10, 2024 23:09 14m 14s master
master
October 10, 2024 23:09 14m 14s
Support native compilation of HOL Light, add unit tests CI #91: Pull request #114 synchronize by aqjune
October 10, 2024 22:32 14m 36s aqjune-aws:nativecomp
aqjune-aws:nativecomp
October 10, 2024 22:32 14m 36s
Added a miscellaneous collection of theorems, including various ring CI #90: Commit 6f137d9 pushed by jrh13
October 10, 2024 00:34 9m 55s master
master
October 10, 2024 00:34 9m 55s
Support native compilation of HOL Light, add unit tests CI #89: Pull request #114 synchronize by aqjune
October 9, 2024 05:29 14m 13s aqjune-aws:nativecomp
aqjune-aws:nativecomp
October 9, 2024 05:29 14m 13s
Support native compilation of HOL Light, add unit tests CI #88: Pull request #114 synchronize by aqjune
October 9, 2024 05:28 12m 57s aqjune-aws:nativecomp
aqjune-aws:nativecomp
October 9, 2024 05:28 12m 57s
Support native compilation of HOL Light, add unit tests CI #87: Pull request #114 synchronize by aqjune
October 9, 2024 05:15 12m 52s aqjune-aws:nativecomp
aqjune-aws:nativecomp
October 9, 2024 05:15 12m 52s
Support native compilation of HOL Light, add unit tests CI #86: Pull request #114 synchronize by aqjune
October 9, 2024 05:00 9m 40s aqjune-aws:nativecomp
aqjune-aws:nativecomp
October 9, 2024 05:00 9m 40s