support a subset of .prj syntax in the pre-built aarch64 env

UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)

Other

6 stars 2 forks source link

Closed katrinafyi closed 3 weeks ago

katrinafyi commented 3 weeks ago

This allows downstream API users (e.g. gtirb-semantics) to have correct implementation-defined values, as set in override.prj.

The supported subset is currently only :set impdef "IMPDEF NAME" = TRUE or similar.

Fixes #85 (we knew this would happen).