Skip to content

Actions: leanprover/LNSym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
852 workflow run results
852 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #796: Pull request #90 synchronize by bollu
August 19, 2024 23:50 8m 25s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:50 8m 25s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #795: Pull request #90 synchronize by bollu
August 19, 2024 23:24 8m 14s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:24 8m 14s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #794: Pull request #90 synchronize by bollu
August 19, 2024 23:10 3m 10s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:10 3m 10s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #793: Pull request #90 synchronize by bollu
August 19, 2024 23:09 3m 1s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:09 3m 1s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #792: Pull request #90 synchronize by bollu
August 19, 2024 23:08 3m 9s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:08 3m 9s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #791: Pull request #90 synchronize by bollu
August 19, 2024 23:04 3m 14s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 23:04 3m 14s
VCG scaffolding for the MemCpy proof Makefile CI #790: Pull request #99 opened by shigoel
August 19, 2024 22:22 9m 48s memcpy
memcpy
August 19, 2024 22:22 9m 48s
VCG scaffolding for the MemCpy proof Makefile CI #789: Commit e43f728 pushed by shigoel
August 19, 2024 22:21 7m 8s memcpy
memcpy
August 19, 2024 22:21 7m 8s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #788: Pull request #90 synchronize by bollu
August 19, 2024 21:40 3m 27s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 21:40 3m 27s
Prove the partial correctness of a small program with a loop Makefile CI #787: Pull request #91 synchronize by shigoel
August 19, 2024 21:33 3m 7s add_loop_vcg
add_loop_vcg
August 19, 2024 21:33 3m 7s
Merge branch 'main' into add_loop_vcg Makefile CI #786: Commit 3948c2d pushed by shigoel
August 19, 2024 21:33 3m 15s add_loop_vcg
add_loop_vcg
August 19, 2024 21:33 3m 15s
feat: introduce CosimM to store platform features in a cache Makefile CI #785: Pull request #98 synchronize by shigoel
August 19, 2024 21:33 7m 46s bollu:cosim-config-cache
bollu:cosim-config-cache
August 19, 2024 21:33 7m 46s
chore: remove old versions of the sym tactic, and rename the new sym1_n tactic to sym_n Makefile CI #784: Pull request #94 synchronize by alexkeizer
August 19, 2024 21:32 7m 44s alexkeizer:nuke-old-sym-tactics
alexkeizer:nuke-old-sym-tactics
August 19, 2024 21:32 7m 44s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #783: Pull request #90 synchronize by bollu
August 19, 2024 21:31 8m 40s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 21:31 8m 40s
Rework step theorem generation to be faster and cache intermediate re… docs #40: Commit 93f6a71 pushed by shigoel
August 19, 2024 21:04 4m 33s main
main
August 19, 2024 21:04 4m 33s
Rework step theorem generation to be faster and cache intermediate re… Makefile CI #782: Commit 93f6a71 pushed by shigoel
August 19, 2024 21:04 8m 0s main
main
August 19, 2024 21:04 8m 0s
feat: introduce CosimM to store platform features in a cache Makefile CI #781: Pull request #98 opened by bollu
August 19, 2024 21:02 7m 51s bollu:cosim-config-cache
bollu:cosim-config-cache
August 19, 2024 21:02 7m 51s
Prove the partial correctness of a small program with a loop Makefile CI #780: Pull request #91 synchronize by shigoel
August 19, 2024 20:57 8m 17s add_loop_vcg
add_loop_vcg
August 19, 2024 20:57 8m 17s
Add missing Copyright header for Correctness/ArmSpec.lean Makefile CI #779: Commit 950b9d5 pushed by shigoel
August 19, 2024 20:57 8m 16s add_loop_vcg
add_loop_vcg
August 19, 2024 20:57 8m 16s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #778: Pull request #92 synchronize by alexkeizer
August 19, 2024 20:55 7m 43s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 19, 2024 20:55 7m 43s
Prove the partial correctness of a small program with a loop Makefile CI #777: Pull request #91 synchronize by shigoel
August 19, 2024 20:48 7m 51s add_loop_vcg
add_loop_vcg
August 19, 2024 20:48 7m 51s
Merge branch 'main' into add_loop_vcg Makefile CI #776: Commit da148df pushed by shigoel
August 19, 2024 20:48 7m 37s add_loop_vcg
add_loop_vcg
August 19, 2024 20:48 7m 37s
feat: copy #time command from Mathlib Makefile CI #775: Pull request #93 reopened by alexkeizer
August 19, 2024 20:37 10m 14s alexkeizer:timeCmd
alexkeizer:timeCmd
August 19, 2024 20:37 10m 14s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #774: Pull request #90 synchronize by bollu
August 19, 2024 20:01 3m 35s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 20:01 3m 35s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #773: Pull request #90 synchronize by bollu
August 19, 2024 19:56 7m 53s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 19:56 7m 53s