rme 0.1 → 0.1.1

raw patch · 3 files changed

+7/−3 lines, 3 filesnew-uploader

Files

CHANGELOG.md +5/−1
rme.cabal +1/−1
src/Data/RME/Base.hs +1/−1

CHANGELOG.md view

@@ -1,5 +1,9 @@ # Revision history for rme -## 0.1 -- TBA+## 0.1.1++* Added `Ord` instance for `RME`++## 0.1  * First version.

rme.cabal view

@@ -1,6 +1,6 @@ Cabal-version:      3.0 Name:               rme-Version:            0.1+Version:            0.1.1 Author:             Galois, Inc. Maintainer:         huffman@galois.com Build-type:         Simple

src/Data/RME/Base.hs view

@@ -29,7 +29,7 @@ -- go deeper in the tree.  data RME = Node !Int !RME !RME | R0 | R1-  deriving (Eq, Show)+  deriving (Eq, Ord, Show)  -- | Evaluate formula with given variable assignment. eval :: RME -> (Int -> Bool) -> Bool