Skip to content

Actions: lecopivo/SciLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
480 workflow runs
480 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

few simp lemmas for ArrayType CI #283: Commit 148ec62 pushed by lecopivo
August 31, 2023 13:33 11m 2s master
master
August 31, 2023 13:33 11m 2s
fix few warnings CI #282: Commit fef3e8d pushed by lecopivo
August 31, 2023 13:01 31m 42s master
master
August 31, 2023 13:01 31m 42s
fprop can unfold definitions CI #281: Commit 7ac0922 pushed by lecopivo
August 31, 2023 13:00 2m 3s master
master
August 31, 2023 13:00 2m 3s
issue #15 is resolved CI #280: Commit d07cd93 pushed by lecopivo
August 30, 2023 20:46 34m 47s master
master
August 30, 2023 20:46 34m 47s
fprop can see through projections, ftrans can see through projections… CI #279: Commit 57c2e06 pushed by lecopivo
August 30, 2023 20:38 8m 31s master
master
August 30, 2023 20:38 8m 31s
more test for complicated derivatives CI #278: Commit 34f6260 pushed by lecopivo
August 29, 2023 21:25 28m 8s master
master
August 29, 2023 21:25 28m 8s
rules for EnumType.sum CI #277: Commit 20b78a9 pushed by lecopivo
August 29, 2023 21:25 34s master
master
August 29, 2023 21:25 34s
Removed usage of Fintype and use exclusively EnumType CI #276: Commit c258c1f pushed by lecopivo
August 29, 2023 20:32 27m 31s master
master
August 29, 2023 20:32 27m 31s
some clean up after remove instance EnumType -> Fintype CI #275: Commit 8f800a4 pushed by lecopivo
August 29, 2023 19:48 28m 12s master
master
August 29, 2023 19:48 28m 12s
fix issues caused by the previous commit CI #274: Commit d4e9264 pushed by lecopivo
August 29, 2023 15:28 28m 20s master
master
August 29, 2023 15:28 28m 20s
test file for complicated reverse mode AD derivations CI #273: Commit e77c63d pushed by lecopivo
August 28, 2023 23:25 30m 47s master
master
August 28, 2023 23:25 30m 47s
bug fix in revCDeriv.pi_rule CI #272: Commit d84e865 pushed by lecopivo
August 28, 2023 23:25 45s master
master
August 28, 2023 23:25 45s
revCDeriv rules for sum CI #271: Commit 3110036 pushed by lecopivo
August 28, 2023 21:59 29m 14s master
master
August 28, 2023 21:59 29m 14s
more refined rules for norm₂ CI #270: Commit af7ee65 pushed by lecopivo
August 28, 2023 18:33 27m 5s master
master
August 28, 2023 18:33 27m 5s
definition of norm₂ and rules for inner, norm2, norm₂ CI #269: Commit 7ade29e pushed by lecopivo
August 28, 2023 17:54 29m 40s master
master
August 28, 2023 17:54 29m 40s
introduction of Norm2 and Scalar/RealScalar classes CI #268: Commit 47ec894 pushed by lecopivo
August 25, 2023 19:29 32m 51s master
master
August 25, 2023 19:29 32m 51s
notation for forward and reverse mode AD CI #267: Commit 0e1a7ae pushed by lecopivo
August 25, 2023 14:06 28m 6s master
master
August 25, 2023 14:06 28m 6s
notation symdiff and autodiff which is just a wrapper around `ftr… CI #266: Commit 6053f78 pushed by lecopivo
August 25, 2023 13:48 17m 29s master
master
August 25, 2023 13:48 17m 29s
reorganize notation and unexpanders for ∇ x, f x notation CI #265: Commit 066e6c7 pushed by lecopivo
August 25, 2023 13:27 21m 30s master
master
August 25, 2023 13:27 21m 30s
introduce scalarCDeriv, gradient and scalarGradient to support better… CI #264: Commit 64aa171 pushed by lecopivo
August 24, 2023 23:20 26m 45s master
master
August 24, 2023 23:20 26m 45s
don't eval main while compiling CI #263: Commit abeab37 pushed by lecopivo
August 24, 2023 21:50 30m 41s master
master
August 24, 2023 21:50 30m 41s
new tactic approx_limit and fixed HarmonicOscillator examples CI #262: Commit 41be748 pushed by lecopivo
August 24, 2023 21:50 55s master
master
August 24, 2023 21:50 55s
harmonic oscillator example works again! CI #261: Commit b2b7efc pushed by lecopivo
August 24, 2023 19:03 27m 31s master
master
August 24, 2023 19:03 27m 31s
few modification to HarmonicOscillator example but still does not work CI #260: Commit 5ac0926 pushed by lecopivo
August 23, 2023 23:38 31m 45s master
master
August 23, 2023 23:38 31m 45s
few tweaks to the definition of ApproxSolution CI #259: Commit 4149441 pushed by lecopivo
August 23, 2023 23:22 16m 37s master
master
August 23, 2023 23:22 16m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.