Move from ASL sources to marshalled state

UQ-PAC · Jan 16, 2024 · 531a187 · 531a187
1 parent 73df5ca
commit 531a187
Show file tree

Hide file tree

Showing 19 changed files with 43 additions and 121,927 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -42,7 +42,7 @@ jobs:
         run: |
           eval `opam env`
           export LD_LIBRARY_PATH=`opam config var z3:lib`
-          ./coverage.sh test
+          scripts/coverage.sh test
 
       - name: Upload new coverage results
         if: always()

diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,5 @@ scripts/result.txt
 scripts/output.txt
 scripts/cntlm.bir
 scripts/total.txt
+
+mra_tools
diff --git a/cpus/armv8.6.cpu b/cpus/armv8.6.cpu
diff --git a/mra_tools/arch/arch.asl b/mra_tools/arch/arch.asl
diff --git a/mra_tools/arch/arch_decode.asl b/mra_tools/arch/arch_decode.asl