Code

SyGuS, match concrete size array#1178

Code

Merged

RyanGlScott merged 43 commits intomasterGaloisInc/crucible:masterfrom sygus-prepGaloisInc/crucible:sygus-prepCopy head branch name to clipboardMay 14, 2024

+1,652-86

Commits

Commits on Jul 17, 2023

• Code refactoring.

  andreistefanescu

  committed
  30eb41a

  Copy full SHA for 30eb41a

• Find SMT array write of a fixed size.

  andreistefanescu

  committed
  a00340e

  Copy full SHA for a00340e

• Cache tail traversal in findArrayStore.

  andreistefanescu

  committed
  c749b38

  Copy full SHA for c749b38

• Load SMT array with concrete size.

  andreistefanescu

  committed
  523a230

  Copy full SHA for 523a230

• Load SMT array with 0 size.

  andreistefanescu

  committed
  0a50a59

  Copy full SHA for 0a50a59

• Add cache for base pointers with array stores.

  andreistefanescu

  committed
  d414f3e

  Copy full SHA for d414f3e

• Add noSatisfyingWriteFreshConstant option.

  andreistefanescu

  committed
  5f0efd1

  Copy full SHA for 5f0efd1

• wip

  andreistefanescu

  committed
  98428da

  Copy full SHA for 98428da

Commits on Jan 19, 2024

• Cleanup.

  andreistefanescu

  committed
  ebbcd4e

  Copy full SHA for ebbcd4e

• Derive Show.

  andreistefanescu

  committed
  39e9c1e

  Copy full SHA for 39e9c1e

• Add updateHandleMap.

  andreistefanescu

  committed
  63f2c2a

  Copy full SHA for 63f2c2a

• Add parentWTOComponent.

  andreistefanescu

  committed
  f5422da

  Copy full SHA for f5422da

• Export writeSourceSize.

  andreistefanescu

  committed
  8813bd4

  Copy full SHA for 8813bd4

• Add runCHC and helpers.

  andreistefanescu

  committed
  72d90c0

  Copy full SHA for 72d90c0

• Bump what4.

  andreistefanescu

  committed
  34651c6

  Copy full SHA for 34651c6

• wip

  andreistefanescu

  committed
  803a8be

  Copy full SHA for 803a8be

Commits on Jan 24, 2024

• Merge remote-tracking branch 'origin/master' into sygus2

  andreistefanescu

  committed
  c428da0

  Copy full SHA for c428da0

Commits on Jan 26, 2024

• Merge branch 'master-without-what4-changes' into match-concrete-size-array

  RyanGlScott

  committed
  5c2c29c

  Copy full SHA for 5c2c29c

Commits on Feb 18, 2024

• Fix build error with GHC 8.10

  RyanGlScott

  committed
  08b51b6

  Copy full SHA for 08b51b6

• Merge branch 'master' into sygus2

  RyanGlScott

  committed
  7617969

  Copy full SHA for 7617969

Commits on Mar 1, 2024

• Bump what4 submodule to incorporate GaloisInc/what4#256

  Show description for a4300a4
  RyanGlScott

  committed
  a4300a4

  Copy full SHA for a4300a4

• Fix build warnings introduced in #1165

  RyanGlScott

  committed
  82574be

  Copy full SHA for 82574be

• crucible: Clearer error messages for runCHC

  RyanGlScott

  committed
  0d1cd5b

  Copy full SHA for 0d1cd5b

• Additional documentation

  RyanGlScott

  committed
  cb2f709

  Copy full SHA for cb2f709

• Comment out putStrLns

  RyanGlScott

  committed
  80a9a33

  Copy full SHA for 80a9a33

• Merge branch 'match-concrete-size-array' into sygus-prep

  RyanGlScott

  committed
  3a26bab

  Copy full SHA for 3a26bab

• Remove redundant export

  RyanGlScott

  committed
  0a3a21e

  Copy full SHA for 0a3a21e

• More accurate logReason

  RyanGlScott

  committed
  9475dce

  Copy full SHA for 9475dce

• Merge remote-tracking branch 'origin/sygus2' into sygus-prep

  RyanGlScott

  committed
  233dfea

  Copy full SHA for 233dfea

• Remove redundant import

  RyanGlScott

  committed
  3b25fa0

  Copy full SHA for 3b25fa0

• Don't log everything to foo.* files

  RyanGlScott

  committed
  a743903

  Copy full SHA for a743903

• Pass pointer size to writeSouceSize

  RyanGlScott

  committed
  704a127

  Copy full SHA for 704a127

• Replace putStrLn's with ?logMessage's

  RyanGlScott

  committed
  a6a062a

  Copy full SHA for a6a062a

• Fix build warnings

  RyanGlScott

  committed
  b938c6e

  Copy full SHA for b938c6e

Commits on Mar 7, 2024

• Rename SimpleLoopFixpoint to SimpleLoopFixpointCHC

  Show description for e356be1
  RyanGlScott

  committed
  e356be1

  Copy full SHA for e356be1

• Restore previous SimpleLoopFixpoint functionality

  RyanGlScott

  committed
  6b7d94c

  Copy full SHA for 6b7d94c

Commits on Mar 12, 2024

• Merge branch 'master' into sygus-prep

  RyanGlScott

  committed
  9913bbc

  Copy full SHA for 9913bbc

Commits on May 13, 2024

• Merge branch 'master' into sygus-prep

  RyanGlScott

  committed
  162f6ad

  Copy full SHA for 162f6ad

• Fix -Wunused-do-bind warning

  RyanGlScott

  committed
  5040e57

  Copy full SHA for 5040e57

Commits on May 14, 2024

• Bump what4 to bring in latest changes from GaloisInc/what4#256

  RyanGlScott

  committed
  867a7ed

  Copy full SHA for 867a7ed

• Remove commented-out exports

  RyanGlScott

  committed
  1f39b6b

  Copy full SHA for 1f39b6b

• Merge branch 'master' into sygus-prep

  RyanGlScott

  committed
  384456e

  Copy full SHA for 384456e

• Review comments

  RyanGlScott

  committed
  c2c11dc

  Copy full SHA for c2c11dc