Skip to content

Actions: jrh13/hol-light

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Zarith in OCaml 4.14 instead of Num CI #28: Pull request #94 synchronize by aqjune
April 1, 2024 15:49 7m 49s aqjune:zarith
aqjune:zarith
April 1, 2024 15:49 7m 49s
Use Zarith in OCaml 4.14 instead of Num CI #27: Pull request #94 opened by aqjune
April 1, 2024 06:57 6m 6s aqjune:zarith
aqjune:zarith
April 1, 2024 06:57 6m 6s
Added a basic bit-blasting tactic and rule to the word library, using CI #26: Commit c153f40 pushed by jrh13
March 20, 2024 00:59 7m 55s master
master
March 20, 2024 00:59 7m 55s
Added a basic implementation of BDDs as a HOL derived rule, in the new CI #25: Commit 7e9faf7 pushed by jrh13
March 17, 2024 07:17 7m 40s master
master
March 17, 2024 07:17 7m 40s
Merge pull request #93 from aqjune/makehol CI #24: Commit 2120695 pushed by jrh13
March 14, 2024 18:03 8m 19s master
master
March 14, 2024 18:03 8m 19s
Add make hol.sh that creates hol.sh running ocaml initialized with hol.ml CI #23: Pull request #93 synchronize by aqjune
March 13, 2024 17:02 8m 1s aqjune:makehol
aqjune:makehol
March 13, 2024 17:02 8m 1s
Add make hol.sh that creates hol.sh running ocaml initialized with hol.ml CI #22: Pull request #93 synchronize by aqjune
March 13, 2024 14:57 7m 57s aqjune:makehol
aqjune:makehol
March 13, 2024 14:57 7m 57s
Add make hol.sh that creates hol.sh running ocaml initialized with hol.ml CI #21: Pull request #93 opened by aqjune
March 7, 2024 21:11 7m 57s aqjune:makehol
aqjune:makehol
March 7, 2024 21:11 7m 57s
Added more word lemmas CI #20: Commit 44c12e0 pushed by jrh13
March 2, 2024 01:33 7m 45s master
master
March 2, 2024 01:33 7m 45s
Merge pull request #92 from aqjune/typevar-print CI #19: Commit c518278 pushed by jrh13
March 1, 2024 17:00 7m 56s master
master
March 1, 2024 17:00 7m 56s
Add a new flag print_types_of_subterms CI #18: Pull request #92 synchronize by aqjune
March 1, 2024 16:36 7m 48s aqjune:typevar-print
aqjune:typevar-print
March 1, 2024 16:36 7m 48s
Add a new flag print_types_of_subterms CI #17: Pull request #92 synchronize by aqjune
February 27, 2024 18:23 8m 53s aqjune:typevar-print
aqjune:typevar-print
February 27, 2024 18:23 8m 53s
Add a new flag print_types_of_subterms CI #16: Pull request #92 synchronize by aqjune
February 27, 2024 18:22 8m 0s aqjune:typevar-print
aqjune:typevar-print
February 27, 2024 18:22 8m 0s
Add a new flag print_types_of_subterms CI #15: Pull request #92 opened by aqjune
February 26, 2024 19:18 8m 1s aqjune:typevar-print
aqjune:typevar-print
February 26, 2024 19:18 8m 1s
Added some alternative definitions of Jacobian-coordinate elliptic CI #14: Commit 3d231f3 pushed by jrh13
February 22, 2024 21:38 16m 50s master
master
February 22, 2024 21:38 16m 50s
Merge pull request #91 from aqjune/define-errmsg CI #13: Commit 575f952 pushed by jrh13
February 22, 2024 00:35 8m 29s master
master
February 22, 2024 00:35 8m 29s
Merge pull request #90 from aqjune/errmsg CI #12: Commit ec54c6b pushed by jrh13
February 22, 2024 00:32 8m 49s master
master
February 22, 2024 00:32 8m 49s
Merge pull request #89 from yiyuan-cao/patch-1 CI #11: Commit 4393d50 pushed by jrh13
February 22, 2024 00:29 9m 36s master
master
February 22, 2024 00:29 9m 36s
Print "'name' is already defined" message CI #10: Pull request #91 opened by aqjune
February 19, 2024 06:09 7m 52s aqjune:define-errmsg
aqjune:define-errmsg
February 19, 2024 06:09 7m 52s
Add NAME_ASSUMS_TAC and PRINT_GOAL_TAC, improve error messages of a few decision procedures CI #9: Pull request #90 opened by aqjune
February 19, 2024 04:14 7m 44s aqjune:errmsg
aqjune:errmsg
February 19, 2024 04:14 7m 44s
Added just a few small lemmas, a couple abut machine words, and CI #7: Commit ea45176 pushed by jrh13
February 7, 2024 04:31 7m 44s master
master
February 7, 2024 04:31 7m 44s
Merge pull request #88 from aqjune/print_typed_var CI #6: Commit b2b6304 pushed by jrh13
January 13, 2024 01:55 8m 0s master
master
January 13, 2024 01:55 8m 0s
Print terms that invented types when type_invention_error is set CI #5: Pull request #88 opened by aqjune
January 12, 2024 23:54 7m 58s aqjune:print_typed_var
aqjune:print_typed_var
January 12, 2024 23:54 7m 58s
Merge pull request #87 from aqjune/checkpoint CI #4: Commit 38dd8a8 pushed by jrh13
January 12, 2024 19:11 8m 1s master
master
January 12, 2024 19:11 8m 1s
Update descriptions about checkpointing tools and other minor details CI #3: Pull request #87 synchronize by aqjune
January 11, 2024 22:06 7m 44s aqjune:checkpoint
aqjune:checkpoint
January 11, 2024 22:06 7m 44s