Skip to content

Actions: leanprover/LNSym

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefile.yml
2,036 workflow runs
2,036 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: simplify sym1 simplification step Makefile CI #2039: Commit 42142ef pushed by alexkeizer
October 1, 2024 01:18 14m 7s symcontext-remove-hsp
symcontext-remove-hsp
October 1, 2024 01:18 14m 7s
refactor: use searchLCtx in sym_aggregate Makefile CI #2038: Pull request #201 synchronize by alexkeizer
October 1, 2024 00:14 14m 30s refactor-state-monads-7
refactor-state-monads-7
October 1, 2024 00:14 14m 30s
refactor: use searchLCtx in sym_aggregate Makefile CI #2037: Commit ecfa1df pushed by alexkeizer
October 1, 2024 00:14 13m 58s refactor-state-monads-7
refactor-state-monads-7
October 1, 2024 00:14 13m 58s
feat: search for reads of *any* register when building an initial SymContext Makefile CI #2036: Pull request #200 synchronize by alexkeizer
October 1, 2024 00:12 13m 52s refactor-state-monads-6
refactor-state-monads-6
October 1, 2024 00:12 13m 52s
fix: remove now-redundant simp from benchmarks Makefile CI #2035: Commit 6fecfdb pushed by alexkeizer
October 1, 2024 00:12 13m 46s refactor-state-monads-6
refactor-state-monads-6
October 1, 2024 00:12 13m 46s
feat: search for reads of *any* register when building an initial SymContext Makefile CI #2034: Pull request #200 synchronize by alexkeizer
October 1, 2024 00:08 14m 4s refactor-state-monads-6
refactor-state-monads-6
October 1, 2024 00:08 14m 4s
feat: search for reads of *any* register when building an initial `Sy… Makefile CI #2033: Commit b95fe25 pushed by alexkeizer
October 1, 2024 00:08 14m 19s refactor-state-monads-6
refactor-state-monads-6
October 1, 2024 00:08 14m 19s
WIP: persistent AxEffects Makefile CI #2032: Commit e6ae775 pushed by alexkeizer
October 1, 2024 00:05 9m 6s persistent-axeffects-attempt-2
persistent-axeffects-attempt-2
October 1, 2024 00:05 9m 6s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2031: Pull request #173 synchronize by pennyannn
September 30, 2024 23:39 14m 43s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
September 30, 2024 23:39 14m 43s
Refactor to use extractLsb' instead of extractLsb Makefile CI #2030: Pull request #191 synchronize by pennyannn
September 30, 2024 23:39 14m 30s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 23:39 14m 30s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2029: Pull request #173 synchronize by pennyannn
September 30, 2024 23:39 14m 41s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
September 30, 2024 23:39 14m 41s
Refactor to use extractLsb' instead of extractLsb Makefile CI #2028: Pull request #191 synchronize by pennyannn
September 30, 2024 23:39 14m 9s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 23:39 14m 9s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Makefile CI #2027: Pull request #173 synchronize by pennyannn
September 30, 2024 23:19 3m 25s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
September 30, 2024 23:19 3m 25s
WIP: attempt to fix errors Makefile CI #2026: Commit f7a3e74 pushed by alexkeizer
September 30, 2024 23:14 46m 27s persistent-axeffects
persistent-axeffects
September 30, 2024 23:14 46m 27s
feat: search for reads of *any* register when building an initial SymContext Makefile CI #2025: Pull request #200 synchronize by alexkeizer
September 30, 2024 23:12 14m 2s refactor-state-monads-6
refactor-state-monads-6
September 30, 2024 23:12 14m 2s
Merge branch 'main' into refactor-state-monads-6 Makefile CI #2024: Commit 02e3456 pushed by alexkeizer
September 30, 2024 23:12 13m 52s refactor-state-monads-6
refactor-state-monads-6
September 30, 2024 23:12 13m 52s
Merge pull request #189 from leanprover/refactor-state-monads-5 Makefile CI #2023: Commit 16e3f4f pushed by alexkeizer
September 30, 2024 23:11 13m 41s main
main
September 30, 2024 23:11 13m 41s
Refactor to use extractLsb' instead of extractLsb Makefile CI #2022: Pull request #191 synchronize by pennyannn
September 30, 2024 23:09 14m 18s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 23:09 14m 18s
Reasoning about GCMGmultV8 (#153) Makefile CI #2021: Commit 3dffc70 pushed by shigoel
September 30, 2024 23:08 13m 57s main
main
September 30, 2024 23:08 13m 57s
Refactor to use extractLsb' instead of extractLsb Makefile CI #2020: Pull request #191 synchronize by pennyannn
September 30, 2024 23:04 14m 29s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 23:04 14m 29s
Reasoning about GCMGmultV8 Makefile CI #2019: Pull request #153 synchronize by shigoel
September 30, 2024 22:50 13m 52s gmult_sym
gmult_sym
September 30, 2024 22:50 13m 52s
Add more frame conditions to GCMGmultV8Sym proof Makefile CI #2018: Commit 366e4fa pushed by shigoel
September 30, 2024 22:50 14m 23s gmult_sym
gmult_sym
September 30, 2024 22:50 14m 23s
Reasoning about GCMGmultV8 Makefile CI #2017: Pull request #153 synchronize by shigoel
September 30, 2024 22:34 13m 45s gmult_sym
gmult_sym
September 30, 2024 22:34 13m 45s
Merge branch 'main' into gmult_sym Makefile CI #2016: Commit 52b48bb pushed by shigoel
September 30, 2024 22:34 13m 10s gmult_sym
gmult_sym
September 30, 2024 22:34 13m 10s
Syntax for stating register and memory frame conditions (#205) Makefile CI #2015: Commit 11d95ad pushed by shigoel
September 30, 2024 22:34 13m 51s main
main
September 30, 2024 22:34 13m 51s