Commits

Branch selector

 cefdc21

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 19, 2018

• Merge pull request #2579 from peterschrammel/clean-up-java-options

  Show description for cefdc21
  

  Daniel Kroening

  authored
  cefdc21

  Copy full SHA for cefdc21

• Merge pull request #2584 from diffblue/fp-constant-folding

  Show description for 64a63a0
  

  Daniel Kroening

  authored
  64a63a0

  Copy full SHA for 64a63a0

Commits on Jul 18, 2018

• Clean up redundant specification of CBMC option

  peterschrammel

  committed
  44cfeb9

  Copy full SHA for 44cfeb9

• Trim JBMC help text width to 80 chars

  peterschrammel

  committed
  38fe61e

  Copy full SHA for 38fe61e

• Break overlong lines in help text

  peterschrammel

  committed
  080fc91

  Copy full SHA for 080fc91

• Deactivate smt1 option in JBMC

  Show description for ebae090
  peterschrammel

  committed
  ebae090

  Copy full SHA for ebae090

• Check that string options are used with strings turned on

  peterschrammel

  committed
  04fcc5b

  Copy full SHA for 04fcc5b

• Use default options in JBMC

  Show description for 0520732
  peterschrammel

  committed
  0520732

  Copy full SHA for 0520732

• Remove built-in-assertions option from JBMC

  peterschrammel

  committed
  e4cfb04

  Copy full SHA for e4cfb04

• Remove error-label option from JBMC

  peterschrammel

  committed
  0d924ce

  Copy full SHA for 0d924ce

• Remove GOTO_CHECK options from JBMC

  peterschrammel

  committed
  35f69f0

  Copy full SHA for 35f69f0

• Remove --refine-strings from tests

  peterschrammel

  committed
  86d4fec

  Copy full SHA for 86d4fec

• Remove obsolete string-max-length option

  peterschrammel

  committed
  7ef8a0e

  Copy full SHA for 7ef8a0e

• C front-end: constant folding for floating-point

  

  Daniel Kroening

  committed
  8edc5ee

  Copy full SHA for 8edc5ee

Commits on Jul 17, 2018

• adjust_float_expressions can now take a rounding mode argument

  

  Daniel Kroening

  committed
  f9c5faf

  Copy full SHA for f9c5faf

• Merge pull request #2521 from svorenova/array_element_type_util

  Show description for 6ccce5b
  

  Matthias Güdemann

  authored
  6ccce5b

  Copy full SHA for 6ccce5b

• Merge pull request #2581 from romainbrenguier/refactor/to_code

  Show description for 201ba8c
  romainbrenguier

  authored
  201ba8c

  Copy full SHA for 201ba8c

• Clean-up in gen_nondet_instruction_info

  romainbrenguier

  committed
  e4b8c44

  Copy full SHA for e4b8c44

• Merge pull request #2528 from tautschnig/dev-null

  Show description for bb7ea78
  

  Daniel Kroening

  authored
  bb7ea78

  Copy full SHA for bb7ea78

• Add functions to retrieve a reference to the java array element type

  

  svorenova

  committed
  f10badb

  Copy full SHA for f10badb

• Merge pull request #2582 from jeannielynnmoulton/jeannie/parse-bridge-flag-for-thk123

  Show description for 7f8b2be
  

  Matthias Güdemann

  authored
  7f8b2be

  Copy full SHA for 7f8b2be

• Clean-up get_return_lhs

  Show description for 1f62596
  romainbrenguier

  committed
  1f62596

  Copy full SHA for 1f62596

• Merge pull request #2560 from tautschnig/force-inline

  Show description for 8966f09
  

  Daniel Kroening

  authored
  8966f09

  Copy full SHA for 8966f09

• Adding unit test for checking bridge methods attribute is parsed correctly

  

  thk123

  authored and

  jeannielynnmoulton

  committed
  cb587a9

  Copy full SHA for cb587a9

• Read the bride flag for methods

  Show description for efadba2
  

  thk123

  authored and

  jeannielynnmoulton

  committed
  efadba2

  Copy full SHA for efadba2

• Remove unnecessary cast to_code

  Show description for 26781a6
  romainbrenguier

  committed
  26781a6

  Copy full SHA for 26781a6

Commits on Jul 16, 2018

• Merge pull request #2571 from jeannielynnmoulton/jeannie/InnerClassAccessibility

  Show description for a18b32d
  

  Matthias Güdemann

  authored
  a18b32d

  Copy full SHA for a18b32d

Commits on Jul 13, 2018

• Tests get_outer_class with deeply nested classes.

  jeannielynnmoulton

  committed
  c959c3f

  Copy full SHA for c959c3f

• Parse and capture outer class for inner classes.

  jeannielynnmoulton

  committed
  8201c19

  Copy full SHA for 8201c19

• Merge pull request #2577 from owen-jones-diffblue/owen-jones-diffblue/make-linter-happier

  Show description for 87c2a68
  smowton

  authored
  87c2a68

  Copy full SHA for 87c2a68

• Fix whitespace errors and a typo from #2505

  

  Owen Jones

  committed
  a1b9e07

  Copy full SHA for a1b9e07

• Merge pull request #2505 from owen-jones-diffblue/owen-jones-diffblue/fix/convert-nondet

  Show description for 45eae64
  

  owen-jones-diffblue

  authored
  45eae64

  Copy full SHA for 45eae64

• Make convert_java_nondet more general

  

  Owen

  committed
  6d9e805

  Copy full SHA for 6d9e805

Commits on Jul 12, 2018

• Merge pull request #2564 from tautschnig/vs-java-parse-tree

  Show description for 70887e2
  

  Daniel Kroening

  authored
  70887e2

  Copy full SHA for 70887e2

• Merge pull request #2570 from johnnonweiler/doc-git-submodule-update

  Show description for 6c5ecec
  

  Daniel Kroening

  authored
  6c5ecec

  Copy full SHA for 6c5ecec

Pagination

Previous

Next