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

Implement a decision procedure for memory reads/write via omega Makefile CI #725: Pull request #56 synchronize by bollu
August 16, 2024 19:59 3m 17s bollu:experiment-memory-aliasing-via-omega
bollu:experiment-memory-aliasing-via-omega
August 16, 2024 19:59 3m 17s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #724: Pull request #92 synchronize by alexkeizer
August 16, 2024 19:58 7m 9s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:58 7m 9s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #723: Pull request #92 synchronize by alexkeizer
August 16, 2024 19:57 8m 11s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:57 8m 11s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #722: Pull request #92 synchronize by alexkeizer
August 16, 2024 19:48 8m 30s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:48 8m 30s
feat: copy #time command from Mathlib Makefile CI #721: Pull request #93 opened by alexkeizer
August 16, 2024 19:44 7m 3s alexkeizer:timeCmd
alexkeizer:timeCmd
August 16, 2024 19:44 7m 3s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #720: Pull request #92 synchronize by alexkeizer
August 16, 2024 19:42 7m 3s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:42 7m 3s
Prove the partial correctness of a small program with a loop Makefile CI #719: Pull request #91 synchronize by shigoel
August 16, 2024 19:37 7m 11s add_loop_vcg
add_loop_vcg
August 16, 2024 19:37 7m 11s
Cosim: Print uniqueBaseName in case of a mismatch Makefile CI #718: Commit a93740d pushed by shigoel
August 16, 2024 19:37 8m 20s add_loop_vcg
add_loop_vcg
August 16, 2024 19:37 8m 20s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #717: Pull request #92 synchronize by alexkeizer
August 16, 2024 19:33 8m 10s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:33 8m 10s
Rework step theorem generation to be faster and cache intermediate results to the environment Makefile CI #716: Pull request #92 opened by alexkeizer
August 16, 2024 19:32 8m 24s alexkeizer:better-fetch-theorem-gen
alexkeizer:better-fetch-theorem-gen
August 16, 2024 19:32 8m 24s
Implement a decision procedure for memory reads/write via omega Makefile CI #715: Pull request #56 synchronize by bollu
August 16, 2024 18:55 8m 3s bollu:experiment-memory-aliasing-via-omega
bollu:experiment-memory-aliasing-via-omega
August 16, 2024 18:55 8m 3s
Implement a decision procedure for memory reads/write via omega Makefile CI #714: Pull request #56 synchronize by bollu
August 16, 2024 18:48 7m 11s bollu:experiment-memory-aliasing-via-omega
bollu:experiment-memory-aliasing-via-omega
August 16, 2024 18:48 7m 11s
Implement a decision procedure for memory reads/write via omega Makefile CI #713: Pull request #56 synchronize by bollu
August 16, 2024 18:25 8m 16s bollu:experiment-memory-aliasing-via-omega
bollu:experiment-memory-aliasing-via-omega
August 16, 2024 18:25 8m 16s
Prove the partial correctness of a small program with a loop Makefile CI #712: Pull request #91 synchronize by shigoel
August 16, 2024 17:32 7m 31s add_loop_vcg
add_loop_vcg
August 16, 2024 17:32 7m 31s
Merge branch 'main' into add_loop_vcg Makefile CI #711: Commit c9db156 pushed by shigoel
August 16, 2024 17:32 9m 45s add_loop_vcg
add_loop_vcg
August 16, 2024 17:32 9m 45s
Implement a decision procedure for memory reads/write via omega Makefile CI #710: Pull request #56 synchronize by shigoel
August 16, 2024 16:06 8m 56s bollu:experiment-memory-aliasing-via-omega
bollu:experiment-memory-aliasing-via-omega
August 16, 2024 16:06 8m 56s
Added bit twiddling hacks proofs using bv_decide (#85) docs #37: Commit 9f261d1 pushed by shigoel
August 16, 2024 16:06 3m 59s main
main
August 16, 2024 16:06 3m 59s
Added bit twiddling hacks proofs using bv_decide (#85) Makefile CI #709: Commit 9f261d1 pushed by shigoel
August 16, 2024 16:06 8m 37s main
main
August 16, 2024 16:06 8m 37s
Added bit twiddling hacks proofs using bv_decide Makefile CI #708: Pull request #85 synchronize by shigoel
August 16, 2024 15:56 7m 4s nwetzler:bit_twiddling
nwetzler:bit_twiddling
August 16, 2024 15:56 7m 4s
Added bit twiddling hacks proofs using bv_decide Makefile CI #707: Pull request #85 synchronize by shigoel
August 16, 2024 15:55 7m 48s nwetzler:bit_twiddling
nwetzler:bit_twiddling
August 16, 2024 15:55 7m 48s
Added bit twiddling hacks proofs using bv_decide Makefile CI #706: Pull request #85 synchronize by shigoel
August 16, 2024 15:45 8m 50s nwetzler:bit_twiddling
nwetzler:bit_twiddling
August 16, 2024 15:45 8m 50s
Added bit twiddling hacks proofs using bv_decide Makefile CI #705: Pull request #85 synchronize by shigoel
August 16, 2024 15:45 8m 59s nwetzler:bit_twiddling
nwetzler:bit_twiddling
August 16, 2024 15:45 8m 59s
Added bit twiddling hacks proofs using bv_decide Makefile CI #704: Pull request #85 synchronize by shigoel
August 16, 2024 15:45 8m 13s nwetzler:bit_twiddling
nwetzler:bit_twiddling
August 16, 2024 15:45 8m 13s
github_actions in /. - Update #870236436 Dependabot Updates #17: by dependabot bot
August 16, 2024 09:35 48s main
main
August 16, 2024 09:35 48s
Prove the partial correctness of a small program with a loop Makefile CI #703: Pull request #91 opened by shigoel
August 16, 2024 05:23 7m 20s add_loop_vcg
add_loop_vcg
August 16, 2024 05:23 7m 20s