Code

Test new module system merge#1850

Code

Merged

yav merged 33 commits intomasterGaloisInc/saw-script:masterfrom sb/functors-mergeGaloisInc/saw-script:sb/functors-mergeCopy head branch name to clipboardJun 17, 2023

+372-218

Commits

Commits on Jun 1, 2023

• Make things build with new module system

  Show description for a6af001
  

  yav

  authored and

  chameco

  committed
  a6af001

  Copy full SHA for a6af001

• Make the remote API build

  

  yav

  authored and

  chameco

  committed
  eca9ddf

  Copy full SHA for eca9ddf

• Be more verbose when things go wrong

  

  yav

  authored and

  chameco

  committed
  ac08058

  Copy full SHA for ac08058

• Update deps/cryptol

  

  Sam Breese

  authored and

  chameco

  committed
  e9a71c8

  Copy full SHA for e9a71c8

• Just formatting

  

  yav

  authored and

  chameco

  committed
  3a796ab

  Copy full SHA for 3a796ab

• Fix build

  chameco

  committed
  c21b30d

  Copy full SHA for c21b30d

• Change AWSLC commit

  chameco

  committed
  041f293

  Copy full SHA for 041f293

• Fix saw-remote-api build

  chameco

  committed
  f90c08e

  Copy full SHA for f90c08e

• Add newtype constructors to thje typing environment.

  Show description for 7090819
  

  yav

  authored and

  chameco

  committed
  7090819

  Copy full SHA for 7090819

• Use the constructor name, instead of the type name.

  Show description for c51b458
  

  yav

  authored and

  chameco

  committed
  c51b458

  Copy full SHA for c51b458

• Update AWSLC branch

  chameco

  committed
  8dbebfc

  Copy full SHA for 8dbebfc

• Make things build

  yav

  committed
  0421e22

  Copy full SHA for 0421e22

Commits on Jun 9, 2023

• Bump aws-lc-verification

  chameco

  committed
  9c6a370

  Copy full SHA for 9c6a370

• Bump aws-lc-verification

  chameco

  committed
  0e19239

  Copy full SHA for 0e19239

Commits on Jun 12, 2023

• Try bumping CI cabal version

  chameco

  committed
  311d96d

  Copy full SHA for 311d96d

• Ignore failing Windows build

  chameco

  committed
  323fb07

  Copy full SHA for 323fb07

• Try harder

  chameco

  committed
  3cf92ec

  Copy full SHA for 3cf92ec

• Bump aws-lc-verification

  chameco

  committed
  cd20bd2

  Copy full SHA for cd20bd2

• Bump aws-lc-verification

  chameco

  committed
  3953675

  Copy full SHA for 3953675

Commits on Jun 13, 2023

• Revert windows CI change

  chameco

  committed
  787d28e

  Copy full SHA for 787d28e

• Try different Cabal version

  chameco

  committed
  4ddc56f

  Copy full SHA for 4ddc56f

• Try again

  chameco

  committed
  10105d0

  Copy full SHA for 10105d0

• Revert

  chameco

  committed
  cb8ae7e

  Copy full SHA for cb8ae7e

• Version bump haskell/actions

  chameco

  committed
  b0650d8

  Copy full SHA for b0650d8

Commits on Jun 16, 2023

• heapster-saw: Simplify and document translateLLVMGEP

  Show description for c5301b0
  

  RyanGlScott

  authored and

  yav

  committed
  c5301b0

  Copy full SHA for c5301b0

• Adapt to ConstGEP gaining explicit basis type and expression

  Show description for fdd6366
  

  RyanGlScott

  authored and

  yav

  committed
  fdd6366

  Copy full SHA for fdd6366

• Support LLVM 15 and 16, opaque pointers

  Show description for 475ae92
  

  RyanGlScott

  authored and

  yav

  committed
  475ae92

  Copy full SHA for 475ae92

• Do not support opaque pointers in type skeletons for now

  Show description for 38599fa
  

  RyanGlScott

  authored and

  yav

  committed
  38599fa

  Copy full SHA for 38599fa

• Do not support opaque pointers in llvm_fresh_expanded_val for now

  Show description for 802d4c4
  

  RyanGlScott

  authored and

  yav

  committed
  802d4c4

  Copy full SHA for 802d4c4

• CI: Regenerate cabal.GHC-*.config files

  

  RyanGlScott

  authored and

  yav

  committed
  126f713

  Copy full SHA for 126f713

• Upgrade opaque pointer-related failures to panics

  Show description for 09311fc
  

  RyanGlScott

  authored and

  yav

  committed
  09311fc

  Copy full SHA for 09311fc

• Bump Cryptol dependency to most recent master

  yav

  committed
  3c4e34b

  Copy full SHA for 3c4e34b

• Bump cryptol-sepcs to most recent ones

  yav

  committed
  628425c

  Copy full SHA for 628425c