Code

Dm/control align#365

Code

Merged

danmatichuk merged 5 commits intomasterGaloisInc/pate:masterfrom dm/control-alignGaloisInc/pate:dm/control-alignCopy head branch name to clipboardFeb 29, 2024

+339-51

Commits

Commits on Feb 28, 2024

• Pate.EventTrace: add general-purpose sequence comparisons

  Show description for 4132a66
  danmatichuk

  committed
  4132a66

• Add control flow alignment as strategy for handling diverging control flow

  Show description for 01592a1
  danmatichuk

  committed
  01592a1

• Add "--ignore-warnings" command line flag

  Show description for a1225ed
  danmatichuk

  committed
  a1225ed

• Add 'iteToImp' for converting if-then-else into implications in predicates

  Show description for e902804
  danmatichuk

  committed
  e902804

• Add script file for target 3

  Show description for f4f7fa2
  danmatichuk

  committed
  f4f7fa2