Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 21, 2021

• Update Copyright year

  danmar

  committed
  4243727

  Copy full SHA for 4243727

Commits on Feb 24, 2021

• Refactorization: Improved internal implementation of severity and certainty levels

  Show description for 141d2ac
  

  PKEuS

  authored and

  danmar

  committed
  141d2ac

  Copy full SHA for 141d2ac

Commits on Sep 24, 2020

• Fix crash in cbmc detected with daca@home

  danmar

  committed
  093ff58

  Copy full SHA for 093ff58

Commits on May 23, 2020

• made check.h less heavy (#2633)

  firewave

  authored
  37bc048

  Copy full SHA for 37bc048

Commits on May 10, 2020

• Update copyright year

  danmar

  committed
  08ddd84

  Copy full SHA for 08ddd84

• Revert "Update copyright year"

  Show description for 3e02182
  danmar

  committed
  3e02182

  Copy full SHA for 3e02182

• Update copyright year

  danmar

  committed
  6eec6c4

  Copy full SHA for 6eec6c4

Commits on Apr 18, 2020

• Consider pre{inc,dec}rements on assert checks (#2605)

  Show description for 7c93f51
  michaelgruner

  authored
  7c93f51

  Copy full SHA for 7c93f51

Commits on Feb 9, 2019

• Update copyright year

  danmar

  committed
  bd7790f

  Copy full SHA for bd7790f

Commits on Dec 28, 2018

• Patch assert warning lib/checkassert.cpp (#1543)

  Show description for 2250497
  

  Oliver Schode

  authored and

  danmar

  committed
  2250497

  Copy full SHA for 2250497

Commits on Nov 9, 2018

• Use functions instead of comparing with enum (#1471)

  Show description for a3e717b
  

  rikardfalkeborn

  authored and

  danmar

  committed
  a3e717b

  Copy full SHA for a3e717b

Commits on Jun 16, 2018

• Rename _tokenizer, _settings, _errorLogger

  danmar

  committed
  79ffe1d

  Copy full SHA for 79ffe1d

Commits on Jun 10, 2018

• Updated copyright year for modified files

  Show description for 45379a3
  danmar

  committed
  45379a3

  Copy full SHA for 45379a3

Commits on Apr 27, 2018

• Refactoring; Renamed Scope::classStart and Scope::classEnd

  danmar

  committed
  f336c2e

  Copy full SHA for f336c2e

Commits on Apr 9, 2018

• Suppressions: New extensible Suppressions xml format that allow more attributes. To start with it also allows symbolName.

  danmar

  committed
  a090614

  Copy full SHA for a090614

Commits on Jan 14, 2018

• Updated copyright year

  danmar

  committed
  c4caee6

  Copy full SHA for c4caee6

Commits on Jul 26, 2017

• Refactoring: Use continue in loop

  danmar

  committed
  da26ef0

  Copy full SHA for da26ef0

Commits on May 27, 2017

• iwyu - include what you use

  

  mathbunnyru

  authored and

  danmar

  committed
  28aa939

  Copy full SHA for 28aa939

Commits on Apr 11, 2017

• Refactorization: Reimplemented Settings::_enabled as a bitfeld instead of std::set (#7995)

  PKEuS

  committed
  b1f4bd7

  Copy full SHA for b1f4bd7

Commits on Nov 27, 2016

• Fix some typos in comments (found by codespell)

  Show description for 57b5742
  stweil

  committed
  57b5742

  Copy full SHA for 57b5742

Commits on May 26, 2016

• Fixed #7130 (Wrong assignmentInAssert when using lambda in predicate function)

  danmar

  committed
  2a42f24

  Copy full SHA for 2a42f24

Commits on Feb 26, 2016

• Mapped toomanyconfigs ,AssignmentAddressToInteger

  Show description for d3645d8
  boos

  committed
  d3645d8

  Copy full SHA for d3645d8

Commits on Jan 1, 2016

• Update copyright year to 2007-2016.

  lanurmi

  committed
  996c924

  Copy full SHA for 996c924

Commits on Nov 18, 2015

• Changed Copyrights. Removed my name.

  danmar

  committed
  0f9d90d

  Copy full SHA for 0f9d90d

Commits on Aug 15, 2015

• Added pointer to Type to Token (similar to Token::Variable() and Token::function()):

  Show description for 4d80df2
  PKEuS

  committed
  4d80df2

  Copy full SHA for 4d80df2

Commits on Apr 1, 2015

• Formatting cleanup, better variable name

  Dmitry-Me

  committed
  7b69396

  Copy full SHA for 7b69396

Commits on Jan 8, 2015

• Fixed #6422 (symbol database: put function flags into a single flag variable)

  

  IOBYTE

  authored and

  danmar

  committed
  ba1c24e

  Copy full SHA for ba1c24e

Commits on Jan 3, 2015

• Updated copyright year to 2015

  danmar

  committed
  ff11ba9

  Copy full SHA for ff11ba9

Commits on Aug 6, 2014

• Refactorized CheckAssert::assertWithSideEffects():

  Show description for 8da61ab
  PKEuS

  committed
  8da61ab

  Copy full SHA for 8da61ab

Commits on Jul 14, 2014

• Get rid of tokAt() and strAt() in trivial cases.

  Dmitry-Me

  committed
  2989f70

  Copy full SHA for 2989f70

Commits on Jul 2, 2014

• Negation not needed anymore.

  Dmitry-Me

  committed
  b38e43e

  Copy full SHA for b38e43e

Commits on Jul 1, 2014

• Break the loop once the result can no longer change.

  Dmitry-Me

  committed
  454dd0a

  Copy full SHA for 454dd0a

Commits on Feb 16, 2014

• use nullptr

  danmar

  committed
  23efc68

  Copy full SHA for 23efc68

Commits on Feb 15, 2014

• Update copyright

  danmar

  committed
  fd3a8a2

  Copy full SHA for fd3a8a2

Commits on Aug 22, 2013

• Fixed #4937 (false positive: Assert calls a function which may have desired side effects)

  

  amai2012

  authored and

  danmar

  committed
  986ec42

  Copy full SHA for 986ec42

Pagination

Previous

Next