Skip to content
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

Test new module system merge #1850

Merged
merged 33 commits into from
Jun 17, 2023
Merged

Test new module system merge #1850

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
a6af001
Make things build with new module system
yav Oct 11, 2022
eca9ddf
Make the remote API build
yav Oct 11, 2022
ac08058
Be more verbose when things go wrong
yav Oct 11, 2022
e9a71c8
Update deps/cryptol
Oct 27, 2022
3a796ab
Just formatting
yav Nov 22, 2022
c21b30d
Fix build
chameco Apr 3, 2023
041f293
Change AWSLC commit
chameco Apr 3, 2023
f90c08e
Fix saw-remote-api build
chameco Apr 3, 2023
7090819
Add `newtype` constructors to thje typing environment.
yav May 16, 2023
c51b458
Use the constructor name, instead of the type name.
yav May 16, 2023
8dbebfc
Update AWSLC branch
chameco May 30, 2023
0421e22
Make things build
yav Jun 1, 2023
9c6a370
Bump aws-lc-verification
chameco Jun 9, 2023
0e19239
Bump aws-lc-verification
chameco Jun 9, 2023
311d96d
Try bumping CI cabal version
chameco Jun 12, 2023
323fb07
Ignore failing Windows build
chameco Jun 12, 2023
3cf92ec
Try harder
chameco Jun 12, 2023
cd20bd2
Bump aws-lc-verification
chameco Jun 12, 2023
3953675
Bump aws-lc-verification
chameco Jun 12, 2023
787d28e
Revert windows CI change
chameco Jun 13, 2023
4ddc56f
Try different Cabal version
chameco Jun 13, 2023
10105d0
Try again
chameco Jun 13, 2023
cb8ae7e
Revert
chameco Jun 13, 2023
b0650d8
Version bump haskell/actions
chameco Jun 13, 2023
c5301b0
`heapster-saw`: Simplify and document `translateLLVMGEP`
RyanGlScott May 30, 2023
fdd6366
Adapt to ConstGEP gaining explicit basis type and expression
RyanGlScott May 30, 2023
475ae92
Support LLVM 15 and 16, opaque pointers
RyanGlScott May 30, 2023
38599fa
Do not support opaque pointers in type skeletons for now
RyanGlScott May 31, 2023
802d4c4
Do not support opaque pointers in `llvm_fresh_expanded_val` for now
RyanGlScott Jun 1, 2023
126f713
CI: Regenerate cabal.GHC-*.config files
RyanGlScott May 31, 2023
09311fc
Upgrade opaque pointer-related failures to panics
RyanGlScott Jun 1, 2023
3c4e34b
Bump Cryptol dependency to most recent `master`
yav Jun 16, 2023
628425c
Bump `cryptol-sepcs` to most recent ones
yav Jun 16, 2023
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
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ jobs:
.github/ci.sh output name $NAME
echo "NAME=${{ needs.config.outputs.name }}-${{ matrix.os }}-x86_64" >> $GITHUB_ENV

- uses: haskell/actions/setup@v1
- uses: haskell/actions/setup@v2
id: setup-haskell
with:
ghc-version: ${{ matrix.ghc }}
Expand Down
2 changes: 1 addition & 1 deletion CHANGES.md
View file
Open in desktop
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
Open in desktop
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
Open in desktop
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
Open in desktop
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