chalmers-lava2000 1.1.1 → 1.1.2
raw patch · 1 files changed
+2/−3 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Lava.Generic: instance (Choice a) => Choice [a]
- Lava.Generic: instance (Choice b) => Choice (a -> b)
- Lava.Generic: instance (ConstructiveSig a) => Constructive (Signal a)
- Lava.Generic: instance (Eq a) => Eq (Struct a)
- Lava.Generic: instance (FiniteSig a) => Finite (Signal a)
- Lava.Generic: instance (Generic a) => Generic [a]
- Lava.Generic: instance (Show a) => Show (Struct a)
- Lava.Isc: instance (Read a) => Read (Sign a)
- Lava.Isc: instance (Show a) => Show (Sign a)
- Lava.Operators: instance (SignalInt a) => Enum (Signal a)
- Lava.Operators: instance (SignalInt a) => Fractional (Signal a)
- Lava.Operators: instance (SignalInt a) => Num (Signal a)
- Lava.Operators: instance (SignalInt a) => Ord (Signal a)
- Lava.Property: instance (Checkable a) => Checkable (Gen a)
- Lava.Property: instance (Checkable a) => Checkable (Signal a)
- Lava.Property: instance (Checkable a) => Checkable [a]
- Lava.Property: instance (ChoiceWithSig a) => CoFresh (Signal a)
- Lava.Property: instance (CoFresh a) => CoFresh [a]
- Lava.Property: instance (ConstructiveSig a) => Fresh (Signal a)
- Lava.Property: instance (ShowModel a) => ShowModel [a]
- Lava.Ref: instance (Show a) => Show (Ref a)
- Lava.Signal: instance (Show a) => Show (S a)
+ Lava.Generic: instance Choice a => Choice [a]
+ Lava.Generic: instance Choice b => Choice (a -> b)
+ Lava.Generic: instance ConstructiveSig a => Constructive (Signal a)
+ Lava.Generic: instance Eq a => Eq (Struct a)
+ Lava.Generic: instance FiniteSig a => Finite (Signal a)
+ Lava.Generic: instance Generic a => Generic [a]
+ Lava.Generic: instance Show a => Show (Struct a)
+ Lava.Isc: instance Read a => Read (Sign a)
+ Lava.Isc: instance Show a => Show (Sign a)
+ Lava.Operators: instance SignalInt a => Enum (Signal a)
+ Lava.Operators: instance SignalInt a => Fractional (Signal a)
+ Lava.Operators: instance SignalInt a => Num (Signal a)
+ Lava.Operators: instance SignalInt a => Ord (Signal a)
+ Lava.Property: instance Checkable a => Checkable (Gen a)
+ Lava.Property: instance Checkable a => Checkable (Signal a)
+ Lava.Property: instance Checkable a => Checkable [a]
+ Lava.Property: instance ChoiceWithSig a => CoFresh (Signal a)
+ Lava.Property: instance CoFresh a => CoFresh [a]
+ Lava.Property: instance ConstructiveSig a => Fresh (Signal a)
+ Lava.Property: instance ShowModel a => ShowModel [a]
+ Lava.Ref: instance Show a => Show (Ref a)
+ Lava.Signal: instance Show a => Show (S a)
- Lava.Captain: captain :: (Checkable a) => a -> IO ProofResult
+ Lava.Captain: captain :: Checkable a => a -> IO ProofResult
- Lava.Combinational: simulate :: (Generic b) => (a -> b) -> a -> b
+ Lava.Combinational: simulate :: Generic b => (a -> b) -> a -> b
- Lava.Eprover: eprover :: (Checkable a) => a -> IO ProofResult
+ Lava.Eprover: eprover :: Checkable a => a -> IO ProofResult
- Lava.Fixit: fixit :: (Checkable a) => a -> IO ProofResult
+ Lava.Fixit: fixit :: Checkable a => a -> IO ProofResult
- Lava.Generic: class (Generic a) => Constructive a
+ Lava.Generic: class Generic a => Constructive a
- Lava.Generic: class (Constructive a) => Finite a
+ Lava.Generic: class Constructive a => Finite a
- Lava.Generic: class (ConstructiveSig a) => FiniteSig a
+ Lava.Generic: class ConstructiveSig a => FiniteSig a
- Lava.Generic: construct :: (Generic a) => Struct Symbol -> a
+ Lava.Generic: construct :: Generic a => Struct Symbol -> a
- Lava.Generic: delay :: (Generic a) => a -> a -> a
+ Lava.Generic: delay :: Generic a => a -> a -> a
- Lava.Generic: domain :: (Finite a) => [a]
+ Lava.Generic: domain :: Finite a => [a]
- Lava.Generic: domainList :: (Finite a) => Int -> [[a]]
+ Lava.Generic: domainList :: Finite a => Int -> [[a]]
- Lava.Generic: domainSig :: (FiniteSig a) => [Signal a]
+ Lava.Generic: domainSig :: FiniteSig a => [Signal a]
- Lava.Generic: equal :: (Generic a) => (a, a) -> Signal Bool
+ Lava.Generic: equal :: Generic a => (a, a) -> Signal Bool
- Lava.Generic: ifThenElse :: (Choice a) => Signal Bool -> (a, a) -> a
+ Lava.Generic: ifThenElse :: Choice a => Signal Bool -> (a, a) -> a
- Lava.Generic: mux :: (Choice a) => (Signal Bool, (a, a)) -> a
+ Lava.Generic: mux :: Choice a => (Signal Bool, (a, a)) -> a
- Lava.Generic: pickSymbol :: (Generic a) => String -> a -> Symbol
+ Lava.Generic: pickSymbol :: Generic a => String -> a -> Symbol
- Lava.Generic: random :: (Constructive a) => Rnd -> a
+ Lava.Generic: random :: Constructive a => Rnd -> a
- Lava.Generic: randomList :: (Constructive a) => Int -> Rnd -> [a]
+ Lava.Generic: randomList :: Constructive a => Int -> Rnd -> [a]
- Lava.Generic: randomSig :: (ConstructiveSig a) => Rnd -> Signal a
+ Lava.Generic: randomSig :: ConstructiveSig a => Rnd -> Signal a
- Lava.Generic: struct :: (Generic a) => a -> Struct Symbol
+ Lava.Generic: struct :: Generic a => a -> Struct Symbol
- Lava.Generic: symbolize :: (Generic a) => String -> a -> a
+ Lava.Generic: symbolize :: Generic a => String -> a -> a
- Lava.Generic: var :: (Constructive a) => String -> a
+ Lava.Generic: var :: Constructive a => String -> a
- Lava.Generic: varList :: (Constructive a) => Int -> String -> [a]
+ Lava.Generic: varList :: Constructive a => Int -> String -> [a]
- Lava.Generic: varSig :: (ConstructiveSig a) => String -> Signal a
+ Lava.Generic: varSig :: ConstructiveSig a => String -> Signal a
- Lava.Generic: zero :: (Constructive a) => a
+ Lava.Generic: zero :: Constructive a => a
- Lava.Generic: zeroList :: (Constructive a) => Int -> [a]
+ Lava.Generic: zeroList :: Constructive a => Int -> [a]
- Lava.Generic: zeroSig :: (ConstructiveSig a) => Signal a
+ Lava.Generic: zeroSig :: ConstructiveSig a => Signal a
- Lava.Generic: zeroify :: (Generic a) => a -> a
+ Lava.Generic: zeroify :: Generic a => a -> a
- Lava.HeerHugo: heerhugo :: (Checkable a) => a -> IO ProofResult
+ Lava.HeerHugo: heerhugo :: Checkable a => a -> IO ProofResult
- Lava.Isc: isc :: (Checkable a) => a -> IO ProofResult
+ Lava.Isc: isc :: Checkable a => a -> IO ProofResult
- Lava.Isc: iscWith :: (Checkable a) => IscMethod -> Int -> a -> IO ProofResult
+ Lava.Isc: iscWith :: Checkable a => IscMethod -> Int -> a -> IO ProofResult
- Lava.LavaRandom: next :: (RandomGen g) => g -> (Int, g)
+ Lava.LavaRandom: next :: RandomGen g => g -> (Int, g)
- Lava.LavaRandom: split :: (RandomGen g) => g -> (g, g)
+ Lava.LavaRandom: split :: RandomGen g => g -> (g, g)
- Lava.Limmat: limmat :: (Checkable a) => a -> IO ProofResult
+ Lava.Limmat: limmat :: Checkable a => a -> IO ProofResult
- Lava.Modoc: modoc :: (Checkable a) => a -> IO ProofResult
+ Lava.Modoc: modoc :: Checkable a => a -> IO ProofResult
- Lava.Netlist: netlist :: (Functor f) => (S a -> a) -> f Symbol -> f a
+ Lava.Netlist: netlist :: Functor f => (S a -> a) -> f Symbol -> f a
- Lava.Netlist: netlistIO :: (Sequent f) => IO v -> (v -> S v -> IO ()) -> f Symbol -> IO (f v)
+ Lava.Netlist: netlistIO :: Sequent f => IO v -> (v -> S v -> IO ()) -> f Symbol -> IO (f v)
- Lava.Netlist: netlistST :: (Sequent f) => ST s v -> (v -> S v -> ST s ()) -> f Symbol -> ST s (f v)
+ Lava.Netlist: netlistST :: Sequent f => ST s v -> (v -> S v -> ST s ()) -> f Symbol -> ST s (f v)
- Lava.Operators: fromSignalInt :: (SignalInt a) => Signal Int -> Signal a
+ Lava.Operators: fromSignalInt :: SignalInt a => Signal Int -> Signal a
- Lava.Operators: toSignalInt :: (SignalInt a) => Signal a -> Signal Int
+ Lava.Operators: toSignalInt :: SignalInt a => Signal a -> Signal Int
- Lava.Property: fresh :: (Fresh a) => Gen a
+ Lava.Property: fresh :: Fresh a => Gen a
- Lava.Property: list :: (Fresh a) => Int -> Gen [a]
+ Lava.Property: list :: Fresh a => Int -> Gen [a]
- Lava.Property: properties :: (Checkable a) => a -> IO ([Signal Bool], Model -> [[String]])
+ Lava.Property: properties :: Checkable a => a -> IO ([Signal Bool], Model -> [[String]])
- Lava.Property: property :: (Checkable a) => a -> Property
+ Lava.Property: property :: Checkable a => a -> Property
- Lava.Property: showModel :: (ShowModel a) => Model -> a -> [String]
+ Lava.Property: showModel :: ShowModel a => Model -> a -> [String]
- Lava.Satnik: satnik :: (Checkable a) => a -> IO ProofResult
+ Lava.Satnik: satnik :: Checkable a => a -> IO ProofResult
- Lava.Satzoo: satzoo :: (Checkable a) => a -> IO ProofResult
+ Lava.Satzoo: satzoo :: Checkable a => a -> IO ProofResult
- Lava.Sequent: class (Functor s) => Sequent s
+ Lava.Sequent: class Functor s => Sequent s
- Lava.Smv: smv :: (Checkable a) => a -> IO ProofResult
+ Lava.Smv: smv :: Checkable a => a -> IO ProofResult
- Lava.Stable: stable :: (Generic a) => a -> Signal Bool
+ Lava.Stable: stable :: Generic a => a -> Signal Bool
- Lava.Table: table :: (Sequent f) => f Symbol -> ([(Int, S Int)], f Int)
+ Lava.Table: table :: Sequent f => f Symbol -> ([(Int, S Int)], f Int)
- Lava.Table: tableProp :: (Checkable a) => a -> IO ([(Int, S Int)], [Int])
+ Lava.Table: tableProp :: Checkable a => a -> IO ([(Int, S Int)], [Int])
- Lava.Verification: verify :: (Checkable a) => a -> IO ProofResult
+ Lava.Verification: verify :: Checkable a => a -> IO ProofResult
- Lava.Verification: verifyWith :: (Checkable a) => [Option] -> a -> IO ProofResult
+ Lava.Verification: verifyWith :: Checkable a => [Option] -> a -> IO ProofResult
- Lava.Vis: equivCheckVisInput :: (Generic a, Generic b, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResult
+ Lava.Vis: equivCheckVisInput :: (Generic a, Generic b1, Generic b) => (a -> b) -> (a -> b1) -> a -> IO ProofResult
- Lava.Vis: vis :: (Checkable a) => a -> IO ProofResult
+ Lava.Vis: vis :: Checkable a => a -> IO ProofResult
- Lava.Zchaff: zchaff :: (Checkable a) => a -> IO ProofResult
+ Lava.Zchaff: zchaff :: Checkable a => a -> IO ProofResult
Files
- chalmers-lava2000.cabal +2/−3
chalmers-lava2000.cabal view
@@ -1,6 +1,5 @@ name: chalmers-lava2000-version: 1.1.1-homepage: http://www.cs.chalmers.se/~koen/Lava/+version: 1.1.2 synopsis: Hardware description library description: Hardware description library category: Language, Hardware@@ -58,7 +57,7 @@ other-modules: Paths_chalmers_lava2000 - build-Depends: base >= 3 && < 4, haskell98 >= 1 && < 2, process >= 1 && < 2+ build-Depends: base >= 3 && < 5, haskell98 >= 1 && < 2, process >= 1 && < 2 extensions: Rank2Types, ExistentialQuantification ghc-options: -fno-warn-overlapping-patterns -fno-warn-missing-methods