Skip to content

Initial support for AArch32 #987

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 23 commits into
base: master
Choose a base branch
from
Draft

Initial support for AArch32 #987

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
4625ea2
Initial support for aarch32
chameco Jan 4, 2021
f44106f
aarch32: bump macaw commit
sauclovian-g Apr 8, 2025
dc6c0b7
aarch32: sync with master
sauclovian-g Apr 10, 2025
527398c
Bump the new git submodules to their current versions.
sauclovian-g Apr 10, 2025
ef60311
cabal.project: add macaw-loader-aarch32, drop what4-serialize
sauclovian-g Apr 10, 2025
c8509bc
Remove the what4-serialize submodule as it's no longer relevant.
sauclovian-g Apr 10, 2025
4c8b8a5
Add a copy of SAWCore.hs from crucible-saw.
sauclovian-g Apr 10, 2025
b204e9e
Build changes for adding CompatSAWCore.hs
sauclovian-g Apr 10, 2025
8281ad7
CrucibleSAW: remove references to What4 nats, which are gone
sauclovian-g Apr 10, 2025
8309cf4
CrucibleSAW: sbStateManager -> userState (What4 interface)
sauclovian-g Apr 10, 2025
78c9083
CrucibleSAW: the IORef in the What4 ExprBuilder is no longer implicit
sauclovian-g Apr 10, 2025
08dc2af
CrucibleSAW: need a couple extra module qualifications
sauclovian-g Apr 10, 2025
77da6e5
CrucibleSAW: cope with OnlineBackend changes
sauclovian-g Apr 10, 2025
2d8240f
CrucibleSAW: More ioref-related changes in previous
sauclovian-g Apr 10, 2025
9982258
CrucibleSAW: catch up to AssumptionStack changes
sauclovian-g Apr 10, 2025
cf6eb1b
CrucibleSAW: catch up to changes in What4 floats
sauclovian-g Apr 10, 2025
562c4d5
CrucibleSAW: adjust for IsBoolSolver -> IsSymBackend
sauclovian-g Apr 10, 2025
83582d6
CrucibleSAW: Adjust to changes in ExprSymFn in What4.
sauclovian-g Apr 10, 2025
b3a6648
CrucibleSAW: adjust to lenses
sauclovian-g Apr 10, 2025
2f4f80f
CrucibleSAW: use Text instead of String
sauclovian-g Apr 10, 2025
c67789c
CrucibleSAW: Unsupported has changed, adjust
sauclovian-g Apr 10, 2025
f036ca3
CrucibleSAW: ConjMap changes
sauclovian-g Apr 10, 2025
a69913b
aarch32: a few preliminary build fixes
sauclovian-g Apr 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions .gitmodules
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,3 +52,15 @@
[submodule "deps/mir-json"]
path = deps/mir-json
url = https://github.com/GaloisInc/mir-json.git
[submodule "deps/asl-translator"]
path = deps/asl-translator
url = https://github.com/GaloisInc/asl-translator
[submodule "deps/arm-asl-parser"]
path = deps/arm-asl-parser
url = https://github.com/GaloisInc/arm-asl-parser
[submodule "deps/dismantle"]
path = deps/dismantle
url = https://github.com/travitch/dismantle
[submodule "deps/semmc"]
path = deps/semmc
url = https://github.com/GaloisInc/semmc
11 changes: 11 additions & 0 deletions cabal.project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,13 +35,24 @@ packages:
deps/flexdis86/binary-symbols
deps/lmdb/lmdb
deps/lmdb/lmdb-simple
deps/asl-translator
deps/arm-asl-parser
deps/dismantle/dismantle-tablegen
deps/dismantle/dismantle-arm-xml
deps/semmc/semmc
deps/semmc/semmc-synthesis
deps/semmc/semmc-aarch32
deps/macaw/base
deps/macaw/macaw-dump
deps/macaw/macaw-loader
deps/macaw/macaw-loader-aarch32
deps/macaw/macaw-loader-x86
deps/macaw/symbolic
deps/macaw/x86
deps/macaw/x86_symbolic
deps/macaw/macaw-semmc
deps/macaw/macaw-aarch32
deps/macaw/macaw-aarch32-symbolic
deps/elf-edit
deps/dwarf
deps/argo/argo
Expand Down
1 change: 1 addition & 0 deletions deps/arm-asl-parser
Open in desktop
Submodule arm-asl-parser added at 4473eb
1 change: 1 addition & 0 deletions deps/asl-translator
Open in desktop
Submodule asl-translator added at 9940a0
1 change: 1 addition & 0 deletions deps/dismantle
Open in desktop
Submodule dismantle added at e4ebe0
2 changes: 1 addition & 1 deletion deps/macaw
Open in desktop
Submodule macaw updated 8 files
+1 −1 deps/asl-translator
+1 −1 deps/crucible
+1 −1 deps/llvm-pretty
+1 −1 deps/llvm-pretty-bc-parser
+1 −1 deps/softfloat-hs
+1 −1 deps/what4
+4 −0 macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs
+1 −1 refinement/src/Data/Macaw/Refinement/SymbolicExecution.hs
1 change: 1 addition & 0 deletions deps/semmc
Open in desktop
Submodule semmc added at 519d70
6 changes: 6 additions & 0 deletions saw-script.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,7 @@ library
-- packages in git submodules
-- (hobbits is for now actually a source-repository-package)
, aig
, asl-translator
, crucible >= 0.4
, crucible-jvm
, crucible-llvm >= 0.2
Expand All @@ -95,6 +96,8 @@ library
, lmdb-simple
, macaw-base
, macaw-x86
, macaw-aarch32
, macaw-aarch32-symbolic
, macaw-symbolic
, macaw-x86-symbolic
, parameterized-utils
Expand Down Expand Up @@ -154,6 +157,8 @@ library

SAWScript.HeapsterBuiltins

SAWScript.Crucible.CrucibleSAW.SAWCore

SAWScript.Crucible.Common
SAWScript.Crucible.Common.MethodSpec
SAWScript.Crucible.Common.Override
Expand All @@ -173,6 +178,7 @@ library
SAWScript.Crucible.LLVM.Skeleton
SAWScript.Crucible.LLVM.Skeleton.Builtins
SAWScript.Crucible.LLVM.X86
SAWScript.Crucible.LLVM.AArch32

SAWScript.Crucible.JVM.Builtins
SAWScript.Crucible.JVM.BuiltinsJVM
Expand Down
Loading
Loading