Commits

Branch selector

 57aedaa

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 8, 2018

• add test for unwinding counter reset

  

  Daniel Kroening

  committed
  57aedaa

  Copy full SHA for 57aedaa

Commits on Apr 6, 2018

• Merge pull request #2015 from tautschnig/fix-smt2_solver-clean

  Show description for 1d81306
  tautschnig

  authored
  1d81306

  Copy full SHA for 1d81306

• Makefiles: Place .d suffix used for dependencies in DEPEXT variable

  Show description for 392144d
  tautschnig

  committed
  392144d

  Copy full SHA for 392144d

• smt2_solver.{o,d} should be removed by "make clean"

  Show description for 839d32a
  tautschnig

  committed
  839d32a

  Copy full SHA for 839d32a

Commits on Apr 5, 2018

• Merge pull request #1979 from romainbrenguier/regression/fix-indexOf-test

  Show description for 48e427a
  tautschnig

  authored
  48e427a

  Copy full SHA for 48e427a

• Merge pull request #1976 from romainbrenguier/regression/activate-dependency-tests

  Show description for c2f3726
  tautschnig

  authored
  c2f3726

  Copy full SHA for c2f3726

Commits on Apr 4, 2018

• Merge pull request #1995 from tautschnig/byte-update-soundness

  Show description for 69fb74a
  tautschnig

  authored
  69fb74a

  Copy full SHA for 69fb74a

• Set string-max-length in indexOf test

  Show description for aa766ae
  romainbrenguier

  committed
  aa766ae

  Copy full SHA for aa766ae

Commits on Apr 3, 2018

• Merge pull request #1990 from tautschnig/missing-header

  Show description for 988b818
  

  Daniel Kroening

  authored
  988b818

  Copy full SHA for 988b818

• Abort on byte_update(pointer)

  Show description for 8300147
  tautschnig

  committed
  8300147

  Copy full SHA for 8300147

• Include missing header

  Show description for 4a8d9b4
  

  marek-trtik

  authored and

  tautschnig

  committed
  4a8d9b4

  Copy full SHA for 4a8d9b4

Commits on Mar 29, 2018

• Merge pull request #1986 from thk123/revert/1816/overlay-classes

  Show description for a695814
  

  Joel Allred

  authored
  a695814

  Copy full SHA for a695814

• Revert "Merge pull request #1816 from NathanJPhillips/feature/overlay-methods"

  Show description for 9933b58
  

  thk123

  authored and

  Thomas Kiley

  committed
  9933b58

  Copy full SHA for 9933b58

• Revert "Merge pull request #1982 from NathanJPhillips/bugfix/load-object-once"

  Show description for cd9b839
  

  Thomas Kiley

  committed
  cd9b839

  Copy full SHA for cd9b839

• Merge pull request #1978 from svorenova/lambda_tg2478_cont

  Show description for 58beeb4
  

  Thomas Kiley

  authored
  58beeb4

  Copy full SHA for 58beeb4

• Merge pull request #1980 from NathanJPhillips/tests/irept

  Show description for 1e3a9cd
  tautschnig

  authored
  1e3a9cd

  Copy full SHA for 1e3a9cd

Commits on Mar 28, 2018

• Merge pull request #1982 from NathanJPhillips/bugfix/load-object-once

  Show description for 772b603
  

  Thomas Kiley

  authored
  772b603

  Copy full SHA for 772b603

• Tests to demonstrate expected sharing behaviour of irept

  NathanJPhillips

  committed
  0902ae7

  Copy full SHA for 0902ae7

• Unit test of irept's public API

  

  tautschnig

  authored and

  NathanJPhillips

  committed
  2239ec1

  Copy full SHA for 2239ec1

• Prevent test running on symex-driven lazy loading

  Show description for 81ac259
  NathanJPhillips

  committed
  81ac259

  Copy full SHA for 81ac259

• Allow incorrect paths for jar files on the classpath without crashing

  NathanJPhillips

  committed
  eae194f

  Copy full SHA for eae194f

• Tests to ensure invalid values in the classpath are ignored

  NathanJPhillips

  committed
  6749fd0

  Copy full SHA for 6749fd0

• Prevent attempting to load any class more than once

  NathanJPhillips

  committed
  3c95aa1

  Copy full SHA for 3c95aa1

• Unit test to show java.lang.Object can be loaded from an explicit model

  NathanJPhillips

  committed
  c520331

  Copy full SHA for c520331

• Merge pull request #1981 from smowton/smowton/cleanup/missing-docstring

  Show description for 05a7b4a
  smowton

  authored
  05a7b4a

  Copy full SHA for 05a7b4a

• Merge pull request #1946 from thk123/feature/TG-1811/unit-tests-for-invokedynamic-static-lambda

  Show description for e4dc2aa
  

  Thomas Kiley

  authored
  e4dc2aa

  Copy full SHA for e4dc2aa

• Merge pull request #1983 from svorenova/lambda_tg2478_fix

  Show description for 2b53d3b
  

  Thomas Kiley

  authored
  2b53d3b

  Copy full SHA for 2b53d3b

• Tidying up for lambdas

  

  svorenova

  committed
  f428247

  Copy full SHA for f428247

• Merge pull request #1975 from romainbrenguier/bugfix/literal-length-TG2878

  Show description for f3b1379
  romainbrenguier

  authored
  f3b1379

  Copy full SHA for f3b1379

• Regression test for lambda in a package

  

  svorenova

  committed
  7d4441d

  Copy full SHA for 7d4441d

• Format class name for lambda method handles

  

  svorenova

  committed
  7366fda

  Copy full SHA for 7366fda

• Add missing Doxygen parameter description

  Show description for 7db42c0
  smowton

  committed
  7db42c0

  Copy full SHA for 7db42c0

• Addressing review comments

  Show description for 31fa0fe
  

  thk123

  committed
  31fa0fe

  Copy full SHA for 31fa0fe

• Merge pull request #1643 from NathanJPhillips/bugfix/string-solver-function-type-mistake

  Show description for 2a0927c
  smowton

  authored
  2a0927c

  Copy full SHA for 2a0927c

• Merge pull request #1977 from romainbrenguier/bugfix/string-equals-TG-2179

  Show description for 229d1ee
  romainbrenguier

  authored
  229d1ee

  Copy full SHA for 229d1ee

Pagination

Previous

Next