chalmers-lava2000 1.2.0 → 1.3
raw patch · 2 files changed
+4/−3 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Lava.Signal: andl, xorl, orl :: [Signal Bool] -> Signal Bool
- Lava.Signal: divide, modulo :: Signal Int -> Signal Int -> Signal Int
- Lava.Signal: low, high :: Signal Bool
- Lava.Signal: plusl, timesl :: [Signal Int] -> Signal Int
+ Lava.Signal: andl :: [Signal Bool] -> Signal Bool
+ Lava.Signal: divide :: Signal Int -> Signal Int -> Signal Int
+ Lava.Signal: high :: Signal Bool
+ Lava.Signal: low :: Signal Bool
+ Lava.Signal: modulo :: Signal Int -> Signal Int -> Signal Int
+ Lava.Signal: orl :: [Signal Bool] -> Signal Bool
+ Lava.Signal: plusl :: [Signal Int] -> Signal Int
+ Lava.Signal: timesl :: [Signal Int] -> Signal Int
+ Lava.Signal: xorl :: [Signal Bool] -> Signal Bool
- Lava.Patterns: mirror :: ((t, t1) -> (t3, t2)) -> (t1, t) -> (t2, t3)
+ Lava.Patterns: mirror :: ((t1, t) -> (t3, t2)) -> (t, t1) -> (t2, t3)
- Lava.SequentialCircuits: delayClk :: (Choice a, Generic a) => a -> (Signal Bool, a) -> a
+ Lava.SequentialCircuits: delayClk :: (Choice t, Generic t) => t -> (Signal Bool, t) -> t
- Lava.SequentialCircuits: rowSeqPeriod :: (Eq a, Num a, Choice t1, Constructive t1) => a -> ((t1, t2) -> (t, t1)) -> t2 -> t
+ Lava.SequentialCircuits: rowSeqPeriod :: (Eq a, Num a, Choice t2, Constructive t2) => a -> ((t2, t) -> (t1, t2)) -> t -> t1
- Lava.SequentialCircuits: rowSeqReset :: (Choice t1, Constructive t1) => ((t1, t2) -> (t, t1)) -> (Signal Bool, t2) -> t
+ Lava.SequentialCircuits: rowSeqReset :: (Choice t2, Constructive t2) => ((t2, t) -> (t1, t2)) -> (Signal Bool, t) -> t1
- Lava.Vis: equivCheckVisInput :: (Generic b1, Generic b, Generic a) => (a -> b) -> (a -> b1) -> a -> IO ProofResult
+ Lava.Vis: equivCheckVisInput :: (Generic a, Generic b, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResult
Files
- Lava/Eprover.hs +2/−1
- chalmers-lava2000.cabal +2/−2
Lava/Eprover.hs view
@@ -24,7 +24,7 @@ , hClose ) -import System.IO.Error+import Control.Exception ( try ) @@ -126,6 +126,7 @@ try (do readFile theoryFile system ("cat " ++ theoryFile ++ " >> " ++ file))+ :: IO (Either IOError ExitCode) return () where
chalmers-lava2000.cabal view
@@ -1,5 +1,5 @@ name: chalmers-lava2000-version: 1.2.0+version: 1.3 synopsis: Hardware description library description: Hardware description library category: Language, Hardware@@ -15,7 +15,7 @@ source-repository head type: darcs- location: http://code.haskell.org/chalmers-lava2000/+ location: http://projects.haskell.org/chalmers-lava2000/ library exposed-modules: