Commits

Breadcrumbs

History for

on1b38208

User selector

All users

All time

Commit History

Commits on Jul 11, 2019

• Merge pull request #1567 from jbj/ir-operand-cycles

  Show description for 1b38208
  dave-bartolomeo

  authored
  1b38208

  Copy full SHA for 1b38208

• Merge pull request #1541 from jbj/ir-operand-exact

  Show description for c73b516
  dave-bartolomeo

  authored
  c73b516

  Copy full SHA for c73b516

• Merge pull request #1554 from jbj/ir-ErrorExpr

  Show description for 00ff2bb
  dave-bartolomeo

  authored
  00ff2bb

  Copy full SHA for 00ff2bb

• Merge pull request #1566 from rdmarsh2/rdmarsh/cpp/pure-functions-effect-model

  Show description for 23001d5
  jbj

  authored
  23001d5

  Copy full SHA for 23001d5

• C++: respond to PR comments

  

  Robert Marsh

  committed
  c195420

  Copy full SHA for c195420

• Merge pull request #1580 from jbj/inconsistent-loop-direction-perf

  Show description for db6be05
  geoffw0

  authored
  db6be05

  Copy full SHA for db6be05

• C++ IR: Fix soundness of ConstantAnalysis

  Show description for 2324ce7
  jbj

  committed
  2324ce7

  Copy full SHA for 2324ce7

• C++ IR: getAnyDef -> getDef in RangeUtils.qll

  Show description for 7fb43a5
  jbj

  committed
  7fb43a5

  Copy full SHA for 7fb43a5

• Merge pull request #1581 from jbj/revert-noTarget-workaround

  Show description for 463547f
  ian-semmle

  authored
  463547f

  Copy full SHA for 463547f

• C++ IR: Fix SignAnalysis after getAnyDef -> getDef

  Show description for c831c4b
  jbj

  committed
  c831c4b

  Copy full SHA for c831c4b

• Merge pull request #1575 from jbj/UncheckedLeapYear-bb

  Show description for 59964bd
  geoffw0

  authored
  59964bd

  Copy full SHA for 59964bd

• Revert "C++: Work around extractor issue CPP-383"

  Show description for ee5eaef
  jbj

  committed
  ee5eaef

  Copy full SHA for ee5eaef

• C++: Fix inconsistent-loop-direction performance

  Show description for e523f93
  jbj

  committed
  e523f93

  Copy full SHA for e523f93

Commits on Jul 10, 2019

• C++: move strstr back into main pure str model

  

  Robert Marsh

  committed
  72f9add

  Copy full SHA for 72f9add

• C++ IR: Fix calls to non-existent predicates

  Show description for 52cfbff
  jbj

  committed
  52cfbff

  Copy full SHA for 52cfbff

• Apply suggestions from code review

  Show description for 6d87c05
  

  jbj

  and

  dave-bartolomeo

  authored
  6d87c05

  Copy full SHA for 6d87c05

• C++ IR: Move ErrorExpr filter to TranslatedElement

  Show description for 70f81ba
  jbj

  committed
  70f81ba

  Copy full SHA for 70f81ba

• C++: Fix performance of unchecked leap year query

  Show description for 21c6340
  jbj

  committed
  21c6340

  Copy full SHA for 21c6340

Commits on Jul 9, 2019

• Merge pull request #1571 from jbj/ir-operand-cached

  Show description for e087b6c
  dave-bartolomeo

  authored
  e087b6c

  Copy full SHA for e087b6c

• C++: model returns of strstr and strpbrk

  

  Robert Marsh

  committed
  3804c1f

  Copy full SHA for 3804c1f

• C++ IR: make `isInCycle` fast

  Show description for 523fc9c
  jbj

  committed
  523fc9c

  Copy full SHA for 523fc9c

• C++ IR: Make TOperand cached

  Show description for 9ee8a89
  jbj

  committed
  9ee8a89

  Copy full SHA for 9ee8a89

• C++: Use Opcode::Error for ErrorExpr translation

  jbj

  committed
  4324c97

  Copy full SHA for 4324c97

• C++ IR: Translate ErrorExpr to NoOp

  jbj

  committed
  a86ddd5

  Copy full SHA for a86ddd5

• C++ IR: guard against cycles in operand graph

  Show description for 39854a3
  jbj

  committed
  39854a3

  Copy full SHA for 39854a3

• C++ IR: Don't propagate GVN through non-exact Copy

  Show description for da13dc6
  jbj

  committed
  da13dc6

  Copy full SHA for da13dc6

• Merge pull request #1552 from jbj/ir-builtin_addressof

  Show description for 7bbfffe
  dave-bartolomeo

  authored
  7bbfffe

  Copy full SHA for 7bbfffe

• Merge pull request #1551 from jbj/ir-DeleteExpr-placeholder

  Show description for 52e0f3f
  dave-bartolomeo

  authored
  52e0f3f

  Copy full SHA for 52e0f3f

Commits on Jul 8, 2019

• C++: alias and side effect info for pure functions

  

  Robert Marsh

  committed
  41e4d92

  Copy full SHA for 41e4d92

• Merge pull request #1562 from geoffw0/models

  Show description for 11581e4
  

  Robert Marsh

  authored
  11581e4

  Copy full SHA for 11581e4

• CPP: Fix typo.

  geoffw0

  committed
  29e3e2a

  Copy full SHA for 29e3e2a

Commits on Jul 5, 2019

• C++: Fix DeclarationHidesVariable FP

  Show description for 8d3cb78
  jbj

  committed
  8d3cb78

  Copy full SHA for 8d3cb78

• C++ IR: Support __builtin_addressof

  jbj

  committed
  4b4e7ca

  Copy full SHA for 4b4e7ca

• C++: Placeholder translation of delete expressions

  Show description for 6fe9945
  jbj

  committed
  6fe9945

  Copy full SHA for 6fe9945

Commits on Jul 4, 2019

• Merge pull request #1535 from geoffw0/nospacezero

  Show description for 2f87873
  jbj

  authored
  2f87873

  Copy full SHA for 2f87873