Code

Remove VISITED_STAT#5261

Code

Draft

ChrisJefferson wants to merge 6 commits intogap-system:mastergap-system/gap:masterfrom ChrisJefferson:remove_visitedChrisJefferson/gap:remove_visitedCopy head branch name to clipboard

+56-58

Commits

Commits on Jan 23, 2024

• Stop using VISITED_STAT and SET_VISITED_STAT in profiling

  ChrisJefferson

  committed
  70d4fd7

  Copy full SHA for 70d4fd7

• Remove profiledPreviously, as no need to track this any more

  ChrisJefferson

  committed
  fea3f62

  Copy full SHA for fea3f62

• Remove VISITED_STAT and SET_VISITED_STAT

  ChrisJefferson

  committed
  682abd3

  Copy full SHA for 682abd3

• Increment minor kernel version to denote changes to profile generation

  ChrisJefferson

  committed
  0ffedbe

  Copy full SHA for 0ffedbe

• remove unused function, declare markVisited as static

  

  fingolfin

  authored and

  ChrisJefferson

  committed
  971d2c0

  Copy full SHA for 971d2c0

• Add some comments to profiling and interpreter hooking

  ChrisJefferson

  committed
  aaeae1a

  Copy full SHA for aaeae1a