Code

Added NotNaN predicate#596

Code

Merged

fthomas merged 3 commits intofthomas:masterfthomas/refined:masterfrom dcastro:is-not-nandcastro/refined:is-not-nanCopy head branch name to clipboardDec 13, 2018

+83-7

Commits

Commits on Dec 12, 2018

• Added NotNaN predicate

  dcastro

  committed
  6c8d9af

  Copy full SHA for 6c8d9af

• Binary compatibility fix

  dcastro

  committed
  5ac1c1b

  Copy full SHA for 5ac1c1b

Commits on Dec 13, 2018

• PR feedback

  dcastro

  committed
  e83b572

  Copy full SHA for e83b572