Code

293 convert partial#304

Code

Merged

john-h-kastner merged 8 commits intomastercorrectcomputation/checkedc-clang:masterfrom

293ConvertPartialcorrectcomputation/checkedc-clang:293ConvertPartialCopy head branch name to clipboard

Oct 28, 2020

Commits

Commits on Oct 22, 2020

• Fix for issue #293

  Show description for b80ba17
  john-h-kastner

  committed
  b80ba17

  Copy full SHA for b80ba17

• Add tests for converting paritaly checked pointers

  john-h-kastner

  committed
  11d8db1

  Copy full SHA for 11d8db1

• Test for partially checked function pointer

  john-h-kastner

  committed
  2e577b2

  Copy full SHA for 2e577b2

Commits on Oct 26, 2020

• Merge remote-tracking branch 'public/master' into 293ConvertPartial

  john-h-kastner

  committed
  56fd248

  Copy full SHA for 56fd248

Commits on Oct 27, 2020

• Merge remote-tracking branch 'public/master' into 293ConvertPartial

  john-h-kastner

  committed
  653c567

  Copy full SHA for 653c567

• FunctionVariableConstraint return and param vars changed to PVConstraints

  john-h-kastner

  committed
  c531cb1

  Copy full SHA for c531cb1

• Handle partialy checked extern functions

  john-h-kastner

  committed
  8139e9d

  Copy full SHA for 8139e9d

• Add tests for partialy checked array pointers

  john-h-kastner

  committed
  2f74c07

  Copy full SHA for 2f74c07