Commits

Breadcrumbs

History for

on4b44afe

User selector

All users

All time

Commit History

Commits on Apr 21, 2020

• C++: IR translation for binary conditional operator

  Show description for 1428811
  

  Dave Bartolomeo

  committed
  1428811

  Copy full SHA for 1428811

Commits on Apr 20, 2020

• Merge pull request #3151 from dbartol/dbartol/floats

  Show description for 875daae
  jbj

  authored
  875daae

  Copy full SHA for 875daae

Commits on Apr 18, 2020

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  8041b74

  Copy full SHA for 8041b74

• C++/C#: Add missing QLDoc

  

  Dave Bartolomeo

  committed
  de5abdb

  Copy full SHA for de5abdb

Commits on Apr 17, 2020

• Merge pull request #3272 from dbartol/dbartol/DumpFixes

  Show description for 9008084
  

  Robert Marsh

  authored
  9008084

  Copy full SHA for 9008084

• Merge branch 'master' into ir-flow-fields

  MathiasVP

  committed
  ba0429c

  Copy full SHA for ba0429c

• Merge remote-tracking branch 'upstream/rc/1.24' into mergeback-2020-04-17

  jbj

  committed
  c970e8a

  Copy full SHA for c970e8a

Commits on Apr 16, 2020

• C++: IR construction for `_Imaginary` types

  Show description for c705797
  

  Dave Bartolomeo

  committed
  c705797

  Copy full SHA for c705797

• C++: Make PartialDefinitionNode private and add/update comments based on review comments

  MathiasVP

  committed
  62e2ffe

  Copy full SHA for 62e2ffe

• Merge remote-tracking branch 'upstream/master' into dbartol/floats

  

  Dave Bartolomeo

  committed
  3dd3b53

  Copy full SHA for 3dd3b53

Commits on Apr 15, 2020

• C++: Better type preservation in `getVariableType()`

  Show description for 2264ec7
  

  Dave Bartolomeo

  committed
  2264ec7

  Copy full SHA for 2264ec7

• C++/C#: Fix phantom `Chi` definitions in `PrintSSA`

  Show description for 90dc14c
  

  Dave Bartolomeo

  committed
  90dc14c

  Copy full SHA for 90dc14c

• Merge pull request #3256 from Semmle/rdmarsh/cpp/add-qldoc-1

  Show description for 86ba03b
  MathiasVP

  authored
  86ba03b

  Copy full SHA for 86ba03b

• Merge pull request #3268 from MathiasVP/ql-doc-negativitiy

  Show description for aa8f30c
  jbj

  authored
  aa8f30c

  Copy full SHA for aa8f30c

• Apply suggestions from code review

  Show description for 3d0ac53
  

  MathiasVP

  and

  jbj

  authored
  3d0ac53

  Copy full SHA for 3d0ac53

• C++: Add flow from #3220

  MathiasVP

  committed
  f02feac

  Copy full SHA for f02feac

• Merge remote-tracking branch 'upstream/rc/1.24' into alloc-size2

  geoffw0

  committed
  2aa64db

  Copy full SHA for 2aa64db

• Merge branch 'master' into ir-flow-fields

  MathiasVP

  committed
  209e084

  Copy full SHA for 209e084

• C++: Add QLDoc to public predicates in Negativity

  MathiasVP

  committed
  a2fbe9e

  Copy full SHA for a2fbe9e

• Merge pull request #3259 from MathiasVP/ql-doc-fileclosed-loopbounds-memoryfreed

  Show description for b603a3d
  jbj

  authored
  b603a3d

  Copy full SHA for b603a3d

• Merge pull request #3264 from Semmle/merge-rc/1.24

  Show description for 6eac35c
  jbj

  authored
  6eac35c

  Copy full SHA for 6eac35c

• Merge pull request #3265 from Semmle/rdmarsh/cpp/deprecate-isDefined

  Show description for ae11e7b
  jbj

  authored
  ae11e7b

  Copy full SHA for ae11e7b

Commits on Apr 14, 2020

• Merge rc/1.24 into master.

  chrisgavin

  committed
  4e981d8

  Copy full SHA for 4e981d8

• Merge pull request #3254 from dbartol/dbartol/ImplicitReturnValue2

  Show description for 146bfca
  

  Robert Marsh

  authored
  146bfca

  Copy full SHA for 146bfca

• C++: remove all uses of Declaration::isDefined

  

  Robert Marsh

  committed
  b5c0a0f

  Copy full SHA for b5c0a0f

• C++: deprecate Declaration::isDefined()

  

  Robert Marsh

  committed
  5ee6076

  Copy full SHA for 5ee6076

• C++: autoformat

  

  Robert Marsh

  committed
  7f5b3de

  Copy full SHA for 7f5b3de

• Update cpp/ql/src/Critical/FileClosed.qll

  Show description for 092145d
  

  MathiasVP

  and

  jbj

  authored
  092145d

  Copy full SHA for 092145d

• C++: Fix IR generation of `return` of `void` expression

  

  Dave Bartolomeo

  committed
  125a09c

  Copy full SHA for 125a09c

• Merge branch 'rc/1.24' into update-references

  felicitymay

  committed
  c570ebe

  Copy full SHA for c570ebe

• C++: Format

  MathiasVP

  committed
  419b511

  Copy full SHA for 419b511

• C++: QLDoc for FileClosed, LoopBounds and MemoryFreed

  MathiasVP

  committed
  d8dcbe3

  Copy full SHA for d8dcbe3

Commits on Apr 13, 2020

• C++: add method qldoc in Class.qll

  

  Robert Marsh

  committed
  10824f9

  Copy full SHA for 10824f9

• C++: Connect `InitializeIndirection` to `UnmodeledDefinition`

  Show description for 1bde117
  

  Dave Bartolomeo

  committed
  1bde117

  Copy full SHA for 1bde117

• C++: Treat implicit end of body of non`-void` function as `Unreached`

  Show description for 603a3af
  

  Dave Bartolomeo

  committed
  603a3af

  Copy full SHA for 603a3af