Code

Reinstate carbon#577

Code

Merged

bobismijnnaam merged 17 commits intodevutwente-fmt/vercors:devfrom add-carbon-comment-KeY-abruptutwente-fmt/vercors:add-carbon-comment-KeY-abruptCopy head branch name to clipboardFeb 11, 2021

+241-4,463

Commits

Commits on Sep 15, 2020

• Some progress reinstating carbon. BoogieInterface.scala:55 gives error output for boogie still

  bobismijnnaam

  committed
  5034063

• Remove old boogies, add new one, and fix an npe in case carbon trips

  bobismijnnaam

  committed
  de2a9d9

• Figure out that apparently if mono version > 6 it fails. (6.0 seems fine)

  bobismijnnaam

  committed
  bd1f6b8

Commits on Dec 6, 2020

• Carbon seems to work again!

  Show description for 652eb9d
  bobismijnnaam

  committed
  652eb9d

Commits on Jan 26, 2021

• Update from dev branch

  bobismijnnaam

  committed
  1b56096

• Oops, forgot a merge conflict

  bobismijnnaam

  committed
  e51e9ee

• Add missing argument in warning

  bobismijnnaam

  committed
  33687d0

Commits on Feb 8, 2021

• Add carbon here and there a few times and remove code smell

  bobismijnnaam

  committed
  42be648

• Enable carbon also in the CI test suite

  bobismijnnaam

  committed
  f2e8cd7

• Oops, need to be a bit stricter about not allowing chalice

  bobismijnnaam

  committed
  a22e72b

• Hmmm

  bobismijnnaam

  committed
  22b0051

Commits on Feb 9, 2021

• Add debug tracing to workers

  bobismijnnaam

  committed
  bda5b32

• Temporarily disable silicon tests

  bobismijnnaam

  committed
  24d5399

• Implement github output log folding syntax

  bobismijnnaam

  committed
  2dc4e50

• Re-enable silicon tests, freezing is not reproducible

  bobismijnnaam

  committed
  e509c21

Commits on Feb 11, 2021

• Remove unused code, check for null in isFinished which is triggered when an executed command is not present, and add timeout and sleep to getMonoVersion for efficiency

  bobismijnnaam

  committed
  8f10cb5

• Simplified getMonoVersion by just using Java's own process stuff

  bobismijnnaam

  committed
  b3d8e88