Skip to content

Actions: opencompl/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… Nix CI #393: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 39m 43s master
master
January 16, 2025 16:31 39m 43s
fix: adjustments to the datetime library (#6431) Nix CI #392: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 38m 7s master
master
January 13, 2025 13:29 38m 7s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Nix CI #391: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 37m 8s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 37m 8s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #390: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 48m 48s rotate
rotate
January 9, 2025 20:53 48m 48s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #389: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 5m 52s rotate
rotate
January 9, 2025 20:47 5m 52s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #388: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 20s rotate
rotate
January 9, 2025 20:47 20s
feat: Add BitVector overflow predicates from SMT-LIB. Nix CI #387: Pull request #41 synchronize by bollu
January 6, 2025 20:13 21m 44s overflow-defs
overflow-defs
January 6, 2025 20:13 21m 44s
feat: release checklist script (#6542) Nix CI #386: Commit 78ddee9 pushed by bollu
January 6, 2025 12:28 48m 37s master
master
January 6, 2025 12:28 48m 37s
feat: Add BitVector overflow predicates from SMT-LIB. Nix CI #385: Pull request #41 opened by bollu
January 6, 2025 11:52 48m 20s overflow-defs
overflow-defs
January 6, 2025 11:52 48m 20s
feat: BitVec.toInt_concat and BitVec.toFin_concat Nix CI #384: Pull request #40 synchronize by mhk119
December 16, 2024 12:43 2m 28s concat
concat
December 16, 2024 12:43 2m 28s
feat : toInt_shiftLeft theorem Nix CI #383: Pull request #37 synchronize by mhk119
December 16, 2024 09:21 21m 49s toInt_shiftLeft
toInt_shiftLeft
December 16, 2024 09:21 21m 49s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #382: Pull request #38 synchronize by mhk119
December 16, 2024 09:10 22m 38s rotate
rotate
December 16, 2024 09:10 22m 38s
feat: BitVec.toInt_sshiftRight Nix CI #381: Pull request #39 synchronize by mhk119
December 10, 2024 00:17 23m 22s sshiftright
sshiftright
December 10, 2024 00:17 23m 22s
feat: BitVec.toInt_sshiftRight Nix CI #380: Pull request #39 opened by mhk119
December 10, 2024 00:15 2m 14s sshiftright
sshiftright
December 10, 2024 00:15 2m 14s
feat : toInt_shiftLeft theorem Nix CI #379: Pull request #37 synchronize by mhk119
December 9, 2024 19:20 3m 52s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 19:20 3m 52s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #378: Pull request #38 synchronize by mhk119
December 9, 2024 19:18 3m 41s rotate
rotate
December 9, 2024 19:18 3m 41s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #377: Pull request #38 synchronize by mhk119
December 9, 2024 17:49 23m 42s rotate
rotate
December 9, 2024 17:49 23m 42s
feat : toInt_shiftLeft theorem Nix CI #376: Pull request #37 synchronize by mhk119
December 9, 2024 17:45 26m 4s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:45 26m 4s
feat : toInt_shiftLeft theorem Nix CI #375: Pull request #37 synchronize by mhk119
December 9, 2024 17:43 2m 25s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:43 2m 25s
feat : toInt_shiftLeft theorem Nix CI #374: Pull request #37 synchronize by mhk119
December 9, 2024 17:40 3m 38s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:40 3m 38s
feat: add BitVec.toFin_append Nix CI #373: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:55 2m 33s bv_append
bv_append
December 8, 2024 15:55 2m 33s
feat: add BitVec.toFin_append Nix CI #372: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:18 2m 15s bv_append
bv_append
December 8, 2024 15:18 2m 15s
feat: add BitVec.toFin_append Nix CI #371: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 13:03 2m 15s bv_append
bv_append
December 8, 2024 13:03 2m 15s
feat: toNat theorems for rotateLeft and rotateRight Nix CI #370: Pull request #38 opened by mhk119
December 8, 2024 07:16 44m 6s rotate
rotate
December 8, 2024 07:16 44m 6s
feat : toInt_shiftLeft theorem Nix CI #369: Pull request #37 opened by mhk119
December 8, 2024 06:45 47m 1s toInt_shiftLeft
toInt_shiftLeft
December 8, 2024 06:45 47m 1s