Code

Categorize exp options#516

Code

Merged

michael-schwarz merged 12 commits intomastergoblint/analyzer:masterfrom categorize_exp_optionsgoblint/analyzer:categorize_exp_optionsCopy head branch name to clipboardJan 8, 2022

+599-571

Commits

Commits on Jan 3, 2022

• Promote exp.solver.* to solvers.*

  michael-schwarz

  committed
  6d90edc

  Copy full SHA for 6d90edc

• Rename exp.witness.* -> witness.*

  michael-schwarz

  committed
  2c2925f

  Copy full SHA for 2c2925f

Commits on Jan 7, 2022

• Merge branch 'master' into categorize_exp_options

  michael-schwarz

  committed
  a7b5090

  Copy full SHA for a7b5090

• Rename exp.malloc.fail -> sem.malloc.fail

  michael-schwarz

  committed
  a28b110

  Copy full SHA for a28b110

• Rename exp.failing-locks -> sem.locks.fail

  michael-schwarz

  committed
  67bab69

  Copy full SHA for 67bab69

• Forgotten malloc change

  michael-schwarz

  committed
  04100fb

  Copy full SHA for 04100fb

• Rename exp.malloc.wrappers -> ana.malloc.wrappers

  michael-schwarz

  committed
  a61b34a

  Copy full SHA for a61b34a

• Move exp.partition-arrays -> ana.base.partition-arrays and exp.structs -> ana.base.structs.*

  michael-schwarz

  committed
  be49321

  Copy full SHA for be49321

• Rename exp.privatization -> ana.base.privatization

  michael-schwarz

  committed
  7585d8c

  Copy full SHA for 7585d8c

• Move exp.apron.priv *-> ana.apron.priv*

  michael-schwarz

  committed
  08bb448

  Copy full SHA for 08bb448

Commits on Jan 8, 2022

• Rename sem.locks.fail -> sem.lock.fail

  michael-schwarz

  committed
  fd58956

  Copy full SHA for fd58956

• Merge branch 'master' into categorize_exp_options

  michael-schwarz

  authored
  f3387b9

  Copy full SHA for f3387b9