Code

Improve comments heuristic#389

Code

Draft

Nadrieril wants to merge 5 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom Nadrieril:tweak-commentsNadrieril/charon:tweak-commentsCopy head branch name to clipboard

+120-51

Commits

Commits on Oct 6, 2024

• Use the beginning of the line to recover comments

  Nadrieril

  committed
  5f8035b

  Copy full SHA for 5f8035b

• Improve comments heuristic

  Nadrieril

  committed
  9c57a1e

  Copy full SHA for 9c57a1e

• Don't assign comments to fake_read

  Nadrieril

  committed
  14423d9

  Copy full SHA for 14423d9

• tmp

  Nadrieril

  committed
  261e96f

  Copy full SHA for 261e96f

• tmp

  Nadrieril

  committed
  d3d013c

  Copy full SHA for d3d013c