Commits

Branch selector

 3d01c87

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 18, 2019

• Move LHS type casts to RHS in assign_* instructions

  Show description for 3d01c87
  tautschnig

  committed
  3d01c87

  Copy full SHA for 3d01c87

• Support decrement operators over complex numbers

  Show description for 0f6333c
  tautschnig

  committed
  0f6333c

  Copy full SHA for 0f6333c

• Move promotion rule application to C front-end

  Show description for 70e578e
  tautschnig

  committed
  70e578e

  Copy full SHA for 70e578e

Commits on Feb 17, 2019

• numeric_cast_v(expr) now requires constant_expr

  Show description for a5944a7
  

  Daniel Kroening

  committed
  a5944a7

  Copy full SHA for a5944a7

• Array logic: support with_exprt with multiple updates

  Show description for 02e508e
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  02e508e

  Copy full SHA for 02e508e

• expr2bits needs to handle pointer case

  Show description for bff0c7e
  

  Daniel Kroening

  committed
  bff0c7e

  Copy full SHA for bff0c7e

• Merge pull request #4209 from peterschrammel/signed-char-overflows

  Show description for 578617e
  tautschnig

  authored
  578617e

  Copy full SHA for 578617e

• Merge pull request #4210 from diffblue/bits2expr_optionalt

  Show description for c380dca
  tautschnig

  authored
  c380dca

  Copy full SHA for c380dca

Commits on Feb 16, 2019

• simplify_exprt::bits2expr now returns optionalt<exprt>

  Show description for 93d5278
  

  Daniel Kroening

  committed
  93d5278

  Copy full SHA for 93d5278

• Add tests for overflows

  Show description for 6176811
  peterschrammel

  committed
  6176811

  Copy full SHA for 6176811

• Merge pull request #4196 from diffblue/update-clang-format-docs

  Show description for a869788
  

  Daniel Kroening

  authored
  a869788

  Copy full SHA for a869788

• Add test for casting of virtual function parameter types

  Show description for 8e322b3
  

  smowton

  authored and

  Daniel Kroening

  committed
  8e322b3

  Copy full SHA for 8e322b3

Commits on Feb 15, 2019

• Merge pull request #4201 from smowton/smowton/cleanup/cast-base-type-test

  Show description for a4aaaf5
  smowton

  authored
  a4aaaf5

  Copy full SHA for a4aaaf5

• Merge pull request #4200 from smowton/smowton/cleanup/call-function-with-generic-parameter-test

  Show description for a3d9223
  smowton

  authored
  a3d9223

  Copy full SHA for a3d9223

• Add test checking generic function parameter casts appear when expected

  smowton

  committed
  7ec1023

  Copy full SHA for 7ec1023

• Add test for casting after a clean or soft cast

  Show description for 265b96b
  smowton

  committed
  265b96b

  Copy full SHA for 265b96b

• Update version of clang format in CODING_STANDARDs

  Show description for 4a005d9
  

  Thomas Kiley

  authored and

  thk123

  committed
  4a005d9

  Copy full SHA for 4a005d9

• Merge pull request #4192 from hannes-steffenhagen-diffblue/string_to_optional

  Show description for a62b5da
  hannes-steffenhagen-diffblue

  authored
  a62b5da

  Copy full SHA for a62b5da

• Add string2optional conversion functions

  Show description for e9ccc27
  hannes-steffenhagen-diffblue

  committed
  e9ccc27

  Copy full SHA for e9ccc27

• Merge pull request #4195 from NlightNFotis/goto-instrument-error-handling

  Show description for 937d557
  NlightNFotis

  authored
  937d557

  Copy full SHA for 937d557

• Merge pull request #4188 from romainbrenguier/clean-up/unused-guards

  Show description for 6406ee1
  romainbrenguier

  authored
  6406ee1

  Copy full SHA for 6406ee1

• Better goto-instrument error reporting for missing files

  Show description for fd5b9c0
  NlightNFotis

  committed
  fd5b9c0

  Copy full SHA for fd5b9c0

• Merge pull request #4186 from tautschnig/byte-op-strings

  Show description for 99aabb4
  tautschnig

  authored
  99aabb4

  Copy full SHA for 99aabb4

• Remove unused code from goto_program_dereference

  Show description for cee38c5
  romainbrenguier

  committed
  cee38c5

  Copy full SHA for cee38c5

• Replace guardt by exprt::operandst in rw_set

  Show description for 2b5c3e0
  romainbrenguier

  committed
  2b5c3e0

  Copy full SHA for 2b5c3e0

• Lowering of byte_extract over string constants

  Show description for 9a67ec4
  tautschnig

  committed
  9a67ec4

  Copy full SHA for 9a67ec4

• Merge pull request #4193 from tautschnig/get_object_name-fast

  Show description for c580d94
  tautschnig

  authored
  c580d94

  Copy full SHA for c580d94

• Merge pull request #4194 from tautschnig/fix-include

  Show description for bf48a10
  tautschnig

  authored
  bf48a10

  Copy full SHA for bf48a10

Commits on Feb 14, 2019

• Merge pull request #4191 from tautschnig/byte-extract-pointers

  Show description for 9b31039
  tautschnig

  authored
  9b31039

  Copy full SHA for 9b31039

• ssa_exprt::get_object_name: add fast path

  Show description for 148fd45
  tautschnig

  committed
  148fd45

  Copy full SHA for 148fd45

• Add missing include

  Show description for c82d881
  tautschnig

  committed
  c82d881

  Copy full SHA for c82d881

• byte_extract lowering of pointers

  Show description for 004bd27
  tautschnig

  committed
  004bd27

  Copy full SHA for 004bd27

• Merge pull request #4187 from tautschnig/byte-op-union

  Show description for 7632d02
  tautschnig

  authored
  7632d02

  Copy full SHA for 7632d02

• Merge pull request #4124 from tautschnig/byte-op-5

  Show description for e654aa7
  tautschnig

  authored
  e654aa7

  Copy full SHA for e654aa7

• byte_extract lowering of unions

  Show description for 761ad8a
  tautschnig

  committed
  761ad8a

  Copy full SHA for 761ad8a

Pagination

Previous

Next