Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2025

• FP theory: improve documentation and tests.

  kfriedberger

  committed
  005d6b0

  Copy full SHA for 005d6b0

Commits on Feb 25, 2025

• fix JavaDoc and trailing array-comma.

  kfriedberger

  committed
  8880cf9

  Copy full SHA for 8880cf9

• FP theory: improve documentation and tests.

  kfriedberger

  committed
  66de726

  Copy full SHA for 66de726

Commits on Feb 3, 2025

• FP-FormulaManager: re-add deprecated methods that were removed in 48ca57a342745dbe6d42b42e29413607a7676054.

  Show description for 58c9f4e
  kfriedberger

  committed
  58c9f4e

  Copy full SHA for 58c9f4e

Commits on Feb 2, 2025

• FloatingPointNumber: partial revert of interface change.

  Show description for 351846c
  kfriedberger

  committed
  351846c

  Copy full SHA for 351846c

Commits on Jan 28, 2025

• #433: add more documentation and tests for FP numbers.

  kfriedberger

  committed
  7fed483

  Copy full SHA for 7fed483

• #433: add another method to create FP formulas from FP numbers.

  kfriedberger

  committed
  8d70ff4

  Copy full SHA for 8d70ff4

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

  Show description for 6fd4857
  kfriedberger

  committed
  6fd4857

  Copy full SHA for 6fd4857

Commits on Jul 20, 2024

• improve documentation for FP operations and rounding.

  kfriedberger

  committed
  b4210a9

  Copy full SHA for b4210a9

Commits on Mar 24, 2024

• Merge pull request #364 from leventeBajczi/ieee-literal

  Show description for e7a161a
  kfriedberger

  authored
  e7a161a

  Copy full SHA for e7a161a

Commits on Mar 23, 2024

• improve documentation for new API method.

  kfriedberger

  committed
  f663208

  Copy full SHA for f663208

• Added makeNumberImpl to api

  leventeBajczi

  committed
  c6efa1d

  Copy full SHA for c6efa1d

Commits on Mar 22, 2024

• Formatted using ant format-source

  leventeBajczi

  committed
  2430cd9

  Copy full SHA for 2430cd9

• Added fp.rem to api

  leventeBajczi

  committed
  54fbe82

  Copy full SHA for 54fbe82

Commits on Jun 18, 2022

• extend the API of JavaSMT with support for casting FP formulas to SBV and UBV.

  kfriedberger

  committed
  48ca57a

  Copy full SHA for 48ca57a

Commits on Sep 2, 2021

• apply a spell check for documentation and comments in source code.

  kfriedberger

  committed
  c12d272

  Copy full SHA for c12d272

Commits on Jul 9, 2020

• apply the reuse tool to change the license info.

  Show description for e211d0a
  kfriedberger

  committed
  e211d0a

  Copy full SHA for e211d0a

Commits on Nov 14, 2019

• add new API methods for FP_SQRT, FP_MAX and FP_MIN.

  Show description for 99a20b0
  kfriedberger

  committed
  99a20b0

  Copy full SHA for 99a20b0

• add new API method for FP_ABS returning the absolute of a FP value.

  Show description for 70a3cfc
  kfriedberger

  committed
  70a3cfc

  Copy full SHA for 70a3cfc

Commits on Apr 26, 2019

• fix JavaDoc warnings.

  Show description for d84c935
  kfriedberger

  committed
  d84c935

  Copy full SHA for d84c935

Commits on Apr 7, 2019

• more documentation for managers

  kfriedberger

  committed
  7dbfe8a

  Copy full SHA for 7dbfe8a

Commits on Feb 25, 2019

• FloatingPointMgr: add method 'isNormal' and tests.

  kfriedberger

  committed
  8c4d890

  Copy full SHA for 8c4d890

• FloatingPointMgr: add method 'isNegative' and tests.

  Show description for 8e0840e
  kfriedberger

  committed
  8e0840e

  Copy full SHA for 8e0840e

Commits on Jun 18, 2018

• next try to get 'isValidName' into our API.

  Show description for 87bc458
  kfriedberger

  committed
  87bc458

  Copy full SHA for 87bc458

Commits on Jun 15, 2018

• move constants representing invalid names from Formula into FormulaManager.

  Show description for 55d8f86
  kfriedberger

  committed
  55d8f86

  Copy full SHA for 55d8f86

Commits on Jun 7, 2018

• add some documentation about valid symbol names.

  kfriedberger

  committed
  5d8039d

  Copy full SHA for 5d8039d

Commits on Nov 15, 2017

• Expose methods for converting floats to IEEE bitvectors and vice versa.

  PhilippWendler

  committed
  9d52e2b

  Copy full SHA for 9d52e2b

Commits on Aug 23, 2017

• use more specific type 'FP-Formula' instead of just 'Formula'

  kfriedberger

  committed
  1b6b9a2

  Copy full SHA for 1b6b9a2

Commits on Jul 24, 2017

• add method 'round' into FP-manager.

  Show description for 7e9334a
  kfriedberger

  committed
  7e9334a

  Copy full SHA for 7e9334a

Commits on Oct 10, 2016

• Reformat Javadoc with next version of google-java-format.

  Show description for 9dc8213
  kfriedberger

  committed
  9dc8213

  Copy full SHA for 9dc8213

• Organize imports according to current Google Java Style Guide.

  Show description for 67646e0
  kfriedberger

  committed
  67646e0

  Copy full SHA for 67646e0

Commits on Aug 19, 2016

• Pacifying warnings.

  cheshire

  committed
  daa4dc9

  Copy full SHA for daa4dc9

• Adds an ability to specify a floating point rounding mode.

  Show description for 0b6105f
  cheshire

  committed
  0b6105f

  Copy full SHA for 0b6105f

Commits on Aug 17, 2016

• Restructure JavaSMT package.

  Show description for 1ace8bd
  cheshire

  committed
  1ace8bd

  Copy full SHA for 1ace8bd

Loading