search

UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
7 stars 2 forks source link

remove ./asli script #65

Closed katrinafyi closed 6 months ago

katrinafyi commented 6 months ago

since the distribution of .asl files via dune, this script is incorrect and no longer needed.