Skip to content

Actions: jrh13/hol-light

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support HOL Light checkpointing CI #126: Pull request #127 synchronize by aqjune-aws
March 5, 2025 22:23 14m 29s aqjune-aws:ckpt2
aqjune-aws:ckpt2
March 5, 2025 22:23 14m 29s
Support HOL Light checkpointing CI #124: Pull request #127 synchronize by aqjune
February 21, 2025 15:14 14m 15s aqjune-aws:ckpt2
aqjune-aws:ckpt2
February 21, 2025 15:14 14m 15s
Merge pull request #126 from aqjune-aws/find_index CI #123: Commit c5e165f pushed by jrh13
February 21, 2025 05:07 14m 36s master
master
February 21, 2025 05:07 14m 36s
Support HOL Light checkpointing CI #122: Pull request #127 synchronize by aqjune-aws
February 21, 2025 02:43 14m 44s aqjune-aws:ckpt2
aqjune-aws:ckpt2
February 21, 2025 02:43 14m 44s
Support HOL Light checkpointing CI #121: Pull request #127 opened by aqjune-aws
February 20, 2025 06:42 14m 28s aqjune-aws:ckpt2
aqjune-aws:ckpt2
February 20, 2025 06:42 14m 28s
Add find_index CI #120: Pull request #126 synchronize by aqjune
February 19, 2025 23:50 14m 31s aqjune-aws:find_index
aqjune-aws:find_index
February 19, 2025 23:50 14m 31s
Add find_index CI #119: Pull request #126 opened by aqjune-aws
February 19, 2025 21:39 14m 18s aqjune-aws:find_index
aqjune-aws:find_index
February 19, 2025 21:39 14m 18s
Merge pull request #125 from jargh/master CI #118: Commit 868b802 pushed by jrh13
February 15, 2025 18:34 14m 24s master
master
February 15, 2025 18:34 14m 24s
Handle signed operations in bit-blasting, avoid size limits for BDDs CI #117: Pull request #125 opened by jargh
February 14, 2025 21:58 14m 21s jargh:master
jargh:master
February 14, 2025 21:58 14m 21s
Merge pull request #124 from aqjune-aws/benignredef CI #116: Commit 5b42da4 pushed by jrh13
February 7, 2025 21:33 14m 15s master
master
February 7, 2025 21:33 14m 15s
Fix 'defining multiple functions' error when a polymorphic type const is defined CI #115: Pull request #124 synchronize by aqjune
February 7, 2025 17:50 14m 12s aqjune-aws:benignredef
aqjune-aws:benignredef
February 7, 2025 17:50 14m 12s
Fix 'defining multiple functions' error when a polymorphic type const is defined CI #114: Pull request #124 opened by aqjune-aws
February 6, 2025 15:15 13m 53s aqjune-aws:benignredef
aqjune-aws:benignredef
February 6, 2025 15:15 13m 53s
Merge pull request #123 from aqjune-aws/basic_compset CI #113: Commit ff2a16b pushed by jrh13
January 23, 2025 17:08 14m 9s master
master
January 23, 2025 17:08 14m 9s
Add Compute.basic_compset CI #112: Pull request #123 synchronize by aqjune
January 22, 2025 01:29 14m 13s aqjune-aws:basic_compset
aqjune-aws:basic_compset
January 22, 2025 01:29 14m 13s
Merge pull request #120 from aqjune-aws/check_axioms CI #111: Commit e30bdd3 pushed by jrh13
January 22, 2025 01:11 14m 17s master
master
January 22, 2025 01:11 14m 17s
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