Skip to content

Actions: lecopivo/SciLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
455 workflow runs
455 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prototype of lsimp version 2 CI #373: Commit a065443 pushed by lecopivo
September 30, 2023 01:58 30m 5s master
master
September 30, 2023 01:58 30m 5s
check if lambda in analyze lambda CI #372: Commit d7ec1e0 pushed by lecopivo
September 30, 2023 01:58 51s master
master
September 30, 2023 01:58 51s
function transformation toMatrix turning linear map to matrix CI #371: Commit 8dcd9ce pushed by lecopivo
September 28, 2023 20:24 36m 21s master
master
September 28, 2023 20:24 36m 21s
removed priority on forall instance for SemiInnerProductSpace CI #370: Commit b3d6e63 pushed by lecopivo
September 28, 2023 19:12 31m 51s master
master
September 28, 2023 19:12 31m 51s
specialized FinVec instance for (ι → K) when K is field CI #369: Commit f3a70d6 pushed by lecopivo
September 28, 2023 18:35 8m 23s master
master
September 28, 2023 18:35 8m 23s
instances to make ι → X FinVec CI #368: Commit 2aef4b0 pushed by lecopivo
September 28, 2023 17:43 6m 53s master
master
September 28, 2023 17:43 6m 53s
test to transform function over real to function over floats CI #367: Commit a236ca1 pushed by lecopivo
September 28, 2023 16:27 32m 18s master
master
September 28, 2023 16:27 32m 18s
fix test after fixing #generate_... command CI #366: Commit 9023c30 pushed by lecopivo
September 27, 2023 21:08 31m 34s master
master
September 27, 2023 21:08 31m 34s
bug if in bvar app case in ftrans CI #365: Commit fe2c69b pushed by lecopivo
September 27, 2023 18:45 36m 16s master
master
September 27, 2023 18:45 36m 16s
some modifications to fprop in fvar app case, partial solution to #23 CI #364: Commit d18a62b pushed by lecopivo
September 27, 2023 18:22 23m 51s master
master
September 27, 2023 18:22 23m 51s
a hack in fprop to address part of #23 CI #363: Commit 60e7a81 pushed by lecopivo
September 26, 2023 22:36 36m 58s master
master
September 26, 2023 22:36 36m 58s
clean up of generate revCDeriv CI #362: Commit 587734c pushed by lecopivo
September 22, 2023 22:56 49m 38s master
master
September 22, 2023 22:56 49m 38s
fix imports CI #361: Commit e3d9d5a pushed by lecopivo
September 22, 2023 17:41 31m 29s master
master
September 22, 2023 17:41 31m 29s
few tests for generating fwdCDeriv CI #360: Commit 0d833aa pushed by lecopivo
September 22, 2023 17:41 27s master
master
September 22, 2023 17:41 27s
command to generate fwdCDeriv CI #359: Commit 4cb643d pushed by lecopivo
September 22, 2023 17:29 7m 15s master
master
September 22, 2023 17:29 7m 15s
meta function to parametrize free variables by a type CI #358: Commit b364eea pushed by lecopivo
September 21, 2023 22:01 8m 20s master
master
September 21, 2023 22:01 8m 20s
meta functions to extend local context to make sure types have instan… CI #357: Commit a36c438 pushed by lecopivo
September 21, 2023 20:22 8m 29s master
master
September 21, 2023 20:22 8m 29s
minor clean up of generate revCDeriv CI #356: Commit 84c7561 pushed by lecopivo
September 21, 2023 18:07 38m 23s master
master
September 21, 2023 18:07 38m 23s
reworked how suggested name works for fprop attribute and fixed all… CI #355: Commit 72e5a5d pushed by lecopivo
September 21, 2023 17:50 16m 34s master
master
September 21, 2023 17:50 16m 34s
reworked how suggested name works for ftrans attribute CI #354: Commit 31ca09d pushed by lecopivo
September 21, 2023 17:36 6m 19s master
master
September 21, 2023 17:36 6m 19s
command for generate HasAdjDiff CI #353: Commit 0912ca1 pushed by lecopivo
September 21, 2023 15:13 34m 51s master
master
September 21, 2023 15:13 34m 51s
refactoring of generate revCDeriv CI #352: Commit 0ec75b9 pushed by lecopivo
September 21, 2023 14:12 37m 14s master
master
September 21, 2023 14:12 37m 14s
generate_revCDeriv correctly creates necessary instances for it to work CI #351: Commit 2bb9f38 pushed by lecopivo
September 20, 2023 22:38 39m 37s master
master
September 20, 2023 22:38 39m 37s
reworking GenerateRevCDeriv such that it add necessary instances to t… CI #350: Commit a565356 pushed by lecopivo
September 20, 2023 19:37 29m 55s master
master
September 20, 2023 19:37 29m 55s
init file for Generate***.lean CI #349: Commit 8a2c801 pushed by lecopivo
September 20, 2023 14:48 6m 43s master
master
September 20, 2023 14:48 6m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.