Commits

Branch selector

 24b7219

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 1, 2018

• perf-test: Update Ubuntu AMI ids for latest version

  tautschnig

  committed
  24b7219

  Copy full SHA for 24b7219

Commits on Mar 31, 2018

• Provide goto-cc in performance tests

  tautschnig

  committed
  935d4e1

  Copy full SHA for 935d4e1

• Support CaDiCaL in performance tests, remove redundant script

  Show description for 1c424cf
  tautschnig

  committed
  1c424cf

  Copy full SHA for 1c424cf

• Add support for CaDiCaL

  Show description for 203761f
  tautschnig

  committed
  203761f

  Copy full SHA for 203761f

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

Commits on Mar 27, 2018

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

  Show description for 97a6713
  smowton

  authored
  97a6713

  Copy full SHA for 97a6713

• Add verification test for String.equals

  Show description for a997ffb
  romainbrenguier

  committed
  a997ffb

  Copy full SHA for a997ffb

• Fix code for String.equals

  Show description for 55d36b5
  romainbrenguier

  committed
  55d36b5

  Copy full SHA for 55d36b5

• Added regression tests

  NathanJPhillips

  committed
  baf33f8

  Copy full SHA for baf33f8

• Add ability to overlay classes with new definitions of existing methods

  Show description for 9984fc1
  NathanJPhillips

  committed
  9984fc1

  Copy full SHA for 9984fc1

• Tidied up java_class_loader_limitt

  NathanJPhillips

  committed
  66c529c

  Copy full SHA for 66c529c

• Correcting typos and adding documentation to unit tests

  

  thk123

  committed
  397c14e

  Copy full SHA for 397c14e

Pagination

Previous

Next