Commits

Breadcrumbs

History for

on11ab2d6

User selector

All users

All time

Commit History

Commits on Mar 13, 2020

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  11ab2d6

  Copy full SHA for 11ab2d6

• C++: Fix failed tests

  Show description for 9922958
  

  Dave Bartolomeo

  committed
  9922958

  Copy full SHA for 9922958

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  4c0d5c9

  Copy full SHA for 4c0d5c9

Commits on Mar 12, 2020

• C++: Model dynamic initialization of static local variables in IR

  Show description for 1526400
  

  Dave Bartolomeo

  committed
  1526400

  Copy full SHA for 1526400

Commits on Mar 10, 2020

• Merge pull request #3006 from jbj/ir-no-static-init

  Show description for 66fd566
  

  Dave Bartolomeo

  authored
  66fd566

  Copy full SHA for 66fd566

• C++: Accept test output

  

  Dave Bartolomeo

  committed
  ef194d3

  Copy full SHA for ef194d3

• C++: Unroll recursion in inStaticInitializer

  Show description for bf43475
  jbj

  committed
  bf43475

  Copy full SHA for bf43475

• C++: Share the constant initializer detection

  Show description for 5e01b4b
  jbj

  committed
  5e01b4b

  Copy full SHA for 5e01b4b

• Merge pull request #3020 from aschackmull/dataflow/type-pruning-bigstep

  Show description for bd6c23d
  hvitved

  authored
  bd6c23d

  Copy full SHA for bd6c23d

• Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access

  Show description for 28a9bab
  jbj

  authored
  28a9bab

  Copy full SHA for 28a9bab

• C++: Allow multiple results in getValue

  MathiasVP

  committed
  8b467eb

  Copy full SHA for 8b467eb

Commits on Mar 9, 2020

• C++: Add testcase that previously resulted in a false positive

  MathiasVP

  committed
  1a5282a

  Copy full SHA for 1a5282a

• C++: Address review comments

  MathiasVP

  committed
  525a000

  Copy full SHA for 525a000

• Merge pull request #2994 from jbj/IRSanity-separate-file

  Show description for 9fae2fa
  

  Dave Bartolomeo

  authored
  9fae2fa

  Copy full SHA for 9fae2fa

• C++: Handle constant variable accesses in SimpleRangeAnalysis.qll

  MathiasVP

  committed
  6dee706

  Copy full SHA for 6dee706

• Merge pull request #3021 from aschackmull/dataflow/partial-path-perf

  Show description for 6a10516
  hvitved

  authored
  6a10516

  Copy full SHA for 6a10516

• Java/C++/C#: Fix performance issue in partial paths exploration.

  aschackmull

  committed
  a2bbacf

  Copy full SHA for a2bbacf

• Java/C++/C#: Sync.

  aschackmull

  committed
  f491fcd

  Copy full SHA for f491fcd

Commits on Mar 6, 2020

• C++: Accept test changes

  Show description for 0cd3eb7
  jbj

  committed
  0cd3eb7

  Copy full SHA for 0cd3eb7

• C++: Ignore constant static initializers

  jbj

  committed
  cc38abd

  Copy full SHA for cc38abd

• C++: Test for constant static initializer

  jbj

  committed
  02f0b89

  Copy full SHA for 02f0b89

• C++: autoformat fixup

  jbj

  committed
  a13f355

  Copy full SHA for a13f355

Commits on Mar 5, 2020

• C++: Move InstructionSanity out of Instruction.qll

  Show description for e29f517
  jbj

  committed
  e29f517

  Copy full SHA for e29f517

Commits on Mar 4, 2020

• Merge pull request #2985 from MathiasVP/bounded-uncontrolled-alloc-size

  Show description for d9d6960
  

  Robert Marsh

  authored
  d9d6960

  Copy full SHA for d9d6960

• Merge pull request #2983 from jbj/definitionReachesRank-perf

  Show description for 80ec5c1
  

  Robert Marsh

  authored
  80ec5c1

  Copy full SHA for 80ec5c1

• C++: Add testcase for cpp/uncontrolled-allocation-size

  MathiasVP

  committed
  3973a50

  Copy full SHA for 3973a50

• C++: IR: faster definitionReachesRank

  Show description for 6b2fd17
  jbj

  committed
  6b2fd17

  Copy full SHA for 6b2fd17

• Merge pull request #2941 from jbj/Overflow-stmtDominates

  Show description for bbcf0b5
  MathiasVP

  authored
  bbcf0b5

  Copy full SHA for bbcf0b5

• Merge pull request #2979 from jbj/GVN-noinline

  Show description for b20afa6
  MathiasVP

  authored
  b20afa6

  Copy full SHA for b20afa6

• C++: pragma[noinline] on GVN charpred

  Show description for 60bcbf4
  jbj

  committed
  60bcbf4

  Copy full SHA for 60bcbf4

Commits on Mar 3, 2020

• Merge pull request #2968 from igfoo/unused_types

  Show description for c2db3d7
  nickrolfe

  authored
  c2db3d7

  Copy full SHA for c2db3d7

• Merge pull request #2917 from MathiasVP/inexact-is-chi-for-all-aliased-memory

  Show description for 88c74b2
  jbj

  authored
  88c74b2

  Copy full SHA for 88c74b2

• Merge pull request #2957 from MathiasVP/dataflow-dispatch-same-num-args

  Show description for 4f23acf
  jbj

  authored
  4f23acf

  Copy full SHA for 4f23acf

• C++: Update tests following extractor no longer extracting some unused types

  igfoo

  committed
  5b0cb10

  Copy full SHA for 5b0cb10

Commits on Mar 2, 2020

• C++: Only do argument check for

  MathiasVP

  committed
  0b082a4

  Copy full SHA for 0b082a4