Commits

Branch selector

 14057f5

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 6, 2018

• Remove unused ID_string_not_contains_constraint

  romainbrenguier

  committed
  14057f5

  Copy full SHA for 14057f5

• Make string_not_contains_constraintt a struct

  Show description for 15131da
  romainbrenguier

  committed
  15131da

  Copy full SHA for 15131da

Commits on Nov 5, 2018

• Merge pull request #3248 from romainbrenguier/bugfix/char-array-in-string-solver

  Show description for 64ec195
  romainbrenguier

  authored
  64ec195

  Copy full SHA for 64ec195

Commits on Nov 3, 2018

• Merge pull request #3252 from tautschnig/vs-no-to_integer

  Show description for 3028bf8
  kroening

  authored
  3028bf8

  Copy full SHA for 3028bf8

Commits on Nov 2, 2018

• Use numeric_cast<mp_integer> instead of deprecated to_integer(exprt)

  Show description for 638d91c
  tautschnig

  committed
  638d91c

  Copy full SHA for 638d91c

• Make content type an pointer_typet in refined_string_type

  romainbrenguier

  committed
  33b005c

  Copy full SHA for 33b005c

• Use replace_expr_copy to clarify loop in dec_solve

  romainbrenguier

  committed
  cf0f085

  Copy full SHA for cf0f085

• Correct refined_string_typet constructor

  Show description for 00aaa6d
  romainbrenguier

  committed
  00aaa6d

  Copy full SHA for 00aaa6d

• Replace string symbols only for the dependencies

  Show description for 27789b4
  romainbrenguier

  committed
  27789b4

  Copy full SHA for 27789b4

• Correct the way symbol_resolve is computed

  Show description for ab537ef
  romainbrenguier

  committed
  ab537ef

  Copy full SHA for ab537ef

• Make type more precise

  Show description for 64379dd
  romainbrenguier

  committed
  64379dd

  Copy full SHA for 64379dd

Commits on Nov 1, 2018

• Merge pull request #3255 from romainbrenguier/bugfix/typecast-in-interpreter

  Show description for 75bec44
  romainbrenguier

  authored
  75bec44

  Copy full SHA for 75bec44

• Make interpreter handle typecast in pointer expr

  Show description for be08937
  romainbrenguier

  committed
  be08937

  Copy full SHA for be08937

• Merge pull request #3253 from tautschnig/no-move_to_operands

  Show description for 7a4545c
  smowton

  authored
  7a4545c

  Copy full SHA for 7a4545c

• Merge the expr.has_operands conditions in one if

  Show description for 87e33ce
  romainbrenguier

  committed
  87e33ce

  Copy full SHA for 87e33ce

• Use numeric_cast instead of to_integer

  Show description for 02d09c5
  romainbrenguier

  committed
  02d09c5

  Copy full SHA for 02d09c5

• Do not use exprt::move_to_operands as it is marked as deprecated

  Show description for ec5e0be
  tautschnig

  committed
  ec5e0be

  Copy full SHA for ec5e0be

• Merge pull request #3254 from smowton/smowton/cleanup/add-to-operands

  Show description for 25d5bff
  tautschnig

  authored
  25d5bff

  Copy full SHA for 25d5bff

• copy_to_operands(exprt &&) -> add_to_operands

  Show description for aea09dc
  smowton

  committed
  aea09dc

  Copy full SHA for aea09dc

Commits on Oct 31, 2018

• Merge pull request #3135 from tautschnig/union-arithmetic

  Show description for bcce848
  tautschnig

  authored
  bcce848

  Copy full SHA for bcce848

• Include pointer offset in counterexample output

  Show description for e140d16
  tautschnig

  committed
  e140d16

  Copy full SHA for e140d16

• Merge pull request #2161 from tautschnig/empty-struct

  Show description for d3612cc
  tautschnig

  authored
  d3612cc

  Copy full SHA for d3612cc

• Use get_subexpression_at_offset in pointer_logict

  Show description for d4296f1
  tautschnig

  committed
  d4296f1

  Copy full SHA for d4296f1

• Use get_subexpression_at_offset in simplify_byte_extract

  tautschnig

  committed
  044b004

  Copy full SHA for 044b004

• Merge pull request #3185 from tautschnig/remove-member_offset_iterator

  Show description for fa0d4f6
  tautschnig

  authored
  fa0d4f6

  Copy full SHA for fa0d4f6

• Remove member_offset_iterator

  Show description for acb0a05
  tautschnig

  committed
  acb0a05

  Copy full SHA for acb0a05

• Merge pull request #3167 from tautschnig/get_subexpr-parts-of-members

  Show description for b16d247
  tautschnig

  authored
  b16d247

  Copy full SHA for b16d247

• Generalise get_subexpression_at_offset to extract parts of members

  Show description for 2ff4d2f
  tautschnig

  committed
  2ff4d2f

  Copy full SHA for 2ff4d2f

• Merge pull request #3227 from antlechner/load-annotation-classes

  Show description for 26df513
  antlechner

  authored
  26df513

  Copy full SHA for 26df513

Commits on Oct 30, 2018

• Add tests for loading of types in annotations

  antlechner

  committed
  48d9e44

  Copy full SHA for 48d9e44

• Include annotations in Java class loading

  Show description for 767cbb1
  antlechner

  committed
  767cbb1

  Copy full SHA for 767cbb1

• Turn get_class_refs comment into Doxygen

  antlechner

  committed
  8e346dd

  Copy full SHA for 8e346dd

• Merge pull request #3229 from romainbrenguier/document/make_union

  Show description for 20c5857
  tautschnig

  authored
  20c5857

  Copy full SHA for 20c5857

• Document union_find_replacet

  Show description for df01f72
  romainbrenguier

  committed
  df01f72

  Copy full SHA for df01f72

• Merge pull request #3203 from tautschnig/regression-test-header-cleanup

  Show description for b473cfc
  kroening

  authored
  b473cfc

  Copy full SHA for b473cfc

Pagination

Previous

Next