Skip to content

Actions: UQ-PAC/aslp

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

client + server for aslp
Test partial eval #192: Pull request #40 synchronize by katrinafyi
February 13, 2024 06:47 14m 35s clientserver
February 13, 2024 06:47 14m 35s
client + server for aslp
Test partial eval #191: Pull request #40 synchronize by katrinafyi
February 13, 2024 05:32 14m 29s clientserver
February 13, 2024 05:32 14m 29s
client + server for aslp
Test partial eval #190: Pull request #40 synchronize by katrinafyi
February 13, 2024 05:11 14m 2s clientserver
February 13, 2024 05:11 14m 2s
client + server for aslp
Test partial eval #189: Pull request #40 synchronize by katrinafyi
February 13, 2024 04:54 14m 24s clientserver
February 13, 2024 04:54 14m 24s
client + server for aslp
Test partial eval #188: Pull request #40 synchronize by katrinafyi
February 13, 2024 04:13 14m 40s clientserver
February 13, 2024 04:13 14m 40s
client + server for aslp
Test partial eval #187: Pull request #40 synchronize by katrinafyi
February 13, 2024 02:03 14m 35s clientserver
February 13, 2024 02:03 14m 35s
client + server for aslp
Test partial eval #186: Pull request #40 opened by katrinafyi
February 12, 2024 05:56 14m 37s clientserver
February 12, 2024 05:56 14m 37s
add :ast command for writing raw semantics
Test partial eval #185: Pull request #39 opened by katrinafyi
February 12, 2024 05:54 13m 41s aslt
February 12, 2024 05:54 13m 41s
permit shift+truncate conversion with variables as base.
Test partial eval #184: Commit a2b5cf4 pushed by katrinafyi
February 9, 2024 08:16 13m 36s partial_eval
February 9, 2024 08:16 13m 36s
restore RedundantSlice pass before StatefulIntToBits.
Test partial eval #183: Commit fa7e2ff pushed by katrinafyi
February 9, 2024 07:48 13m 54s partial_eval
February 9, 2024 07:48 13m 54s
Merge pull request #38 from UQ-PAC/package-asl
Test partial eval #182: Commit 851d86c pushed by katrinafyi
February 9, 2024 06:39 13m 49s partial_eval
February 9, 2024 06:39 13m 49s
use dune sites to install asl files
Test partial eval #181: Pull request #38 synchronize by katrinafyi
February 9, 2024 05:50 14m 8s package-asl
February 9, 2024 05:50 14m 8s
use dune sites to install asl files
Test partial eval #180: Pull request #38 synchronize by katrinafyi
February 9, 2024 05:14 13m 49s package-asl
February 9, 2024 05:14 13m 49s
use dune sites to install asl files
Test partial eval #179: Pull request #38 synchronize by katrinafyi
February 9, 2024 05:13 13m 55s package-asl
February 9, 2024 05:13 13m 55s
use dune sites to install asl files
Test partial eval #178: Pull request #38 synchronize by ailrst
February 8, 2024 06:32 13m 32s package-asl
February 8, 2024 06:32 13m 32s
Test partial eval
Test partial eval #177: Manually run by ailrst
February 7, 2024 05:23 13m 40s partial_eval
February 7, 2024 05:23 13m 40s
use dune sites to install asl files
Test partial eval #176: Pull request #38 opened by ailrst
February 7, 2024 05:09 2m 28s package-asl
February 7, 2024 05:09 2m 28s
improve RedundantSlice to handle global arrays and local constants.
Test partial eval #175: Commit fc60f76 pushed by katrinafyi
January 16, 2024 06:53 13m 22s partial_eval
January 16, 2024 06:53 13m 22s
improve RedundantSlice to handle global arrays and local constants.
Test partial eval #174: Commit b39894b pushed by katrinafyi
January 16, 2024 06:53 1m 32s partial_eval
January 16, 2024 06:53 1m 32s
improve RedundantSlice to handle global arrays and local constants.
Test partial eval #173: Commit ecba67c pushed by katrinafyi
January 16, 2024 06:35 1m 40s partial_eval
January 16, 2024 06:35 1m 40s
Move to using a marshalled state
Test partial eval #172: Pull request #33 synchronize by katrinafyi
January 16, 2024 04:46 11m 41s marshal
January 16, 2024 04:46 11m 41s
Merge pull request #32 from UQ-PAC/monadic
Test partial eval #171: Commit e380c86 pushed by katrinafyi
January 16, 2024 04:29 12m 26s partial_eval
January 16, 2024 04:29 12m 26s
Performance fixes
Test partial eval #170: Pull request #32 synchronize by katrinafyi
January 16, 2024 04:26 11m 52s monadic
January 16, 2024 04:26 11m 52s
Performance fixes
Test partial eval #169: Pull request #32 synchronize by katrinafyi
January 16, 2024 04:04 1m 34s monadic
January 16, 2024 04:04 1m 34s
specify ott version.
Test partial eval #168: Commit 758815e pushed by katrinafyi
September 18, 2023 12:37 16m 43s partial_eval
September 18, 2023 12:37 16m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.