Skip to content
Permalink
Branch: master
Commits on Sep 5, 2018
  1. Minor update with code cleanup and following new features.

    malyzajko committed Sep 5, 2018
    - BGRT dynamic analysis (from paper Efficient  Search  for  Inputs  Causing
      High  Floating-point  Errors, PPoPP 2014)
    - tuples are now supported in return values
    - if-then-else statements are analyzed path-by-path
    - pow operator is accepted in input (can be unrolled)
    - uniform precision assignment now supports fixed-points too
    - roundoff error evaluation knows about Sterbenz theorem
Commits on Apr 17, 2018
Commits on Apr 13, 2018
Commits on Mar 18, 2018
  1. Add sbt version

    malyzajko committed Mar 18, 2018
Commits on Mar 15, 2018
Commits on Mar 9, 2018
  1. regression tests

    malyzajko committed Mar 9, 2018
Commits on Feb 28, 2018
Commits on Feb 22, 2018
  1. tool paper link in README

    malyzajko committed Feb 22, 2018
  2. tool paper preprint

    malyzajko committed Feb 22, 2018
Commits on Feb 13, 2018
  1. small code cleanup

    malyzajko committed Feb 13, 2018
Commits on Dec 20, 2017
Commits on Dec 8, 2017
Commits on Dec 6, 2017
  1. Merge pull request malyzajko#1 from malyzajko/update

    malyzajko committed Dec 6, 2017
    minor updates and code simplifications
Commits on Nov 23, 2017
  1. New logo

    malyzajko committed Nov 23, 2017
Commits on Nov 14, 2017
  1. fixing codegeneration bug

    malyzajko committed Nov 14, 2017
Commits on Nov 10, 2017
Commits on Oct 31, 2017
Commits on Oct 30, 2017
Commits on Oct 20, 2017
  1. Update README.md

    malyzajko committed Oct 20, 2017
Commits on Oct 18, 2017
  1. Add online interface link

    malyzajko committed Oct 18, 2017
  2. Updating Daisy.

    malyzajko committed Oct 18, 2017
    News:
    - support for transcendentals
    - optimization-based roundoff error estimation
    - cleanup of code base
    - fma support
    - mixed-precision support
    - interval subdivision
Commits on Aug 11, 2017
  1. code cleanup

    malyzajko committed Aug 11, 2017
Commits on Jul 24, 2017
  1. Add contributors

    malyzajko committed Jul 24, 2017
Commits on Jul 19, 2017
  1. Initial commit

    malyzajko committed Jul 19, 2017
You can’t perform that action at this time.