Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 18, 2024

• Edit the output json format for JtoC usage

  

  Miroslav Patlevič

  committed
  8c51939

  Copy full SHA for 8c51939

• Merge pull request #8530 from diffblue/smt2-nand-nor

  Show description for fb28475
  kroening

  authored
  fb28475

  Copy full SHA for fb28475

Commits on Dec 17, 2024

• Merge pull request #8508 from diffblue/smt-bv

  Show description for ce40fbd
  kroening

  authored
  ce40fbd

  Copy full SHA for ce40fbd

• Merge pull request #8467 from diffblue/smt2-cond

  Show description for 436ed5d
  kroening

  authored
  436ed5d

  Copy full SHA for 436ed5d

• Merge pull request #8493 from diffblue/zero-extend-smt2

  Show description for ab22e9f
  kroening

  authored
  ab22e9f

  Copy full SHA for ab22e9f

• Merge pull request #8532 from diffblue/floatbv-mod-and-rem

  Show description for 875fbd9
  kroening

  authored
  875fbd9

  Copy full SHA for 875fbd9

• SMT2: bvnor, bvnand are binary only; add bvxnor

  Show description for 99376ab
  kroening

  committed
  99376ab

  Copy full SHA for 99376ab

• SMT2: implement nand, nor, xnor

  Show description for 10eac1d
  kroening

  committed
  10eac1d

  Copy full SHA for 10eac1d

• SMT2: implement cond

  Show description for 19958fe
  kroening

  committed
  19958fe

  Copy full SHA for 19958fe

• use zero_extend_exprt in SMT2 front-end

  Show description for 7687a69
  kroening

  committed
  7687a69

  Copy full SHA for 7687a69

• Merge pull request #8518 from diffblue/smt2-exception

  Show description for fa299c5
  kroening

  authored
  fa299c5

  Copy full SHA for fa299c5

• Merge pull request #8519 from diffblue/smt2-shift-distance-natural

  Show description for 8803555
  kroening

  authored
  8803555

  Copy full SHA for 8803555

• Merge pull request #8523 from diffblue/range-type-relations

  Show description for 15f755f
  kroening

  authored
  15f755f

  Copy full SHA for 15f755f

• Merge pull request #8531 from diffblue/bitnand_bitnor

  Show description for 1aa8d41
  kroening

  authored
  1aa8d41

  Copy full SHA for 1aa8d41

• Add floatbv_mod_exprt and floatbv_rem_exprt classes

  Show description for 6c2e056
  kroening

  committed
  6c2e056

  Copy full SHA for 6c2e056

• add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt

  Show description for 740f399
  kroening

  committed
  740f399

  Copy full SHA for 740f399

Commits on Dec 16, 2024

• Merge pull request #8529 from diffblue/multi_ary_constructors

  Show description for fd13d3a
  kroening

  authored
  fd13d3a

  Copy full SHA for fd13d3a

• 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 Dec 1, 2024

• SMT2: relations on the range type

  Show description for 6109869
  kroening

  committed
  6109869

  Copy full SHA for 6109869

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 24, 2024

• SMT2: allow natural-typed shift distance

  Show description for d325915
  kroening

  committed
  d325915

  Copy full SHA for d325915

• SMT2: fix exception thrown when given unsupported expression

  kroening

  committed
  efffd44

  Copy full SHA for efffd44

Commits on Nov 22, 2024

• Update contracts-assigns.md

  qinheping

  authored
  fe41d1c

  Copy full SHA for fe41d1c

Pagination

Previous

Next