Skip to content

Actions: UQ-PAC/aslp

Actions

Test partial eval

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
339 workflow runs
339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: use nix
Test partial eval #215: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:10 13m 27s use-nix
March 3, 2024 16:10 13m 27s
ci: use nix
Test partial eval #214: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:08 13m 16s use-nix
March 3, 2024 16:08 13m 16s
ci: use nix
Test partial eval #213: Pull request #50 synchronize by katrinafyi
March 3, 2024 15:47 13m 14s use-nix
March 3, 2024 15:47 13m 14s
ci: use nix
Test partial eval #212: Pull request #50 synchronize by katrinafyi
March 3, 2024 15:44 1m 13s use-nix
March 3, 2024 15:44 1m 13s
ci: use nix
Test partial eval #201: Pull request #50 opened by katrinafyi
March 3, 2024 14:59 3m 21s use-nix
March 3, 2024 14:59 3m 21s
Merge pull request #48 from UQ-PAC/enums
Test partial eval #200: Commit 064c257 pushed by ncough
February 23, 2024 01:57 14m 24s partial_eval
February 23, 2024 01:57 14m 24s
Floating Point Cleanup
Test partial eval #199: Pull request #48 opened by ncough
February 22, 2024 01:27 14m 24s enums
February 22, 2024 01:27 14m 24s
Merge pull request #47 from UQ-PAC/sysreg
Test partial eval #198: Commit f84fae9 pushed by ncough
February 22, 2024 01:21 15m 0s partial_eval
February 22, 2024 01:21 15m 0s
Add partial support for sysreg accessors
Test partial eval #197: Pull request #47 opened by ncough
February 21, 2024 00:44 14m 49s sysreg
February 21, 2024 00:44 14m 49s
Merge pull request #42 from UQ-PAC/redundant-slice-of-reg
Test partial eval #196: Commit 51d0561 pushed by katrinafyi
February 15, 2024 07:14 14m 33s partial_eval
February 15, 2024 07:14 14m 33s
handle Type_Register in redundant slices.
Test partial eval #195: Pull request #42 opened by katrinafyi
February 15, 2024 06:59 14m 40s redundant-slice-of-reg
February 15, 2024 06:59 14m 40s
aslp-server: lazy aarch64_evaluation_environment.
Test partial eval #194: Commit 147b156 pushed by katrinafyi
February 14, 2024 01:04 14m 32s partial_eval
February 14, 2024 01:04 14m 32s
Merge pull request #40 from UQ-PAC/clientserver
Test partial eval #193: Commit dfa9d8f pushed by katrinafyi
February 13, 2024 08:02 14m 22s partial_eval
February 13, 2024 08:02 14m 22s
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
ProTip! You can narrow down the results and go further in time using created:<2024-02-09 or the other filters available.