Skip to content

Actions: leanprover/LNSym

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
459 workflow runs
459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #84: Pull request #197 synchronize by bollu
September 26, 2024 23:47 15s simp-mem-v2
simp-mem-v2
September 26, 2024 23:47 15s
Refactor to use extractLsb' instead of extractLsb Check for copyright header #83: Pull request #191 synchronize by pennyannn
September 26, 2024 23:37 14s pennyannn:yppe/extractLsb
pennyannn:yppe/extractLsb
September 26, 2024 23:37 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #82: Pull request #197 synchronize by bollu
September 26, 2024 23:13 14s simp-mem-v2
simp-mem-v2
September 26, 2024 23:13 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #81: Pull request #197 synchronize by bollu
September 26, 2024 23:10 17s simp-mem-v2
simp-mem-v2
September 26, 2024 23:10 17s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #80: Pull request #197 synchronize by bollu
September 26, 2024 23:02 14s simp-mem-v2
simp-mem-v2
September 26, 2024 23:02 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #79: Pull request #197 synchronize by bollu
September 26, 2024 22:57 16s simp-mem-v2
simp-mem-v2
September 26, 2024 22:57 16s
feat: search for reads of *any* register when building an initial SymContext Check for copyright header #78: Pull request #200 opened by alexkeizer
September 26, 2024 22:52 11s refactor-state-monads-6
refactor-state-monads-6
September 26, 2024 22:52 11s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #77: Pull request #197 synchronize by bollu
September 26, 2024 22:35 14s simp-mem-v2
simp-mem-v2
September 26, 2024 22:35 14s
feat: LCtxSearch abstraction to search the local context in a single pass Check for copyright header #76: Pull request #189 synchronize by alexkeizer
September 26, 2024 22:21 13s refactor-state-monads-5
refactor-state-monads-5
September 26, 2024 22:21 13s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #75: Pull request #197 synchronize by bollu
September 26, 2024 22:08 14s simp-mem-v2
simp-mem-v2
September 26, 2024 22:08 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #74: Pull request #197 synchronize by bollu
September 26, 2024 22:03 12s simp-mem-v2
simp-mem-v2
September 26, 2024 22:03 12s
fix: inferStatePrefix... should default to s1 as the first intermediate state. Check for copyright header #73: Pull request #199 opened by alexkeizer
September 26, 2024 22:02 14s fix-inferstate
fix-inferstate
September 26, 2024 22:02 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #72: Pull request #197 synchronize by bollu
September 26, 2024 21:53 16s simp-mem-v2
simp-mem-v2
September 26, 2024 21:53 16s
feat: LCtxSearch abstraction to search the local context in a single pass Check for copyright header #71: Pull request #189 synchronize by alexkeizer
September 26, 2024 21:00 12s refactor-state-monads-5
refactor-state-monads-5
September 26, 2024 21:00 12s
refactor: rename Reflect folder to Sym, move SymContext to Sym/Context Check for copyright header #70: Pull request #187 synchronize by alexkeizer
September 26, 2024 21:00 14s refactor-state-monads-4
refactor-state-monads-4
September 26, 2024 21:00 14s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #69: Pull request #197 synchronize by bollu
September 26, 2024 20:58 11s simp-mem-v2
simp-mem-v2
September 26, 2024 20:58 11s
feat: add combinators for more fine-grained benchmarking Check for copyright header #68: Pull request #198 synchronize by alexkeizer
September 26, 2024 20:58 18s benchmarks-v2
benchmarks-v2
September 26, 2024 20:58 18s
feat: add combinators for more fine-grained benchmarking Check for copyright header #67: Pull request #198 synchronize by alexkeizer
September 26, 2024 20:55 15s benchmarks-v2
benchmarks-v2
September 26, 2024 20:55 15s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #66: Pull request #197 synchronize by bollu
September 26, 2024 20:40 12s simp-mem-v2
simp-mem-v2
September 26, 2024 20:40 12s
feat: Switch to using bv_decide to decide memory goals instead of bv_omega Check for copyright header #65: Pull request #197 opened by bollu
September 26, 2024 20:11 17s simp-mem-v2
simp-mem-v2
September 26, 2024 20:11 17s
feat: bitvector constant folding simprocs Check for copyright header #64: Pull request #193 synchronize by shigoel
September 26, 2024 18:54 12s address-normalization-simproc
address-normalization-simproc
September 26, 2024 18:54 12s
chore: fix geomean computation Check for copyright header #63: Pull request #196 opened by bollu
September 26, 2024 18:37 14s fix-geomean
fix-geomean
September 26, 2024 18:37 14s
feat: replace use of (evalTactic bv_omega) with a manual run of simp followed by (evalTactic omega) Check for copyright header #62: Pull request #195 opened by bollu
September 26, 2024 18:30 13s replace-simp-mem-eval-tactic
replace-simp-mem-eval-tactic
September 26, 2024 18:30 13s
feat: bitvector constant folding simprocs Check for copyright header #61: Pull request #193 synchronize by bollu
September 26, 2024 16:34 12s address-normalization-simproc
address-normalization-simproc
September 26, 2024 16:34 12s
feat: bitvector constant folding simprocs Check for copyright header #60: Pull request #193 synchronize by bollu
September 26, 2024 16:29 12s address-normalization-simproc
address-normalization-simproc
September 26, 2024 16:29 12s
ProTip! You can narrow down the results and go further in time using created:<2024-09-26 or the other filters available.