Code

Add documentation for prove_bisim#1937

Code

Merged

mergify[bot] merged 4 commits intomasterGaloisInc/saw-script:masterfrom bb/bisim-docsGaloisInc/saw-script:bb/bisim-docsCopy head branch name to clipboardSep 15, 2023

+286-5

Commits

Commits on Sep 15, 2023

• Add documentation for prove_bisim

  Show description for c73d991
  

  Brett Boston

  committed
  c73d991

  Copy full SHA for c73d991

• Apply suggestions from code review

  Show description for afa5cd3
  

  bboston7

  and

  RyanGlScott

  authored
  afa5cd3

  Copy full SHA for afa5cd3

• Add small subsection on prove_bisim proof goal

  

  Brett Boston

  committed
  0d59348

  Copy full SHA for 0d59348

• Merge branch 'master' into bb/bisim-docs

  mergify[bot]

  authored
  3d61bff

  Copy full SHA for 3d61bff