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

Syntax for stating register and memory frame conditions Makefile CI #2014: Pull request #205 synchronize by shigoel
September 30, 2024 22:19 13m 53s frame_cond_syntax
frame_cond_syntax
September 30, 2024 22:19 13m 53s
Remove the extra block bracket from the UNCHANGED syntax Makefile CI #2013: Commit c9ecd2d pushed by shigoel
September 30, 2024 22:19 14m 28s frame_cond_syntax
frame_cond_syntax
September 30, 2024 22:19 14m 28s
Syntax for stating register and memory frame conditions Makefile CI #2012: Pull request #205 synchronize by shigoel
September 30, 2024 22:17 13m 51s frame_cond_syntax
frame_cond_syntax
September 30, 2024 22:17 13m 51s
Merge branch 'main' into frame_cond_syntax Makefile CI #2011: Commit 959ef8b pushed by shigoel
September 30, 2024 22:17 13m 41s frame_cond_syntax
frame_cond_syntax
September 30, 2024 22:17 13m 41s
feat: bitvector constant folding simprocs (#193) Makefile CI #2010: Commit 98658e3 pushed by shigoel
September 30, 2024 21:59 13m 25s main
main
September 30, 2024 21:59 13m 25s
refactor: use searchLCtx in sym_aggregate Makefile CI #2009: Pull request #201 synchronize by shigoel
September 30, 2024 21:48 13m 55s refactor-state-monads-7
refactor-state-monads-7
September 30, 2024 21:48 13m 55s
Merge branch 'refactor-state-monads-6' into refactor-state-monads-7 Makefile CI #2008: Commit d301671 pushed by shigoel
September 30, 2024 21:48 12m 55s refactor-state-monads-7
refactor-state-monads-7
September 30, 2024 21:48 12m 55s
feat: search for reads of *any* register when building an initial SymContext Makefile CI #2007: Pull request #200 synchronize by shigoel
September 30, 2024 21:44 13m 47s refactor-state-monads-6
refactor-state-monads-6
September 30, 2024 21:44 13m 47s
Merge branch 'refactor-state-monads-5' into refactor-state-monads-6 Makefile CI #2006: Commit 46054db pushed by shigoel
September 30, 2024 21:44 14m 34s refactor-state-monads-6
refactor-state-monads-6
September 30, 2024 21:44 14m 34s
feat: LCtxSearch abstraction to search the local context in a single pass Makefile CI #2005: Pull request #189 synchronize by shigoel
September 30, 2024 21:38 14m 21s refactor-state-monads-5
refactor-state-monads-5
September 30, 2024 21:38 14m 21s
Merge branch 'main' into refactor-state-monads-5 Makefile CI #2004: Commit 903fc20 pushed by shigoel
September 30, 2024 21:38 13m 39s refactor-state-monads-5
refactor-state-monads-5
September 30, 2024 21:38 13m 39s
Refactor to use extractLsb' instead of extractLsb Makefile CI #2003: Pull request #191 synchronize by pennyannn
September 30, 2024 21:27 10m 11s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 21:27 10m 11s
feat: bitvector constant folding simprocs Makefile CI #2002: Pull request #193 synchronize by shigoel
September 30, 2024 21:13 13m 36s address-normalization-simproc
address-normalization-simproc
September 30, 2024 21:13 13m 36s
Merge branch 'main' into address-normalization-simproc Makefile CI #2001: Commit acb55c3 pushed by shigoel
September 30, 2024 21:13 14m 1s address-normalization-simproc
address-normalization-simproc
September 30, 2024 21:13 14m 1s
feat: add combinators for more fine-grained benchmarking (#198) Makefile CI #2000: Commit 1f55d94 pushed by shigoel
September 30, 2024 21:02 13m 2s main
main
September 30, 2024 21:02 13m 2s
Refactor to use extractLsb' instead of extractLsb Makefile CI #1999: Pull request #191 synchronize by pennyannn
September 30, 2024 18:52 12m 59s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 18:52 12m 59s
Refactor to use extractLsb' instead of extractLsb Makefile CI #1998: Pull request #191 synchronize by pennyannn
September 30, 2024 18:47 12m 38s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 18:47 12m 38s
Refactor to use extractLsb' instead of extractLsb Makefile CI #1997: Pull request #191 synchronize by pennyannn
September 30, 2024 18:34 12m 44s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 18:34 12m 44s
Refactor to use extractLsb' instead of extractLsb Makefile CI #1996: Pull request #191 synchronize by pennyannn
September 30, 2024 18:33 12m 50s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 18:33 12m 50s
Refactor to use extractLsb' instead of extractLsb Makefile CI #1995: Pull request #191 synchronize by pennyannn
September 30, 2024 18:26 12m 47s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 30, 2024 18:26 12m 47s
chore: bump up toolchian Makefile CI #1994: Commit 80e8c0d pushed by bollu
September 30, 2024 17:44 6m 16s simp-mem-v2
simp-mem-v2
September 30, 2024 17:44 6m 16s
chore: bump up toolchain 29/9/2024 Makefile CI #1993: Pull request #206 opened by bollu
September 30, 2024 17:44 6m 1s toolchain-bump-29-9-2024
toolchain-bump-29-9-2024
September 30, 2024 17:44 6m 1s
chore: bump up toolchain 29/9/2024 Makefile CI #1992: Commit 301a4cd pushed by bollu
September 30, 2024 17:43 6m 0s toolchain-bump-29-9-2024
toolchain-bump-29-9-2024
September 30, 2024 17:43 6m 0s
Reasoning about GCMGmultV8 Makefile CI #1991: Pull request #153 synchronize by shigoel
September 30, 2024 16:06 12m 9s gmult_sym
gmult_sym
September 30, 2024 16:06 12m 9s
Remove sorry for gcm_gmult_v8_program_run_27; simp_mem still fails Makefile CI #1990: Commit 96fb333 pushed by shigoel
September 30, 2024 16:06 12m 2s gmult_sym
gmult_sym
September 30, 2024 16:06 12m 2s