Skip to content

Commit

Permalink
Merge pull request #1878 from GaloisInc/llvm-16
Browse files Browse the repository at this point in the history 
Support LLVM 15 and 16, opaque pointers
  • Loading branch information
@mergify
mergify[bot] authored Jun 2, 2023
2 parents 79f69bf + 6ccc934 commit ab46c76
Show file tree
Hide file tree
Showing 21 changed files with 165 additions and 107 deletions.
2 changes: 1 addition & 1 deletion CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@
see the `mir_*` commands documented in the
[SAW manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md).

* Support LLVM versions up to 14.
* Support LLVM versions up to 16.

# Version 0.9

Expand Down
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ SAW can analyze LLVM programs (usually derived from C, but potentially
for other languages). The only tool strictly required for this is a
compiler that can generate LLVM bitcode, such as `clang`. However,
having the full LLVM tool suite available can be useful. We have tested
SAW with LLVM and `clang` versions from 3.5 to 14.0, as well as the
SAW with LLVM and `clang` versions from 3.5 to 16.0, as well as the
version of `clang` bundled with Apple Xcode. We welcome bug reports on
any failure to parse bitcode from LLVM versions in that range.

Expand Down
39 changes: 16 additions & 23 deletions cabal.GHC-8.10.7.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.adjunctions ==4.4.2,
any.aeson ==2.1.2.1,
aeson -cffi +ordered-keymap,
any.aeson-typescript ==0.5.0.0,
any.alex ==3.2.7.3,
any.alex ==3.2.7.4,
any.ansi-terminal ==0.11.5,
ansi-terminal -example,
any.ansi-terminal-types ==0.11.5,
Expand Down Expand Up @@ -119,7 +118,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.doctest ==0.20.1,
any.dotgen ==0.4.3,
dotgen -devel,
any.easy-file ==0.2.3,
any.easy-file ==0.2.5,
any.either ==5.0.2,
any.entropy ==0.4.1.10,
entropy -donotgetentropy,
Expand All @@ -140,7 +139,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.foldable1-classes-compat ==0.1,
foldable1-classes-compat +tagged,
any.free ==5.2,
any.generic-deriving ==1.14.3,
any.generic-deriving ==1.14.4,
generic-deriving +base-4-9,
any.generic-lens ==2.2.2.0,
any.generic-lens-core ==2.2.1.0,
Expand All @@ -154,7 +153,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-paths ==0.1.0.12,
any.ghc-prim ==0.6.1,
any.ghci ==8.10.7,
any.githash ==0.1.6.3,
any.gitrev ==1.3.1,
any.graphviz ==2999.20.1.0,
graphviz -test-parsing,
Expand All @@ -178,9 +176,10 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hpc ==0.6.1.0,
any.hsc2hs ==0.68.9,
hsc2hs -in-ghc-tree,
any.hspec ==2.10.10,
any.hspec-core ==2.10.10,
any.hspec-discover ==2.10.10,
any.hspec ==2.11.0.1,
any.hspec-api ==2.11.0.1,
any.hspec-core ==2.11.0.1,
any.hspec-discover ==2.11.0.1,
any.hspec-expectations ==0.8.2,
any.http-date ==0.0.11,
any.http-types ==0.12.3,
Expand Down Expand Up @@ -220,7 +219,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.lifted-async ==0.10.2.4,
any.lifted-base ==0.2.3.12,
llvm-pretty-bc-parser -fuzz -regressions,
any.logict ==0.8.0.0,
any.logict ==0.8.1.0,
any.lucid ==2.11.20230408,
any.lumberjack ==1.0.2.0,
any.math-functions ==0.3.4.2,
Expand All @@ -230,7 +229,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.memory ==0.18.0,
memory +support_bytestring +support_deepseq,
any.microlens ==0.4.13.1,
any.microlens-th ==0.4.3.12,
any.microlens-th ==0.4.3.13,
any.microstache ==1.0.2.3,
any.mmorph ==1.2.0,
any.mod ==0.1.2.2,
Expand All @@ -242,7 +241,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.mono-traversable ==1.0.15.3,
any.mtl ==2.2.2,
any.mwc-random ==0.15.0.2,
any.network ==3.1.2.8,
any.network ==3.1.2.9,
network -devel,
any.network-byte-order ==0.1.6,
any.network-info ==0.2.1,
Expand All @@ -252,8 +251,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.old-time ==1.1.0.3,
any.optparse-applicative ==0.16.1.0,
optparse-applicative +process,
any.optparse-simple ==0.1.1.4,
optparse-simple -build-example,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
any.parallel ==3.2.2.0,
Expand Down Expand Up @@ -297,17 +294,16 @@ constraints: any.BoundedChan ==1.0.3.0,
any.scotty ==0.12.1,
any.semialign ==1.3,
semialign +semigroupoids,
any.semigroupoids ==5.3.7,
any.semigroupoids ==6.0.0.1,
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
any.semigroups ==0.20,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
any.semirings ==0.6,
semirings +containers +unordered-containers,
any.setenv ==0.1.1.3,
any.silently ==1.2.5.3,
any.simple-get-opt ==0.4,
any.simple-sendfile ==0.2.30,
simple-sendfile +allow-bsd,
any.simple-sendfile ==0.2.31,
simple-sendfile +allow-bsd -fallback,
any.simple-smt ==0.9.7,
any.smallcheck ==1.2.1,
any.split ==0.2.3.5,
Expand All @@ -318,8 +314,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.streaming-commons ==0.2.2.6,
streaming-commons -use-bytestring-builder,
any.strict ==0.5,
any.string-interpolate ==0.3.2.0,
string-interpolate -bytestring-builder -extended-benchmarks -text-builder,
any.syb ==0.7.2.3,
any.tagged ==0.8.7,
tagged +deepseq +transformers,
Expand All @@ -331,11 +325,11 @@ constraints: any.BoundedChan ==1.0.3.0,
any.tasty-golden ==2.3.5,
tasty-golden -build-example,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hspec ==1.2.0.3,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.0.3,
any.tasty-quickcheck ==0.10.2,
any.tasty-smallcheck ==0.8.2,
any.tasty-sugar ==2.1.0.0,
any.tasty-sugar ==2.2.0.0,
any.template-haskell ==2.16.0.0,
any.temporary ==1.3,
any.terminal-size ==0.3.3,
Expand All @@ -344,7 +338,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.text ==1.2.4.1,
any.text-conversions ==0.3.1.1,
any.text-short ==0.1.5,
text-short -asserts,
any.tf-random ==0.5,
Expand Down Expand Up @@ -418,4 +411,4 @@ constraints: any.BoundedChan ==1.0.3.0,
any.zlib ==0.6.3.0,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2023-04-18T11:48:49Z
index-state: hackage.haskell.org 2023-05-08T16:29:53Z
39 changes: 16 additions & 23 deletions cabal.GHC-9.2.7.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.adjunctions ==4.4.2,
any.aeson ==2.1.2.1,
aeson -cffi +ordered-keymap,
any.aeson-typescript ==0.5.0.0,
any.alex ==3.2.7.3,
any.alex ==3.2.7.4,
any.ansi-terminal ==0.11.5,
ansi-terminal -example,
any.ansi-terminal-types ==0.11.5,
Expand Down Expand Up @@ -119,7 +118,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.doctest ==0.20.1,
any.dotgen ==0.4.3,
dotgen -devel,
any.easy-file ==0.2.3,
any.easy-file ==0.2.5,
any.either ==5.0.2,
any.entropy ==0.4.1.10,
entropy -donotgetentropy,
Expand All @@ -140,7 +139,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.foldable1-classes-compat ==0.1,
foldable1-classes-compat +tagged,
any.free ==5.2,
any.generic-deriving ==1.14.3,
any.generic-deriving ==1.14.4,
generic-deriving +base-4-9,
any.generic-lens ==2.2.2.0,
any.generic-lens-core ==2.2.1.0,
Expand All @@ -155,7 +154,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-paths ==0.1.0.12,
any.ghc-prim ==0.8.0,
any.ghci ==9.2.7,
any.githash ==0.1.6.3,
any.gitrev ==1.3.1,
any.graphviz ==2999.20.1.0,
graphviz -test-parsing,
Expand All @@ -179,9 +177,10 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hpc ==0.6.1.0,
any.hsc2hs ==0.68.9,
hsc2hs -in-ghc-tree,
any.hspec ==2.10.10,
any.hspec-core ==2.10.10,
any.hspec-discover ==2.10.10,
any.hspec ==2.11.0.1,
any.hspec-api ==2.11.0.1,
any.hspec-core ==2.11.0.1,
any.hspec-discover ==2.11.0.1,
any.hspec-expectations ==0.8.2,
any.http-date ==0.0.11,
any.http-types ==0.12.3,
Expand Down Expand Up @@ -221,7 +220,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.lifted-async ==0.10.2.4,
any.lifted-base ==0.2.3.12,
llvm-pretty-bc-parser -fuzz -regressions,
any.logict ==0.8.0.0,
any.logict ==0.8.1.0,
any.lucid ==2.11.20230408,
any.lumberjack ==1.0.2.0,
any.math-functions ==0.3.4.2,
Expand All @@ -231,7 +230,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.memory ==0.18.0,
memory +support_bytestring +support_deepseq,
any.microlens ==0.4.13.1,
any.microlens-th ==0.4.3.12,
any.microlens-th ==0.4.3.13,
any.microstache ==1.0.2.3,
any.mmorph ==1.2.0,
any.mod ==0.2.0.1,
Expand All @@ -243,7 +242,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.mono-traversable ==1.0.15.3,
any.mtl ==2.2.2,
any.mwc-random ==0.15.0.2,
any.network ==3.1.2.8,
any.network ==3.1.2.9,
network -devel,
any.network-byte-order ==0.1.6,
any.network-info ==0.2.1,
Expand All @@ -253,8 +252,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.old-time ==1.1.0.3,
any.optparse-applicative ==0.16.1.0,
optparse-applicative +process,
any.optparse-simple ==0.1.1.4,
optparse-simple -build-example,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
any.parallel ==3.2.2.0,
Expand Down Expand Up @@ -298,17 +295,16 @@ constraints: any.BoundedChan ==1.0.3.0,
any.scotty ==0.12.1,
any.semialign ==1.3,
semialign +semigroupoids,
any.semigroupoids ==5.3.7,
any.semigroupoids ==6.0.0.1,
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
any.semigroups ==0.20,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
any.semirings ==0.6,
semirings +containers +unordered-containers,
any.setenv ==0.1.1.3,
any.silently ==1.2.5.3,
any.simple-get-opt ==0.4,
any.simple-sendfile ==0.2.30,
simple-sendfile +allow-bsd,
any.simple-sendfile ==0.2.31,
simple-sendfile +allow-bsd -fallback,
any.simple-smt ==0.9.7,
any.smallcheck ==1.2.1,
any.split ==0.2.3.5,
Expand All @@ -319,8 +315,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.streaming-commons ==0.2.2.6,
streaming-commons -use-bytestring-builder,
any.strict ==0.5,
any.string-interpolate ==0.3.2.0,
string-interpolate -bytestring-builder -extended-benchmarks -text-builder,
any.syb ==0.7.2.3,
any.tagged ==0.8.7,
tagged +deepseq +transformers,
Expand All @@ -332,11 +326,11 @@ constraints: any.BoundedChan ==1.0.3.0,
any.tasty-golden ==2.3.5,
tasty-golden -build-example,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hspec ==1.2.0.3,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.0.3,
any.tasty-quickcheck ==0.10.2,
any.tasty-smallcheck ==0.8.2,
any.tasty-sugar ==2.1.0.0,
any.tasty-sugar ==2.2.0.0,
any.template-haskell ==2.18.0.0,
any.temporary ==1.3,
any.terminal-size ==0.3.3,
Expand All @@ -345,7 +339,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.text ==1.2.5.0,
any.text-conversions ==0.3.1.1,
any.text-short ==0.1.5,
text-short -asserts,
any.tf-random ==0.5,
Expand Down Expand Up @@ -419,4 +412,4 @@ constraints: any.BoundedChan ==1.0.3.0,
any.zlib ==0.6.3.0,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2023-04-18T11:48:49Z
index-state: hackage.haskell.org 2023-05-08T16:29:53Z
Loading

0 comments on commit ab46c76

Please sign in to comment.