Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
791 workflow runs
791 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 CI #791: Pull request #43 synchronize by alexkeizer
January 22, 2025 17:51 33m 39s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:51 33m 39s
feat: implement ac_nf!, an alternative normalizer that takes terms shared across both sides of an equality into account CI #790: Pull request #43 synchronize by alexkeizer
January 22, 2025 17:36 14m 59s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:36 14m 59s
perf: fast path for multiplication with constants in bv_decide (#6739) CI #789: Commit 6ebce42 pushed by alexkeizer
January 22, 2025 17:35 56m 1s master
master
January 22, 2025 17:35 56m 1s
feat: implement ac_nf!, an alternative normalizer that takes terms shared across both sides of an equality into account CI #788: Pull request #43 opened by alexkeizer
January 22, 2025 17:34 2m 48s ac-rfl-term-sharing
ac-rfl-term-sharing
January 22, 2025 17:34 2m 48s
CI CI #787: Scheduled
January 22, 2025 07:01 21s master
master
January 22, 2025 07:01 21s
CI CI #786: Scheduled
January 21, 2025 07:01 25s master
master
January 21, 2025 07:01 25s
CI CI #785: Scheduled
January 20, 2025 07:01 27s master
master
January 20, 2025 07:01 27s
CI CI #784: Scheduled
January 19, 2025 07:01 25s master
master
January 19, 2025 07:01 25s
CI CI #783: Scheduled
January 18, 2025 07:01 20s master
master
January 18, 2025 07:01 20s
CI CI #782: Scheduled
January 17, 2025 07:01 20s master
master
January 17, 2025 07:01 20s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… CI #781: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 40m 31s master
master
January 16, 2025 16:31 40m 31s
CI CI #780: Scheduled
January 16, 2025 07:01 19s master
master
January 16, 2025 07:01 19s
CI CI #779: Scheduled
January 15, 2025 07:01 26s master
master
January 15, 2025 07:01 26s
CI CI #778: Scheduled
January 14, 2025 07:01 22s master
master
January 14, 2025 07:01 22s
fix: adjustments to the datetime library (#6431) CI #777: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 35m 37s master
master
January 13, 2025 13:29 35m 37s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) CI #776: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 25m 50s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 25m 50s
CI CI #775: Scheduled
January 13, 2025 07:01 23s master
master
January 13, 2025 07:01 23s
CI CI #774: Scheduled
January 12, 2025 07:01 23s master
master
January 12, 2025 07:01 23s
CI CI #773: Scheduled
January 11, 2025 07:01 24s master
master
January 11, 2025 07:01 24s
CI CI #772: Scheduled
January 10, 2025 07:01 25s master
master
January 10, 2025 07:01 25s
feat: toNat theorems for rotateLeft and rotateRight CI #771: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 38m 3s rotate
rotate
January 9, 2025 20:53 38m 3s
feat: toNat theorems for rotateLeft and rotateRight CI #770: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 5m 54s rotate
rotate
January 9, 2025 20:47 5m 54s
feat: toNat theorems for rotateLeft and rotateRight CI #769: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 25s rotate
rotate
January 9, 2025 20:47 25s
CI CI #768: Scheduled
January 9, 2025 07:01 22s master
master
January 9, 2025 07:01 22s
CI CI #767: Scheduled
January 8, 2025 07:01 21s master
master
January 8, 2025 07:01 21s