Commits

Branch selector

 378a667

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2018

• Unit test to check that irept implements sharing

  Show description for 378a667
  

  NathanJPhillips

  authored and

  tautschnig

  committed
  378a667

  Copy full SHA for 378a667

• Revert "Use small intrusive pointer in irep"

  Show description for d08762a
  tautschnig

  committed
  d08762a

  Copy full SHA for d08762a

• Include missing invariant header

  Show description for 9ceeb32
  tautschnig

  committed
  9ceeb32

  Copy full SHA for 9ceeb32

• Merge pull request #1842 from NathanJPhillips/feature/depth_iterator_get_mutable

  Show description for c480d28
  cesaro

  authored
  c480d28

  Copy full SHA for c480d28

Commits on Feb 16, 2018

• Allow non-const depth_iteratort to be created from a const root

  Show description for 416bbe0
  NathanJPhillips

  committed
  416bbe0

  Copy full SHA for 416bbe0

• Merge pull request #1840 from NathanJPhillips/bugfix/test-name

  Show description for b0eb45e
  

  Thomas Kiley

  authored
  b0eb45e

  Copy full SHA for b0eb45e

• Merge pull request #1806 from thk123/refactor/address-review-comments-from-1796

  Show description for bb88574
  smowton

  authored
  bb88574

  Copy full SHA for bb88574

• Merge pull request #1850 from tautschnig/include-cleanup

  Show description for db9c214
  tautschnig

  authored
  db9c214

  Copy full SHA for db9c214

• Merge pull request #1844 from smowton/smowton/feature/prepare-symex-for-lazy-loading

  Show description for 78fbf08
  smowton

  authored
  78fbf08

  Copy full SHA for 78fbf08

Commits on Feb 15, 2018

• Merge pull request #1849 from smowton/smowton/cleanup/java-main-function-types

  Show description for 4098ed5
  smowton

  authored
  4098ed5

  Copy full SHA for 4098ed5

• Use C++ headers instead of their C variants

  tautschnig

  committed
  06f3e83

  Copy full SHA for 06f3e83

• Goto-symex: add support for general function accessor

  Show description for e918a91
  smowton

  committed
  e918a91

  Copy full SHA for e918a91

• Symex: switch to incrementally populating address-taken locals

  Show description for 9e31303
  smowton

  committed
  9e31303

  Copy full SHA for 9e31303

• Address-taken locals analysis: support incremental analysis

  Show description for ac5af68
  smowton

  committed
  ac5af68

  Copy full SHA for ac5af68

• Merge pull request #1843 from peterschrammel/instructions-function

  Show description for fe775f3
  smowton

  authored
  fe775f3

  Copy full SHA for fe775f3

• Cleanup tests with anomalous main functions

  Show description for a6fd729
  smowton

  committed
  a6fd729

  Copy full SHA for a6fd729

• Clean up get_function_id hacks

  peterschrammel

  committed
  5df3fca

  Copy full SHA for 5df3fca

• Set function member of each goto instruction in goto program passes

  peterschrammel

  committed
  552b100

  Copy full SHA for 552b100

Commits on Feb 14, 2018

• Merge pull request #1813 from smowton/smowton/fix/cleanup-unused-clinits

  Show description for 38e6e4a
  smowton

  authored
  38e6e4a

  Copy full SHA for 38e6e4a

• Merge pull request #1826 from smowton/smowton/fix/java-inherited-static-fields

  Show description for 278e4e6
  smowton

  authored
  278e4e6

  Copy full SHA for 278e4e6

• Merge pull request #1713 from karkhaz/kk-debug-timestamps

  Show description for a2ebb33
  tautschnig

  authored
  a2ebb33

  Copy full SHA for a2ebb33

• Merge pull request #1834 from diffblue/library-preconditions

  Show description for 7b5dd17
  tautschnig

  authored
  7b5dd17

  Copy full SHA for 7b5dd17

• Fixed test name

  NathanJPhillips

  committed
  a094990

  Copy full SHA for a094990

• Add tests for inherited static fields

  Show description for 1da5be1
  smowton

  committed
  1da5be1

  Copy full SHA for 1da5be1

• Add tests to verify that synthetic method removal is performed

  Show description for 19d622b
  smowton

  committed
  19d622b

  Copy full SHA for 19d622b

• Java frontend: clean up unused clinit symbols

  Show description for adc9fd4
  smowton

  committed
  adc9fd4

  Copy full SHA for adc9fd4

• Exclude j.l.O from possible static field hosts.

  smowton

  committed
  f15c312

  Copy full SHA for f15c312

• US spelling of initialize

  Show description for afa443c
  smowton

  committed
  afa443c

  Copy full SHA for afa443c

• Tolerate stub static fields defined on non-stub types

  Show description for d4d4a9a
  smowton

  committed
  d4d4a9a

  Copy full SHA for d4d4a9a

• Guess public access for stub globals

  Show description for 873e1f6
  smowton

  committed
  873e1f6

  Copy full SHA for 873e1f6

• Java method converter: look for inherited static fields

  Show description for d6783d8
  smowton

  committed
  d6783d8

  Copy full SHA for d6783d8

• Insert stub static globals onto any incomplete ancestor class

  Show description for 32cc538
  smowton

  committed
  32cc538

  Copy full SHA for 32cc538

• Search static fields inherited from interfaces

  Show description for b2d3d61
  smowton

  committed
  b2d3d61

  Copy full SHA for b2d3d61

• Create stub globals on the first parent incomplete class

  Show description for 045ac05
  smowton

  committed
  045ac05

  Copy full SHA for 045ac05

• Use a common instance of class_hierarchyt in get_inherited_component

  Show description for 5b3cde5
  smowton

  committed
  5b3cde5

  Copy full SHA for 5b3cde5

Pagination

Previous

Next