Standalone scala - Githubissues

UQ-PAC / aslp

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

Other

6 stars 2 forks source link

Open ailrst opened 1 month ago

ailrst commented 1 month ago

Adds enough of basil to generate and print semantics for opcodes using the offline lifter

note also changes the flags for enabling the program counter and choosing lifter gen language, it is now [language [pc bool]]