Commits

Branch selector

 multi_ary_constructors

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2024

• add mulit-ary constructor for xor_exprt, bitxor_exprt, bitand_exprt, bitor_exprt

  Show description for 923769f
  kroening

  committed
  923769f

  Copy full SHA for 923769f

Commits on Dec 10, 2024

• Merge pull request #8525 from diffblue/cmdline-value_opt

  Show description for e186314
  tautschnig

  authored
  e186314

  Copy full SHA for e186314

Commits on Dec 6, 2024

• cmdlinet: add value_opt methods

  Show description for 3c9d699
  kroening

  committed
  3c9d699

  Copy full SHA for 3c9d699

Commits on Dec 3, 2024

• Merge pull request #8524 from diffblue/smt2-onehot

  Show description for 7eef276
  kroening

  authored
  7eef276

  Copy full SHA for 7eef276

Commits on Dec 2, 2024

• SMT2: support onehot and onehot0

  Show description for 7e39d04
  kroening

  committed
  7e39d04

  Copy full SHA for 7e39d04

Commits on Nov 28, 2024

• Merge pull request #8521 from tautschnig/release-6.4.1

  Show description for c902db3
  tautschnig

  authored
  c902db3

  Copy full SHA for c902db3

• Release CBMC 6.4.1

  Show description for 020272d
  tautschnig

  committed
  020272d

  Copy full SHA for 020272d

• Merge pull request #8522 from tautschnig/release-24.04

  Show description for 298b037
  tautschnig

  authored
  298b037

  Copy full SHA for 298b037

• Build release packages for Ubuntu 24.04

  Show description for 2d5ca70
  tautschnig

  committed
  2d5ca70

  Copy full SHA for 2d5ca70

• Merge pull request #8502 from diffblue/cadical-preprocessor

  Show description for 1f96000
  kroening

  authored
  1f96000

  Copy full SHA for 1f96000

• Merge pull request #8516 from qinheping/qinheping-patch-1

  Show description for db815f7
  tautschnig

  authored
  db815f7

  Copy full SHA for db815f7

• Merge pull request #8507 from diffblue/dependabot/github_actions/codecov/codecov-action-5

  Show description for d47727f
  tautschnig

  authored
  d47727f

  Copy full SHA for d47727f

Commits on Nov 26, 2024

• Merge pull request #8520 from diffblue/range_type_arith_tools

  Show description for ee8d275
  tautschnig

  authored
  ee8d275

  Copy full SHA for ee8d275

• add range_type to from_integer/to_integer

  Show description for 20757e2
  kroening

  committed
  20757e2

  Copy full SHA for 20757e2

Commits on Nov 22, 2024

• Update contracts-assigns.md

  qinheping

  authored
  fe41d1c

  Copy full SHA for fe41d1c

Commits on Nov 21, 2024

• CONTRACTS: add doc for loop assigns inference

  qinheping

  authored
  dfab451

  Copy full SHA for dfab451

Commits on Nov 20, 2024

• Merge pull request #8514 from diffblue/format-expr-bv

  Show description for 162e0f7
  kroening

  authored
  162e0f7

  Copy full SHA for 162e0f7

• Format bit-vectors with [ ... ] vector notation

  Show description for 3b9e94e
  kroening

  committed
  3b9e94e

  Copy full SHA for 3b9e94e

• Merge pull request #8510 from diffblue/mult_exprt

  Show description for 01357a0
  tautschnig

  authored
  01357a0

  Copy full SHA for 01357a0

• Merge pull request #8509 from diffblue/simplify_power

  Show description for 5164a50
  tautschnig

  authored
  5164a50

  Copy full SHA for 5164a50

Commits on Nov 18, 2024

• simplify x^0 and x^1

  Show description for 8b0bef0
  kroening

  committed
  8b0bef0

  Copy full SHA for 8b0bef0

• add multi-ary constructor for mult_exprt

  Show description for 7d5bfd9
  kroening

  committed
  7d5bfd9

  Copy full SHA for 7d5bfd9

• Merge pull request #8472 from tautschnig/rw_ok-documentation

  Show description for 57be2aa
  kroening

  authored
  57be2aa

  Copy full SHA for 57be2aa

• Bump codecov/codecov-action from 4 to 5

  Show description for 815c24f
  dependabot[bot]

  authored
  815c24f

  Copy full SHA for 815c24f

Commits on Nov 17, 2024

• Merge pull request #8506 from diffblue/simplify-bitxnor

  Show description for e8d3409
  kroening

  authored
  e8d3409

  Copy full SHA for e8d3409

Commits on Nov 16, 2024

• simplify bitxnor

  Show description for 8f55154
  kroening

  committed
  8f55154

  Copy full SHA for 8f55154

Commits on Nov 12, 2024

• Merge pull request #8501 from diffblue/cleanup-SATCHECK-defines

  Show description for 0db546b
  tautschnig

  authored
  0db546b

  Copy full SHA for 0db546b

Commits on Nov 11, 2024

• Cadical with preprocessor and local search

  Show description for 8a7d0fa
  kroening

  committed
  8a7d0fa

  Copy full SHA for 8a7d0fa

Commits on Nov 10, 2024

• remove duplicate SATCHECK_* defines

  Show description for fd53c32
  kroening

  committed
  fd53c32

  Copy full SHA for fd53c32

Commits on Nov 7, 2024

• Merge pull request #8497 from tautschnig/pointer-subtraction-back-end

  Show description for 83f61a4
  tautschnig

  authored
  83f61a4

  Copy full SHA for 83f61a4

• Pointer subtraction in back-end: no need for bounds checking

  Show description for eade886
  tautschnig

  committed
  eade886

  Copy full SHA for eade886

Commits on Nov 6, 2024

• Merge pull request #8496 from diffblue/fix_update_bit

  Show description for beebdda
  tautschnig

  authored
  beebdda

  Copy full SHA for beebdda

• fix update_bit lowering

  Show description for a42c371
  kroening

  committed
  a42c371

  Copy full SHA for a42c371

• Merge pull request #8495 from tautschnig/release-6.4.0

  Show description for 4f56b6a
  tautschnig

  authored
  4f56b6a

  Copy full SHA for 4f56b6a

• Release CBMC 6.4.0

  Show description for 27a27ca
  tautschnig

  committed
  27a27ca

  Copy full SHA for 27a27ca

Pagination

Previous

Next