Code

feat: give all next calls a label#61

Code

Merged

croyzor merged 5 commits intomainCQCL/brat:mainfrom holes-drive-bysCQCL/brat:holes-drive-bysCopy head branch name to clipboardDec 3, 2024

+43-24

Commits

Commits on Dec 3, 2024

• feat: give all next calls a label

  croyzor

  committed
  d505b49

• Update brat/Brat/Checker/SolvePatterns.hs

  Show description for b894739
  

  croyzor

  and

  acl-cqc

  authored
  b894739

• Update brat/Brat/Load.hs

  Show description for d4d1e0c
  

  croyzor

  and

  acl-cqc

  authored
  d4d1e0c

• Update brat/Brat/Checker.hs

  Show description for 980fc2c
  

  croyzor

  and

  acl-cqc

  authored
  980fc2c

• Cosmetic changes

  croyzor

  committed
  e88aea9