Skip to content

Actions: pennyannn/LNSym-public

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use term-mode over tactic-mode for rfl Makefile CI #156: Commit 6cf551a pushed by pennyannn
September 20, 2024 19:13 9m 37s yppe/fix-recursion
yppe/fix-recursion
September 20, 2024 19:13 9m 37s
Revert "Switch to using extractLsb' to avoid casting in the goal" Makefile CI #155: Commit ac3736d pushed by pennyannn
September 20, 2024 01:14 10m 18s yppe/gcm_init_v8
yppe/gcm_init_v8
September 20, 2024 01:14 10m 18s
Switch to using extractLsb' to avoid casting in the goal Makefile CI #154: Commit 0d3f545 pushed by pennyannn
September 20, 2024 00:53 9m 41s yppe/gcm_init_v8
yppe/gcm_init_v8
September 20, 2024 00:53 9m 41s
Add a lemma for dup_aux Makefile CI #153: Commit 1bcf287 pushed by pennyannn
September 20, 2024 00:15 9m 43s yppe/gcm_init_v8
yppe/gcm_init_v8
September 20, 2024 00:15 9m 43s
Simplify away concrete call to DPSFP.AdvSIMDExpandImm Makefile CI #152: Commit 59b02b1 pushed by pennyannn
September 19, 2024 23:45 9m 18s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 23:45 9m 18s
Remove comment Makefile CI #151: Commit 177d88d pushed by pennyannn
September 19, 2024 22:49 9m 54s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 22:49 9m 54s
Prove three shift lemmas Makefile CI #150: Commit 52cf70e pushed by pennyannn
September 19, 2024 22:41 2m 43s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 22:41 2m 43s
Prove three shift lemmas Makefile CI #149: Commit 3c9fa25 pushed by pennyannn
September 19, 2024 19:03 10m 8s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 19:03 10m 8s
Prove three shift lemmas Makefile CI #148: Commit aa2e5f0 pushed by pennyannn
September 19, 2024 18:52 10m 18s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 18:52 10m 18s
Prove three shift lemmas Makefile CI #147: Commit 7db5140 pushed by pennyannn
September 19, 2024 18:49 9m 37s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 18:49 9m 37s
Addressing Alex's review Makefile CI #146: Commit 53024ec pushed by pennyannn
September 19, 2024 17:13 10m 14s yppe/fix-recursion
yppe/fix-recursion
September 19, 2024 17:13 10m 14s
Prove three shift lemmas Makefile CI #145: Commit bd6fd9a pushed by pennyannn
September 19, 2024 17:13 10m 40s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 17:13 10m 40s
feat: Decidable instances for mem_legal', mem_subset', mem_separate' … Makefile CI #144: Commit 9580cd7 pushed by pennyannn
September 19, 2024 17:12 10m 22s main
main
September 19, 2024 17:12 10m 22s
feat: Decidable instances for mem_legal', mem_subset', mem_separate' … docs #23: Commit 9580cd7 pushed by pennyannn
September 19, 2024 17:12 7m 16s main
main
September 19, 2024 17:12 7m 16s
Prove three shift lemmas Makefile CI #143: Commit cfb2467 pushed by pennyannn
September 19, 2024 04:57 9m 42s yppe/gcm_init_v8
yppe/gcm_init_v8
September 19, 2024 04:57 9m 42s
Addressing Alex's review Makefile CI #142: Commit b25364b pushed by pennyannn
September 19, 2024 04:57 9m 38s yppe/fix-recursion
yppe/fix-recursion
September 19, 2024 04:57 9m 38s
chore: add q0..4 accessors for registers [4/? memcpy] (#166) docs #22: Commit 5f6bd3b pushed by pennyannn
September 19, 2024 04:57 7m 10s main
main
September 19, 2024 04:57 7m 10s
chore: add q0..4 accessors for registers [4/? memcpy] (#166) Makefile CI #141: Commit 5f6bd3b pushed by pennyannn
September 19, 2024 04:57 10m 12s main
main
September 19, 2024 04:57 10m 12s
Addressing Alex's review Makefile CI #140: Commit ede207a pushed by pennyannn
September 19, 2024 04:56 9m 46s yppe/fix-recursion
yppe/fix-recursion
September 19, 2024 04:56 9m 46s
Use structural recursion and rfl Makefile CI #139: Commit 82d9460 pushed by pennyannn
September 16, 2024 19:27 9m 40s yppe/fix-recursion
yppe/fix-recursion
September 16, 2024 19:27 9m 40s
Playing with the RShr proof Makefile CI #138: Commit 207c2c5 pushed by pennyannn
September 16, 2024 18:20 7m 12s yppe/gcm_init_v8
yppe/gcm_init_v8
September 16, 2024 18:20 7m 12s
Remove explicit caching of .lake folder; enable use of Github cache (… docs #21: Commit 8f5ea59 pushed by pennyannn
September 16, 2024 18:19 7m 7s main
main
September 16, 2024 18:19 7m 7s
Remove explicit caching of .lake folder; enable use of Github cache (… Makefile CI #137: Commit 8f5ea59 pushed by pennyannn
September 16, 2024 18:19 10m 5s main
main
September 16, 2024 18:19 10m 5s
Playing with the RShr proof Makefile CI #136: Commit e7158c5 pushed by pennyannn
September 13, 2024 19:16 7m 1s yppe/gcm_init_v8
yppe/gcm_init_v8
September 13, 2024 19:16 7m 1s
Playing with the RShr proof Makefile CI #135: Commit 446c944 pushed by pennyannn
September 13, 2024 01:52 2m 46s yppe/gcm_init_v8
yppe/gcm_init_v8
September 13, 2024 01:52 2m 46s