Skip to content

Actions: lecopivo/SciLean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
42 workflow run results
42 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed type class diamonds when infering Vec K (Sum.rec EI FJ i) CI #432: Commit 3843717 pushed by lecopivo
November 29, 2023 23:13 4m 54s master
master
November 29, 2023 23:13 4m 54s
beta reduction with let bindings CI #431: Commit 0e8edff pushed by lecopivo
November 29, 2023 02:20 11m 41s master
master
November 29, 2023 02:20 11m 41s
fix test CI #430: Commit 4925dfd pushed by lecopivo
November 28, 2023 21:08 10m 17s master
master
November 28, 2023 21:08 10m 17s
bump mathlib version CI #429: Commit 5d24c0d pushed by lecopivo
November 28, 2023 21:02 5m 4s master
master
November 28, 2023 21:02 5m 4s
mark few more lemmas with ftrans_simp CI #428: Commit ff16552 pushed by lecopivo
November 28, 2023 19:24 24m 28s master
master
November 28, 2023 19:24 24m 28s
fix regarding the index type I in revDerivProj(Update) CI #427: Commit 5d2b838 pushed by lecopivo
November 28, 2023 03:15 24m 0s master
master
November 28, 2023 03:15 24m 0s
bug fix in revDerivProj rules for Prod.fst/snd CI #426: Commit 8870eaa pushed by lecopivo
November 27, 2023 23:08 4m 20s master
master
November 27, 2023 23:08 4m 20s
index type in StructType should not be outParam CI #425: Commit f6dd803 pushed by lecopivo
November 27, 2023 23:01 4m 8s master
master
November 27, 2023 23:01 4m 8s
command to generate bunch of simp theorems for linear map CI #424: Commit e8aecdb pushed by lecopivo
November 27, 2023 20:37 24m 54s master
master
November 27, 2023 20:37 24m 54s
cderiv rule for if with condition depending on x CI #423: Commit fe9321e pushed by lecopivo
November 27, 2023 15:10 25m 26s master
master
November 27, 2023 15:10 25m 26s
revDeriv rules for HPow.hPow CI #422: Commit ce8dc90 pushed by lecopivo
November 27, 2023 15:10 49s master
master
November 27, 2023 15:10 49s
bang version of gradient notation CI #421: Commit d535f9c pushed by lecopivo
November 27, 2023 06:14 23m 33s master
master
November 27, 2023 06:14 23m 33s
fix test CI #420: Commit 9c4714a pushed by lecopivo
November 27, 2023 05:19 24m 19s master
master
November 27, 2023 05:19 24m 19s
revDeriv rules for div, if, inner, norm2, sum CI #419: Commit b80741e pushed by lecopivo
November 27, 2023 05:16 3m 14s master
master
November 27, 2023 05:16 3m 14s
revDeriv rules for SMul.sMul CI #418: Commit 5bf0b2c pushed by lecopivo
November 27, 2023 01:46 4m 2s master
master
November 27, 2023 01:46 4m 2s
revDeriv for HMul.hMul CI #417: Commit f99275d pushed by lecopivo
November 27, 2023 01:27 4m 5s master
master
November 27, 2023 01:27 4m 5s
revDeriv for Neg.neg CI #416: Commit 231672c pushed by lecopivo
November 27, 2023 00:51 4m 6s master
master
November 27, 2023 00:51 4m 6s
register revDeriv(Proj)(Update) as ftrans CI #415: Commit 7b3d9e5 pushed by lecopivo
November 27, 2023 00:36 4m 4s master
master
November 27, 2023 00:36 4m 4s
lambda calculus rules for revDerivUpdate CI #414: Commit d1c5f3b pushed by lecopivo
November 23, 2023 16:24 24m 45s master
master
November 23, 2023 16:24 24m 45s
started working on a file combining all four variants of revDeriv CI #413: Commit 7d33f8b pushed by lecopivo
November 23, 2023 16:11 13m 38s master
master
November 23, 2023 16:11 13m 38s
some doodling with pooling layers CI #412: Commit 6f77b13 pushed by lecopivo
November 22, 2023 23:28 25m 5s master
master
November 22, 2023 23:28 25m 5s
simp lemmas for neg and sub for VecStruct CI #411: Commit 833b291 pushed by lecopivo
November 22, 2023 18:18 24m 29s master
master
November 22, 2023 18:18 24m 29s
simp lemma (revCDeriv K f x).1 = f x CI #410: Commit 6f8fa1a pushed by lecopivo
November 22, 2023 16:12 24m 17s master
master
November 22, 2023 16:12 24m 17s
fix to downstream changes to revDerivUpdate CI #409: Commit 06a84f3 pushed by lecopivo
November 22, 2023 06:11 4m 9s master
master
November 22, 2023 06:11 4m 9s
started a clean up of revDerivUpdate CI #408: Commit ceac9ca pushed by lecopivo
November 22, 2023 05:49 3m 36s master
master
November 22, 2023 05:49 3m 36s