Code

Dm/submodule bump#352

Code

Merged

danmatichuk merged 10 commits intomasterGaloisInc/pate:masterfrom dm/submodule-bumpGaloisInc/pate:dm/submodule-bumpCopy head branch name to clipboardDec 5, 2023

+589-66

Commits

Commits on Dec 1, 2023

• Adapt to changes in GaloisInc/macaw#327

  Show description for 616498b
  

  RyanGlScott

  authored and

  danmatichuk

  committed
  616498b

  Copy full SHA for 616498b

Commits on Dec 4, 2023

• Bump elf-edit, macaw submodules

  Show description for e47210e
  

  RyanGlScott

  authored and

  danmatichuk

  committed
  e47210e

  Copy full SHA for e47210e

• updates for GHC 9.6

  danmatichuk

  committed
  fe5f2fb

  Copy full SHA for fe5f2fb

Commits on Dec 5, 2023

• allow microsecond precision in timeouts

  danmatichuk

  committed
  d8041ab

  Copy full SHA for d8041ab

• bump submodules

  danmatichuk

  committed
  4c7d1aa

  Copy full SHA for 4c7d1aa

• add test for EquivM solver primitives

  danmatichuk

  committed
  3a9efdd

  Copy full SHA for 3a9efdd

• add ghc 9.6.2 to test matrix

  danmatichuk

  committed
  7e9cddf

  Copy full SHA for 7e9cddf

• add freeze file for GHC 9.6.2

  danmatichuk

  committed
  810cbd4

  Copy full SHA for 810cbd4

• fix push/pop bracketing when timeouts occur

  danmatichuk

  committed
  abfd61d

  Copy full SHA for abfd61d

• reduce timeout to minimum for solver test

  danmatichuk

  committed
  ed7f4b8

  Copy full SHA for ed7f4b8