Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Feb 21, 2022

• Fix #10391 bug hunting; crash for small C-code (#3846)

  chrchr-github

  authored
  bedde0a

  Copy full SHA for bedde0a

Commits on Feb 10, 2022

• removed OVERRIDE and FINAL defines and use the keywords directly (#3767)

  firewave

  authored
  f32583e

  Copy full SHA for f32583e

Commits on Feb 5, 2022

• Update copyright year

  danmar

  committed
  3989408

  Copy full SHA for 3989408

Commits on Jan 27, 2022

• avoid dependency on transitive includes - based on include-what-you-use (#3757)

  firewave

  authored
  171da2e

  Copy full SHA for 171da2e

Commits on Jan 3, 2022

• exprengine: reduce max buffer size to int_max

  danmar

  committed
  3524a0a

  Copy full SHA for 3524a0a

• exprengine: better checking for uninit variables

  danmar

  committed
  33305ef

  Copy full SHA for 33305ef

Commits on Nov 29, 2021

• ASSERT() on calls to Tokenizer::tokenize() in test code (#3501)

  chrchr-github

  authored
  ca311eb

  Copy full SHA for ca311eb

Commits on Aug 7, 2021

• Format with uncrustify (#3388)

  pfultz2

  authored
  7f358b2

  Copy full SHA for 7f358b2

Commits on Jul 20, 2021

• Find reference to dangling unique ptr (#3344)

  pfultz2

  authored
  8efe1d4

  Copy full SHA for 8efe1d4

Commits on Apr 3, 2021

• cleaned up includes based on include-what-you-use (#3141)

  firewave

  authored
  6397e29

  Copy full SHA for 6397e29

Commits on Mar 21, 2021

• Update Copyright year

  danmar

  committed
  4243727

  Copy full SHA for 4243727

Commits on Dec 26, 2020

• ExprEngine: Handling cases when for condition is always false (#2984)

  jubnzv

  authored
  1c12b4f

  Copy full SHA for 1c12b4f

Commits on Dec 22, 2020

• ExprEngine: Add condition branches for the while loops (#2970)

  jubnzv

  authored
  259f562

  Copy full SHA for 259f562

• ExprEngine: use 'real' instead of 'fpa' values in latest Z3 for floats

  danmar

  committed
  a9e7974

  Copy full SHA for a9e7974

• ExprEngine; add a 'stupid' handling of floating point promotions for integers

  danmar

  committed
  315892d

  Copy full SHA for 315892d

• ExprEngine; Fix problem when float suffix is used

  danmar

  committed
  1812951

  Copy full SHA for 1812951

• ExprEngine; Avoid overspecified constraints

  danmar

  committed
  347fccb

  Copy full SHA for 347fccb

• ExprEngine: Add FP and String literals in determining that condition can (#2969)

  jubnzv

  authored
  0731df7

  Copy full SHA for 0731df7

Commits on Dec 21, 2020

• TestExprEngine: Fix for ubuntu 18.04. Replace '(/ 123.0 10.0)' with '12.3'

  danmar

  committed
  01ac407

  Copy full SHA for 01ac407

• ExprEngine; Fix floating point comparison

  danmar

  committed
  c3e7989

  Copy full SHA for c3e7989

Commits on Dec 20, 2020

• ExprEngine: Added ifIntRangeAlwaysFalse and ifIntRangeAlwaysTrue tests

  danmar

  committed
  5701f6d

  Copy full SHA for 5701f6d

• Revert "ExprEngine: Fixed float value"

  Show description for 229e39e
  danmar

  committed
  229e39e

  Copy full SHA for 229e39e

• ExprEngine: Fixed float value

  danmar

  committed
  1f9edc6

  Copy full SHA for 1f9edc6

Commits on Dec 17, 2020

• Bug hunting; void* => might point at uninitialized data

  danmar

  committed
  75f2ab2

  Copy full SHA for 75f2ab2

Commits on Dec 16, 2020

• Bug hunting; Remove old value from array when it is overwritten

  danmar

  committed
  8619bfe

  Copy full SHA for 8619bfe

Commits on Dec 14, 2020

• Bug hunting; Fixed array init

  danmar

  committed
  8263541

  Copy full SHA for 8263541

• Bug hunting; Better result from function that returns unknown pointer result

  danmar

  committed
  1161190

  Copy full SHA for 1161190

Commits on Dec 13, 2020

• Bug hunting; Fix for '*x=y'

  danmar

  committed
  bf951ea

  Copy full SHA for bf951ea

• TestExprEngine: Temporary convert ASSERT_EQUALS to TODO_ASSERT_EQUALS

  danmar

  committed
  be4de06

  Copy full SHA for be4de06

• ExprEngine: Handle pointers to struct as function argument (#2945)

  jubnzv

  authored
  36ab23f

  Copy full SHA for 36ab23f

• CI: Fix testrunner

  danmar

  committed
  81c3ac7

  Copy full SHA for 81c3ac7

• Bug hunting: Handle not better

  danmar

  committed
  b18dc0f

  Copy full SHA for b18dc0f

• Bug hunting; better handling of early return

  danmar

  committed
  be16b2c

  Copy full SHA for be16b2c

Commits on Dec 12, 2020

• Travis: ExprEngine debug output was changed, corrected tests.

  danmar

  committed
  2cf6217

  Copy full SHA for 2cf6217

• ExprEngine: Avoid analyzing unreachable execution paths

  danmar

  committed
  d0f7003

  Copy full SHA for d0f7003