Code

RFC: Remove support for MSVC#52

Code

Merged

michael-schwarz merged 13 commits intodevelopgoblint/cil:developfrom no_msvcgoblint/cil:no_msvcCopy head branch name to clipboardDec 2, 2021

+267-1,756

Commits

Commits on Nov 28, 2021

• Remove many msvc things

  michael-schwarz

  committed
  5fd3f42

  Copy full SHA for 5fd3f42

• Remove try/except from frontc

  michael-schwarz

  committed
  7387626

  Copy full SHA for 7387626

• More MSVC stuff removed

  michael-schwarz

  committed
  68a9cfa

  Copy full SHA for 68a9cfa

• Removing MSVC more

  michael-schwarz

  committed
  bf79f1b

  Copy full SHA for bf79f1b

• Remove remaining MSVC things

  michael-schwarz

  committed
  b01b404

  Copy full SHA for b01b404

• Add dropping of MSVC to CHANGES

  michael-schwarz

  committed
  f1c32dc

  Copy full SHA for f1c32dc

• rm unreachable error message

  michael-schwarz

  committed
  e198cbb

  Copy full SHA for e198cbb

Commits on Nov 29, 2021

• Remove MSATTR from Parser & Lexer

  michael-schwarz

  committed
  a7dbbf0

  Copy full SHA for a7dbbf0

• Remove EDG support

  michael-schwarz

  committed
  a9e9829

  Copy full SHA for a9e9829

• Remove EGCS support

  michael-schwarz

  committed
  85f93fd

  Copy full SHA for 85f93fd

• Rm superfluous parens

  michael-schwarz

  committed
  b6d354f

  Copy full SHA for b6d354f

Commits on Dec 2, 2021

• remove properties with no GCC support

  michael-schwarz

  committed
  75ccf02

  Copy full SHA for 75ccf02

• Update comment

  michael-schwarz

  committed
  d305573

  Copy full SHA for d305573