Skip to content

Actions: UQ-PAC/aslp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow run results
27 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

client + server for aslp Test partial eval #186: Pull request #40 opened by katrinafyi
February 12, 2024 05:56 14m 37s clientserver
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
partial_eval
September 18, 2023 12:37 16m 43s
fix parsing of >64-bit numbers in repl. Test partial eval #167: Commit f20cec4 pushed by katrinafyi
September 14, 2023 08:19 17m 10s partial_eval
partial_eval
September 14, 2023 08:19 17m 10s
add nix. Test partial eval #166: Commit f7fd0e8 pushed by katrinafyi
September 12, 2023 07:26 16m 11s partial_eval
partial_eval
September 12, 2023 07:26 16m 11s
add .gitattributes to ensure LF line endings. Test partial eval #165: Commit 672f355 pushed by katrinafyi
September 11, 2023 03:25 15m 31s partial_eval
partial_eval
September 11, 2023 03:25 15m 31s
update README for ASLp, fix elf example Test partial eval #164: Commit 489e037 pushed by katrinafyi
September 11, 2023 02:12 16m 26s partial_eval
partial_eval
September 11, 2023 02:12 16m 26s
no need to use opam in nix. Test partial eval #163: Commit 7ae708d pushed by katrinafyi
September 5, 2023 07:05 19m 15s partial_eval
partial_eval
September 5, 2023 07:05 19m 15s
support --prelude to make aslp.nix pwd-independent. Test partial eval #162: Commit fdd23b7 pushed by katrinafyi
September 5, 2023 06:57 2m 35s partial_eval
partial_eval
September 5, 2023 06:57 2m 35s