Code

Increased release version to 5.77.0#7545

Code

Merged

esteffin merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

esteffin:esteffin/release_5_77_0esteffin/cbmc:esteffin/release_5_77_0Copy head branch name to clipboard

Feb 16, 2023

Commits

Commits on Feb 16, 2023

• Increased release version to 5.77.0

  

  Enrico Steffinlongo

  committed
  0af478e

  Copy full SHA for 0af478e