Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft version of FPBench 1.1 standards. #2

Merged
merged 6 commits into from Aug 16, 2018
Merged

Draft version of FPBench 1.1 standards. #2

merged 6 commits into from Aug 16, 2018

Commits on Jul 18, 2018

  1. Draft version of FPBench 1.1 standards. Changes:

      * Support for multiple and mixed-precision computations
      * Semantics of numerical operations clarified as rounded real operations
      * Precision can be specified per-operation using the rounding context
      * New constant formats, including rational numbers and hexadecimal floating-point
      * New metadata properties
    billzorn committed Jul 18, 2018
    Copy the full SHA
    d4ad020 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2018

  1. fix typos

    billzorn committed Jul 25, 2018
    Copy the full SHA
    16e177e View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2018

  1. update standard so that annotations inherit properties from the paren…

    …t context
    
    Also adds some examples:
      * an aside about tool-specific properties, featuring Herbie
      * examples related to cast and double rounding
      * examples related to context inheritance
    billzorn committed Aug 14, 2018
    Copy the full SHA
    8a9316a View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2018

  1. Copy the full SHA
    8360e70 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2018

  1. Merge pull request #3 from FPBench/fpbench-1.1b

    Pass over the 1.1 documentation
    billzorn committed Aug 16, 2018
    Copy the full SHA
    7d9330a View commit details
    Browse the repository at this point in the history
  2. typo?

    billzorn committed Aug 16, 2018
    Copy the full SHA
    ceffd83 View commit details
    Browse the repository at this point in the history