Commits

Branch selector

 master

User selector

petr-bauch

Datepicker

All time

Commit History

Commits on Jan 9, 2020

• Merge pull request #325 from xbauch/feature/pointer-to-object

  Show description for 276b09f
  petr-bauch

  authored
  276b09f

  Copy full SHA for 276b09f

Commits on Jan 8, 2020

• Fix based on comments

  petr-bauch

  committed
  8612cbd

  Copy full SHA for 8612cbd

• Add support to access-to-object type

  Show description for e47f6d2
  petr-bauch

  committed
  e47f6d2

  Copy full SHA for e47f6d2

Commits on Dec 17, 2019

• Bump CBMC to develop

  Show description for 5d359fd
  petr-bauch

  committed
  5d359fd

  Copy full SHA for 5d359fd

• Include function info in assertions

  Show description for 1038feb
  petr-bauch

  committed
  1038feb

  Copy full SHA for 1038feb

• Merge pull request #315 from hannes-steffenhagen-diffblue/feature/report_unhandled_aggregate_kind

  Show description for 97d3791
  petr-bauch

  authored
  97d3791

  Copy full SHA for 97d3791

Commits on Dec 10, 2019

• Merge pull request #287 from xbauch/feature/index-check

  Show description for 5f2ff82
  petr-bauch

  authored
  5f2ff82

  Copy full SHA for 5f2ff82

• Update golden results

  petr-bauch

  committed
  d2e1e11

  Copy full SHA for d2e1e11

• Update tests and add a specific one

  Show description for ec57e38
  petr-bauch

  committed
  ec57e38

  Copy full SHA for ec57e38

• Handle the case of private typed arrays

  Show description for 222b828
  petr-bauch

  committed
  222b828

  Copy full SHA for 222b828

• Implement index check

  Show description for 5cf66df
  petr-bauch

  committed
  5cf66df

  Copy full SHA for 5cf66df

• Refactor do-constant

  Show description for 6d08206
  petr-bauch

  committed
  6d08206

  Copy full SHA for 6d08206

Commits on Nov 26, 2019

• Merge pull request #289 from xbauch/remove/test-discriminant-record

  Show description for e7883c2
  petr-bauch

  authored
  e7883c2

  Copy full SHA for e7883c2

• Fix discriminated record

  Show description for 61f2883
  petr-bauch

  committed
  61f2883

  Copy full SHA for 61f2883

Commits on Nov 15, 2019

• Some extra ignores

  Show description for 8e8f9d3
  petr-bauch

  committed
  8e8f9d3

  Copy full SHA for 8e8f9d3

• Sometimes ignore null statement in declarations

  Show description for 6f7dd2c
  petr-bauch

  committed
  6f7dd2c

  Copy full SHA for 6f7dd2c

• Merge pull request #306 from xbauch/feature/no-return-pragma

  Show description for e1c0373
  petr-bauch

  authored
  e1c0373

  Copy full SHA for e1c0373

• Handle no-return pragmas

  Show description for e8c3c92
  petr-bauch

  committed
  e8c3c92

  Copy full SHA for e8c3c92

• Merge pull request #295 from xbauch/feature/basic-exceptions

  Show description for 4f1de7e
  petr-bauch

  authored
  4f1de7e

  Copy full SHA for 4f1de7e

• Update golden results

  petr-bauch

  committed
  c7de40a

  Copy full SHA for c7de40a

• Implement basic exception handling

  Show description for 2ca45d0
  petr-bauch

  committed
  2ca45d0

  Copy full SHA for 2ca45d0

Commits on Nov 14, 2019

• String and bool helper functions

  Show description for 8fd9e7a
  petr-bauch

  committed
  8fd9e7a

  Copy full SHA for 8fd9e7a

Commits on Nov 1, 2019

• Merge pull request #293 from xbauch/feature/function-pointers

  Show description for f20ebf3
  petr-bauch

  authored
  f20ebf3

  Copy full SHA for f20ebf3

• Update golden results

  petr-bauch

  committed
  9e4e37c

  Copy full SHA for 9e4e37c

• Implement function and procedure pointer support

  Show description for f392878
  petr-bauch

  committed
  f392878

  Copy full SHA for f392878

• Only make new type if unknown

  Show description for 95810db
  petr-bauch

  committed
  95810db

  Copy full SHA for 95810db

• Merge pull request #284 from xbauch/feature/explicit-ada-checks

  Show description for bcc143e
  petr-bauch

  authored
  bcc143e

  Copy full SHA for bcc143e

• Update golden results

  petr-bauch

  committed
  2d59421

  Copy full SHA for 2d59421

• Update test results

  Show description for dab3495
  petr-bauch

  committed
  dab3495

  Copy full SHA for dab3495

• Include file name in range-check test

  Show description for 4cb4b97
  petr-bauch

  committed
  4cb4b97

  Copy full SHA for 4cb4b97

• Replace checks in tree-walk

  Show description for 85ac793
  petr-bauch

  committed
  85ac793

  Copy full SHA for 85ac793

• Add div-by-zero check

  Show description for 060e32a
  petr-bauch

  committed
  060e32a

  Copy full SHA for 060e32a

• Add overflow-check

  Show description for ae04008
  petr-bauch

  committed
  ae04008

  Copy full SHA for ae04008

• Add utility functions

  Show description for 365dd44
  petr-bauch

  committed
  365dd44

  Copy full SHA for 365dd44

Commits on Sep 19, 2019

• Merge pull request #283 from xbauch/feature/trevor-subtype_constraint

  Show description for 625f6e1
  petr-bauch

  authored
  625f6e1

  Copy full SHA for 625f6e1

Pagination

Previous

Next