Code

Issue #451#452

Code

Merged

danmatichuk merged 6 commits intomasterGaloisInc/pate:masterfrom issue-451GaloisInc/pate:issue-451Copy head branch name to clipboardOct 14, 2024

+512-112

Commits

Commits on Oct 2, 2024

• Widening: promote WidenState to datatype that is threaded through widening loops

  Show description for 885e0a9
  danmatichuk

  committed
  885e0a9

  Copy full SHA for 885e0a9

Commits on Oct 4, 2024

• collect traces during widening and serialize with domain in common expression-binding environment

  danmatichuk

  committed
  194e85d

  Copy full SHA for 194e85d

Commits on Oct 11, 2024

• TraceCollection: add 'insert' function to interface

  Show description for 78c8db6
  danmatichuk

  committed
  78c8db6

  Copy full SHA for 78c8db6

• add quick solution for using "JSON" tag in repl

  Show description for 51e489f
  danmatichuk

  committed
  51e489f

  Copy full SHA for 51e489f

• tryWithAsms: check satisfiability first to optimize for

  Show description for 2fbde9e
  danmatichuk

  committed
  2fbde9e

  Copy full SHA for 2fbde9e

Commits on Oct 14, 2024

• tryWithAsms: documentation cleanup

  danmatichuk

  committed
  1cb3761

  Copy full SHA for 1cb3761