Commits

Branch selector

 develop

User selector

kroening

Datepicker

All time

Commit History

Commits on Sep 29, 2024

• Merge pull request #8477 from diffblue/bitvector_width_biginteger

  Show description for 83922b2
  kroening

  authored
  83922b2

  Copy full SHA for 83922b2

Commits on Sep 28, 2024

• bitvector_typet: set width from mp_integer

  Show description for 0079017
  kroening

  committed
  0079017

  Copy full SHA for 0079017

Commits on Sep 26, 2024

• Merge pull request #8473 from diffblue/format-range_typet

  Show description for bcda5a9
  kroening

  authored
  bcda5a9

  Copy full SHA for bcda5a9

Commits on Sep 25, 2024

• format_type can now format range_typet

  Show description for 5826a8e
  kroening

  committed
  5826a8e

  Copy full SHA for 5826a8e

• Merge pull request #8471 from tautschnig/loops-man-pages

  Show description for 4c59d28
  kroening

  authored
  4c59d28

  Copy full SHA for 4c59d28

Commits on Sep 23, 2024

• Merge pull request #8466 from diffblue/smt2-range

  Show description for a209b44
  kroening

  authored
  a209b44

  Copy full SHA for a209b44

Commits on Sep 22, 2024

• SMT2: implement range_type

  Show description for e21c686
  kroening

  committed
  e21c686

  Copy full SHA for e21c686

Commits on Sep 17, 2024

• Merge pull request #8457 from diffblue/format_expr_bv_constant

  Show description for 46c1b0f
  kroening

  authored
  46c1b0f

  Copy full SHA for 46c1b0f

Commits on Sep 16, 2024

• format_expr now prints bv-typed constants

  Show description for 2ed72b0
  kroening

  committed
  2ed72b0

  Copy full SHA for 2ed72b0

Commits on Sep 12, 2024

• Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast

  Show description for f0543bd
  kroening

  authored
  f0543bd

  Copy full SHA for f0543bd

• Merge pull request #8391 from diffblue/exception-constructors

  Show description for a29e933
  kroening

  authored
  a29e933

  Copy full SHA for a29e933

Commits on Sep 5, 2024

• Merge pull request #8441 from diffblue/zero_expr

  Show description for 71ee177
  kroening

  authored
  71ee177

  Copy full SHA for 71ee177

• introduce zero_expr() and one_expr() for number types

  Show description for 9fba581
  kroening

  committed
  9fba581

  Copy full SHA for 9fba581

Commits on Aug 21, 2024

• Merge pull request #8421 from tautschnig/no-boolbv-dynamic_cast

  Show description for 6752c40
  kroening

  authored
  6752c40

  Copy full SHA for 6752c40

Commits on Aug 8, 2024

• Merge pull request #8410 from tautschnig/solver-factory-no-dynamic_cast3

  Show description for 0760cd7
  kroening

  authored
  0760cd7

  Copy full SHA for 0760cd7

Commits on Aug 7, 2024

• Merge pull request #8409 from tautschnig/solver-factory-no-dynamic_cast2

  Show description for 7db3d8b
  kroening

  authored
  7db3d8b

  Copy full SHA for 7db3d8b

• Merge pull request #8405 from tautschnig/qualifiers-no-dynamic_cast

  Show description for d635850
  kroening

  authored
  d635850

  Copy full SHA for d635850

• Merge pull request #8406 from tautschnig/dimacs_cnft-no-dynamic_cast

  Show description for f244575
  kroening

  authored
  f244575

  Copy full SHA for f244575

Commits on Jul 26, 2024

• implement flattening for +/- for the range type

  Show description for 1a020c4
  kroening

  committed
  1a020c4

  Copy full SHA for 1a020c4

Commits on Jul 20, 2024

• copy constructors for exception classes

  Show description for 00690d0
  kroening

  committed
  00690d0

  Copy full SHA for 00690d0

• Merge pull request #8380 from tautschnig/bugfixes/contract-scope-8337

  Show description for 51b157f
  kroening

  authored
  51b157f

  Copy full SHA for 51b157f

Commits on Jul 17, 2024

• Merge pull request #8387 from tautschnig/bugfixes/bitwuzla-no-lambda

  Show description for c7d7704
  kroening

  authored
  c7d7704

  Copy full SHA for c7d7704

Commits on Jul 12, 2024

• Merge pull request #8381 from tautschnig/bugfixes/recent-ubuntu-8193

  Show description for e4c8c5b
  kroening

  authored
  e4c8c5b

  Copy full SHA for e4c8c5b

Commits on Jul 11, 2024

• Merge pull request #8370 from tautschnig/endianness-tests

  Show description for 629dbcd
  kroening

  authored
  629dbcd

  Copy full SHA for 629dbcd

Commits on Jul 10, 2024

• Merge pull request #7857 from tautschnig/cleanup/no-winbug

  Show description for f02b7bf
  kroening

  authored
  f02b7bf

  Copy full SHA for f02b7bf

• Merge pull request #8369 from tautschnig/fix-cleanup

  Show description for b3f1e71
  kroening

  authored
  b3f1e71

  Copy full SHA for b3f1e71

Commits on Jun 21, 2024

• reduce verbosity of runtime messages

  Show description for 4942546
  kroening

  committed
  4942546

  Copy full SHA for 4942546

• Merge pull request #8352 from diffblue/cprover-reduce-verbosity

  Show description for ef327f6
  kroening

  authored
  ef327f6

  Copy full SHA for ef327f6

Commits on Jun 20, 2024

• reduce default verbosity of cprover binary

  Show description for cfbbeb4
  kroening

  committed
  cfbbeb4

  Copy full SHA for cfbbeb4

• add two helpers for bv_typet

  Show description for 977b3ee
  kroening

  committed
  977b3ee

  Copy full SHA for 977b3ee

Commits on Jun 19, 2024

• Merge pull request #8347 from diffblue/union-member-fix

  Show description for 4f620a2
  kroening

  authored
  4f620a2

  Copy full SHA for 4f620a2

• convert_member_union now accepts union-typed operand

  Show description for 699331b
  kroening

  committed
  699331b

  Copy full SHA for 699331b

Commits on Jun 18, 2024

• change default verbosity to M_STATUS

  Show description for fddfa12
  kroening

  committed
  fddfa12

  Copy full SHA for fddfa12

Commits on Jun 17, 2024

• Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex

  Show description for d3bee61
  kroening

  authored
  d3bee61

  Copy full SHA for d3bee61

• Merge pull request #8330 from diffblue/verbosity-control

  Show description for 27c4de3
  kroening

  authored
  27c4de3

  Copy full SHA for 27c4de3

Pagination

Previous

Next