Commits

Breadcrumbs

History for

on29cd6a9

User selector

All users

All time

Commit History

Commits on Dec 18, 2019

• Merge pull request #2531 from dbartol/dbartol/MissingToString

  Show description for e7283af
  jbj

  authored
  e7283af

  Copy full SHA for e7283af

• Merge pull request #2546 from MathiasVP/arguments-source-qltest

  Show description for 66d49a4
  jbj

  authored
  66d49a4

  Copy full SHA for 66d49a4

Commits on Dec 17, 2019

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

  

  Dave Bartolomeo

  committed
  2408230

  Copy full SHA for 2408230

• C++: Added test for 333d0a69

  MathiasVP

  committed
  1d3ee71

  Copy full SHA for 1d3ee71

Commits on Dec 16, 2019

• Update cpp/ql/test/library-tests/files/Files.ql

  Show description for 0a1fa08
  

  geoffw0

  and

  max-schaefer

  authored
  0a1fa08

  Copy full SHA for 0a1fa08

• C++: Fix the XMLParent Constructor.

  geoffw0

  committed
  f990634

  Copy full SHA for f990634

• C++: Extend the files test to cover the issue with XMLParent.

  geoffw0

  committed
  a6407f0

  Copy full SHA for a6407f0

• C++: Modernize the files tests.

  geoffw0

  committed
  c4c1dfa

  Copy full SHA for c4c1dfa

Commits on Dec 14, 2019

• C++: Fix `toString()` predicates that don't hold

  

  Dave Bartolomeo

  committed
  914288d

  Copy full SHA for 914288d

Commits on Dec 6, 2019

• C tests: generalize arguments tests

  Show description for 6bdf186
  

  Henning Makholm

  committed
  6bdf186

  Copy full SHA for 6bdf186

Commits on Dec 4, 2019

• Merge from master and resolve conflicts

  

  Dave Bartolomeo

  committed
  cbb6797

  Copy full SHA for cbb6797

• Merge pull request #2438 from rdmarsh2/rdmarsh/ir-line-number-ids

  Show description for 50dc5e2
  

  Dave Bartolomeo

  authored
  50dc5e2

  Copy full SHA for 50dc5e2

Commits on Dec 2, 2019

• Clarify comment

  

  Dave Bartolomeo

  authored
  acc3d23

  Copy full SHA for acc3d23

Commits on Nov 28, 2019

• Merge remote-tracking branch 'upstream/master' into StackVariable

  Show description for 763b18c
  jbj

  committed
  763b18c

  Copy full SHA for 763b18c

Commits on Nov 26, 2019

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

  

  Dave Bartolomeo

  committed
  aa6bd07

  Copy full SHA for aa6bd07

• C++: simplify getDisplayOrderInBlock

  

  Robert Marsh

  committed
  e368d5d

  Copy full SHA for e368d5d

• Merge pull request #2421 from dbartol/dbartol/IndirectAlias

  Show description for c05cc77
  jbj

  authored
  c05cc77

  Copy full SHA for c05cc77

• C++/C#: Consistent handling of "may" vs. "must" memory accesses

  Show description for f3b4140
  

  Dave Bartolomeo

  committed
  f3b4140

  Copy full SHA for f3b4140

• Merge pull request #2402 from geoffw0/nospace

  Show description for b1745f5
  jbj

  authored
  b1745f5

  Copy full SHA for b1745f5

Commits on Nov 25, 2019

• C++/C#: use line numbers for instruction IDs

  Show description for 60b384a
  

  Robert Marsh

  committed
  60b384a

  Copy full SHA for 60b384a

• C++: Update `points_to.ql` test to use new bit offset format

  

  Dave Bartolomeo

  committed
  44c1c5a

  Copy full SHA for 44c1c5a

• Merge pull request #2376 from geoffw0/qhelpms2

  Show description for 8f39989
  jbj

  authored
  8f39989

  Copy full SHA for 8f39989

Commits on Nov 22, 2019

• C++: Add SSA sanity tests to IR tests

  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  eda47bf

  Copy full SHA for eda47bf

• C++/C#: Add IR SSA sanity tests

  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  51ff262

  Copy full SHA for 51ff262

• CPP: More consistency.

  geoffw0

  committed
  e274e01

  Copy full SHA for e274e01

• CPP: I believe these BUG labels were incorrect.

  geoffw0

  committed
  8fc59eb

  Copy full SHA for 8fc59eb

• CPP: Add the examples to the test.

  geoffw0

  committed
  a1b603e

  Copy full SHA for a1b603e

• CPP: Additional test case.

  geoffw0

  committed
  bbe6a1a

  Copy full SHA for bbe6a1a

Commits on Nov 21, 2019

• Merge pull request #1926 from jbj/ir-dataflow-toString

  Show description for dbe885f
  

  Robert Marsh

  authored
  dbe885f

  Copy full SHA for dbe885f

• Merge pull request #2399 from jbj/ExprHasNoEffect-templates

  Show description for 676e8a2
  geoffw0

  authored
  676e8a2

  Copy full SHA for 676e8a2

Commits on Nov 20, 2019

• CPP: Switch from a blacklist to whitelist approach for determining null termination.

  geoffw0

  committed
  e6ea705

  Copy full SHA for e6ea705

• CPP: Add a test case involving the std::string constructor.

  geoffw0

  committed
  fbd9d9b

  Copy full SHA for fbd9d9b

• CPP: Add a test case using 'new'.

  geoffw0

  committed
  6fc9cc5

  Copy full SHA for 6fc9cc5

• CPP: Add tests with different proof of zero-termination.

  geoffw0

  committed
  57c7a87

  Copy full SHA for 57c7a87

• CPP: Add proof of zero-termination to tests.

  geoffw0

  committed
  3c9fe91

  Copy full SHA for 3c9fe91