Code

use dune sites to install asl files#38

Code

Merged

katrinafyi merged 4 commits intopartial_evalUQ-PAC/aslp:partial_evalfrom package-aslUQ-PAC/aslp:package-aslCopy head branch name to clipboardFeb 9, 2024

+124-35

Commits

Commits on Feb 7, 2024

• use dune sites to install asl files

  ailrst

  committed
  4b8faf8

Commits on Feb 8, 2024

• move default asl loading to libASL

  ailrst

  committed
  eb58d39

Commits on Feb 9, 2024

• Invert flag so aarch64 semantics are used by default.

  katrinafyi

  committed
  1f40b75

• fix coverage.sh with bundled semantics.

  katrinafyi

  committed
  5ee10fc