Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #345: Pull request #43 synchronize by alexkeizer
January 24, 2025 17:33 37s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 17:33 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #344: Pull request #43 synchronize by alexkeizer
January 24, 2025 17:32 34s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 17:32 34s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #343: Pull request #43 synchronize by alexkeizer
January 24, 2025 17:30 37s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 17:30 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #342: Pull request #43 synchronize by alexkeizer
January 24, 2025 17:19 34s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 17:19 34s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #341: Pull request #43 synchronize by alexkeizer
January 24, 2025 16:51 33s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 16:51 33s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #340: Pull request #43 synchronize by alexkeizer
January 24, 2025 16:50 35s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 16:50 35s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #339: Pull request #43 synchronize by alexkeizer
January 24, 2025 16:43 38s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 16:43 38s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #338: Pull request #43 synchronize by alexkeizer
January 24, 2025 15:10 37s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 15:10 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #337: Pull request #43 synchronize by alexkeizer
January 24, 2025 15:08 39s ac-rfl-term-sharing
ac-rfl-term-sharing
January 24, 2025 15:08 39s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #336: Pull request #43 synchronize by alexkeizer
January 23, 2025 13:26 35s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 13:26 35s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #335: Pull request #43 synchronize by alexkeizer
January 23, 2025 12:47 34s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 12:47 34s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #334: Pull request #43 synchronize by alexkeizer
January 23, 2025 12:22 35s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 12:22 35s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #333: Pull request #43 synchronize by alexkeizer
January 23, 2025 12:20 37s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 12:20 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #332: Pull request #43 synchronize by alexkeizer
January 23, 2025 12:20 38s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 12:20 38s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #331: Pull request #43 synchronize by alexkeizer
January 23, 2025 11:13 40s ac-rfl-term-sharing
ac-rfl-term-sharing
January 23, 2025 11:13 40s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #330: Pull request #43 synchronize by alexkeizer
January 22, 2025 17:51 37s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:51 37s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #329: Pull request #43 synchronize by alexkeizer
January 22, 2025 17:36 36s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:36 36s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #328: Pull request #43 opened by alexkeizer
January 22, 2025 17:34 40s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:34 40s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check for copyright header #327: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 37s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 37s
feat: toNat theorems for rotateLeft and rotateRight Check for copyright header #326: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 35s rotate
rotate
January 9, 2025 20:53 35s
feat: toNat theorems for rotateLeft and rotateRight Check for copyright header #325: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 31s rotate
rotate
January 9, 2025 20:47 31s
feat: toNat theorems for rotateLeft and rotateRight Check for copyright header #324: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 32s rotate
rotate
January 9, 2025 20:47 32s
feat: Add BitVector overflow predicates from SMT-LIB. Check for copyright header #323: Pull request #41 synchronize by bollu
January 6, 2025 20:13 33s overflow-defs
overflow-defs
January 6, 2025 20:13 33s
feat: Add BitVector overflow predicates from SMT-LIB. Check for copyright header #322: Pull request #41 opened by bollu
January 6, 2025 11:52 33s overflow-defs
overflow-defs
January 6, 2025 11:52 33s
feat: BitVec.toInt_concat and BitVec.toFin_concat Check for copyright header #321: Pull request #40 synchronize by mhk119
December 16, 2024 12:43 35s concat
concat
December 16, 2024 12:43 35s