Code

RFC: Remove spec & file analyses#1281

Code

Merged

michael-schwarz merged 4 commits intomastergoblint/analyzer:masterfrom remove_file_and_specgoblint/analyzer:remove_file_and_specCopy head branch name to clipboardDec 5, 2023

+8-2,731

Commits

Commits on Dec 1, 2023

• RFC: Remove spec & file analysis

  michael-schwarz

  committed
  89698bc

  Copy full SHA for 89698bc

• Rm: Mainspec

  michael-schwarz

  committed
  9e0ef1c

  Copy full SHA for 9e0ef1c

Commits on Dec 4, 2023

• Rm further spurious domains

  michael-schwarz

  committed
  9891391

  Copy full SHA for 9891391

Commits on Dec 5, 2023

• Remove two ignores of spec analysis

  sim642

  committed
  dff61c9

  Copy full SHA for dff61c9