Return encoding name alongside semantics

UQ-PAC / aslp

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

Other

7 stars 2 forks source link

Closed katrinafyi closed 2 months ago

katrinafyi commented 3 months ago

For use in alive2 project for insights into verification performance differences.