Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 2, 2025

• FloatingPointNumber: partial revert of interface change.

  Show description for 351846c
  kfriedberger

  committed
  351846c

  Copy full SHA for 351846c

• FloatingPointNumber: improve documentation about exponent with bias.

  kfriedberger

  committed
  d94dfeb

  Copy full SHA for d94dfeb

Commits on Jan 28, 2025

• #433: improve FloatingPointNumber with explicit Sign instead of boolean flag.

  Show description for 6fd4857
  kfriedberger

  committed
  6fd4857

  Copy full SHA for 6fd4857

• improve the documentation of FloatingPointNumber.

  Show description for bef62a7
  kfriedberger

  committed
  bef62a7

  Copy full SHA for bef62a7

Commits on Nov 11, 2024

• Make single/double precision checks for FloatingPointNumber public and add a JavaDoc

  

  BaierD

  committed
  2f26a45

  Copy full SHA for 2f26a45

Commits on Jun 27, 2024

• smaller code improvements

  

  Karlheinz Friedberger

  committed
  fafefc2

  Copy full SHA for fafefc2

Commits on Apr 9, 2024

• Revert incorrect merge"

  Show description for 040dd31
  

  BaierD

  committed
  040dd31

  Copy full SHA for 040dd31

Commits on Apr 3, 2024

• Merged master into add_bitwuzla.

  daniel-raffler

  committed
  1ca0ba6

  Copy full SHA for 1ca0ba6

Commits on Mar 29, 2024

• CVC4, CVC5, Z3: improve handling of FloatingPoint constants.

  Show description for 13f0bef
  

  leventeBajczi

  authored and

  kfriedberger

  committed
  13f0bef

  Copy full SHA for 13f0bef

Commits on Feb 5, 2024

• #352: add model-evaluation for floating-point numbers.

  kfriedberger

  committed
  c9fb4d5

  Copy full SHA for c9fb4d5

Loading