Commits

Branch selector

 develop

User selector

kroening

Datepicker

All time

Commit History

Commits on Apr 11, 2025

• Merge pull request #8623 from diffblue/c23-2

  Show description for 5dc709d
  kroening

  authored
  5dc709d

  Copy full SHA for 5dc709d

Commits on Apr 10, 2025

• C23 keywords

  Show description for b1808c3
  kroening

  committed
  b1808c3

  Copy full SHA for b1808c3

• Merge pull request #8625 from diffblue/c-conditional-keyword

  Show description for 0b000a3
  kroening

  authored
  0b000a3

  Copy full SHA for 0b000a3

Commits on Apr 9, 2025

• ansi-c: more use of conditional_keyword

  Show description for d948592
  kroening

  committed
  d948592

  Copy full SHA for d948592

• ansi-c: remove duplicate loc() invocations from scanner

  Show description for 7b1ae4a
  kroening

  committed
  7b1ae4a

  Copy full SHA for 7b1ae4a

• Visual Studio recognises __nullptr in C++ mode

  Show description for d6f3bfc
  kroening

  committed
  d6f3bfc

  Copy full SHA for d6f3bfc

• Merge pull request #8622 from diffblue/scanner-token-names

  Show description for cbdab7f
  kroening

  authored
  cbdab7f

  Copy full SHA for cbdab7f

• Merge pull request #8621 from diffblue/ansi-c-conditional-keyword

  Show description for cbe0fb0
  kroening

  authored
  cbe0fb0

  Copy full SHA for cbe0fb0

• ansi-c: add "" around C++ keywords

  Show description for 9fbdf4b
  kroening

  committed
  9fbdf4b

  Copy full SHA for 9fbdf4b

• ansi-c: introduce conditional_keyword(c, t)

  Show description for ce7029f
  kroening

  committed
  ce7029f

  Copy full SHA for ce7029f

• C17 and C23 support

  kroening

  committed
  4531fa6

  Copy full SHA for 4531fa6

Commits on Mar 11, 2025

• Merge pull request #8594 from diffblue/simplify-bitxnor2

  Show description for 29c588c
  kroening

  authored
  29c588c

  Copy full SHA for 29c588c

Commits on Mar 2, 2025

• Merge pull request #8597 from diffblue/fixup-8538

  Show description for f55f636
  kroening

  authored
  f55f636

  Copy full SHA for f55f636

Commits on Feb 26, 2025

• simplify: rewrite bitxnor on booleans to equal

  Show description for c04a588
  kroening

  committed
  c04a588

  Copy full SHA for c04a588

Commits on Feb 20, 2025

• fixup #8538 -- correct rounding modes for floor, trunc

  Show description for 968c28f
  kroening

  committed
  968c28f

  Copy full SHA for 968c28f

Commits on Feb 19, 2025

• Merge pull request #8558 from diffblue/parser_line_no

  Show description for be99f47
  kroening

  authored
  be99f47

  Copy full SHA for be99f47

• line number for files with no newline

  Show description for a262c00
  kroening

  committed
  a262c00

  Copy full SHA for a262c00

Commits on Feb 15, 2025

• Merge pull request #8538 from diffblue/round_to_integral

  Show description for 0fc8a49
  kroening

  authored
  0fc8a49

  Copy full SHA for 0fc8a49

• Introduce floatbv_round_to_integral_exprt

  Show description for 49850ea
  kroening

  committed
  49850ea

  Copy full SHA for 49850ea

Commits on Feb 11, 2025

• Merge pull request #8590 from diffblue/remove-namespace_baset-follow

  Show description for b712143
  kroening

  authored
  b712143

  Copy full SHA for b712143

• Remove namespace_baset::follow(typet)

  Show description for 9318301
  kroening

  committed
  9318301

  Copy full SHA for 9318301

• Merge pull request #8561 from diffblue/bump-clang-format

  Show description for e5e5c65
  kroening

  authored
  e5e5c65

  Copy full SHA for e5e5c65

• Merge pull request #8515 from diffblue/TiesToAway

  Show description for ba3b018
  kroening

  authored
  ba3b018

  Copy full SHA for ba3b018

• bump clang-format to clang-15

  Show description for 08d558d
  kroening

  committed
  08d558d

  Copy full SHA for 08d558d

• Add IEEE 754 TiesToAway rounding mode

  Show description for 5c62ecc
  kroening

  committed
  5c62ecc

  Copy full SHA for 5c62ecc

Commits on Feb 10, 2025

• Merge pull request #8589 from diffblue/enumeration_bv_get

  Show description for 6957a04
  kroening

  authored
  6957a04

  Copy full SHA for 6957a04

• implement boolbvt::get for enumeration types

  Show description for b4f9748
  kroening

  committed
  b4f9748

  Copy full SHA for b4f9748

Commits on Feb 4, 2025

• Merge pull request #8550 from diffblue/ieee_float_valuet

  Show description for af4e2e4
  kroening

  authored
  af4e2e4

  Copy full SHA for af4e2e4

• Merge pull request #8537 from diffblue/smt2-range-fix

  Show description for f2489e3
  kroening

  authored
  f2489e3

  Copy full SHA for f2489e3

• Split ieee_floatt into ieee_float_valuet and ieee_floatt

  Show description for d73f9ab
  kroening

  committed
  d73f9ab

  Copy full SHA for d73f9ab

• Merge pull request #8580 from diffblue/floatbv-codeowners

  Show description for 3c4ffae
  kroening

  authored
  3c4ffae

  Copy full SHA for 3c4ffae

• remove @esteffin from CODEOWNERS

  Show description for ae83943
  kroening

  committed
  ae83943

  Copy full SHA for ae83943

• add @peterschrammel as code owner to /src/solvers/floatbv

  kroening

  committed
  37723cc

  Copy full SHA for 37723cc

Commits on Jan 2, 2025

• Merge pull request #8552 from diffblue/ieee_floatt_one

  Show description for b3e9976
  kroening

  authored
  b3e9976

  Copy full SHA for b3e9976

• Merge pull request #8539 from diffblue/smt2-rounding-modes

  Show description for 1102fa1
  kroening

  authored
  1102fa1

  Copy full SHA for 1102fa1

Pagination

Previous

Next