Shakthi Kannan 06e2c58
diff -up chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix chalmers-lava2000-1.2.0/chalmers-lava2000.cabal
Shakthi Kannan 06e2c58
--- chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix	2012-08-13 17:14:12.701053750 +0530
Shakthi Kannan 06e2c58
+++ chalmers-lava2000-1.2.0/chalmers-lava2000.cabal	2012-08-13 17:15:41.203050365 +0530
Shakthi Kannan 06e2c58
@@ -11,7 +11,7 @@ maintainer:          Emil Axelsson 
Shakthi Kannan 06e2c58
 homepage:            http://projects.haskell.org/chalmers-lava2000/
Shakthi Kannan 06e2c58
 cabal-version:       >= 1.6
Shakthi Kannan ec5e0ce
 build-type:          Simple
Shakthi Kannan ec5e0ce
-data-files:          README, INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper
Shakthi Kannan ec5e0ce
+data-files:          INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd
Shakthi Kannan ec5e0ce
 
Shakthi Kannan 06e2c58
 source-repository head
Shakthi Kannan 06e2c58
   type:     darcs
Shakthi Kannan 06e2c58
@@ -21,20 +21,13 @@ library
Shakthi Kannan ec5e0ce
     exposed-modules:
Shakthi Kannan ec5e0ce
                      Lava
Shakthi Kannan ec5e0ce
                      Lava.Arithmetic
Shakthi Kannan ec5e0ce
-                     Lava.Captain
Shakthi Kannan ec5e0ce
                      Lava.Combinational
Shakthi Kannan ec5e0ce
                      Lava.ConstructiveAnalysis
Shakthi Kannan ec5e0ce
-                     Lava.Eprover
Shakthi Kannan ec5e0ce
                      Lava.Error
Shakthi Kannan ec5e0ce
-                     Lava.Fixit
Shakthi Kannan ec5e0ce
                      Lava.Generic
Shakthi Kannan ec5e0ce
-                     Lava.HeerHugo
Shakthi Kannan ec5e0ce
                      Lava.IOBuffering
Shakthi Kannan ec5e0ce
-                     Lava.Isc
Shakthi Kannan ec5e0ce
                      Lava.LavaDir
Shakthi Kannan ec5e0ce
                      Lava.LavaRandom
Shakthi Kannan ec5e0ce
-                     Lava.Limmat
Shakthi Kannan ec5e0ce
-                     Lava.Modoc
Shakthi Kannan ec5e0ce
                      Lava.MyST
Shakthi Kannan ec5e0ce
                      Lava.Netlist
Shakthi Kannan ec5e0ce
                      Lava.Operators
Shakthi Kannan 06e2c58
@@ -42,22 +35,17 @@ library
Shakthi Kannan ec5e0ce
                      Lava.Property
Shakthi Kannan ec5e0ce
                      Lava.Ref
Shakthi Kannan ec5e0ce
                      Lava.Retime
Shakthi Kannan ec5e0ce
-                     Lava.Satnik
Shakthi Kannan ec5e0ce
-                     Lava.Satzoo
Shakthi Kannan ec5e0ce
                      Lava.Sequent
Shakthi Kannan ec5e0ce
                      Lava.Sequential
Shakthi Kannan ec5e0ce
                      Lava.SequentialCircuits
Shakthi Kannan ec5e0ce
                      Lava.SequentialConstructive
Shakthi Kannan ec5e0ce
                      Lava.Signal
Shakthi Kannan ec5e0ce
                      Lava.SignalTry
Shakthi Kannan ec5e0ce
-                     Lava.Smv
Shakthi Kannan ec5e0ce
                      Lava.Stable
Shakthi Kannan ec5e0ce
                      Lava.Table
Shakthi Kannan ec5e0ce
                      Lava.Test
Shakthi Kannan ec5e0ce
-                     Lava.Verification
Shakthi Kannan ec5e0ce
                      Lava.Vhdl
Shakthi Kannan ec5e0ce
-                     Lava.Vis
Shakthi Kannan ec5e0ce
-                     Lava.Zchaff
Shakthi Kannan 06e2c58
+
Shakthi Kannan ec5e0ce
 
Shakthi Kannan ec5e0ce
     other-modules:
Shakthi Kannan ec5e0ce
                      Paths_chalmers_lava2000
Shakthi Kannan 06e2c58
diff -up chalmers-lava2000-1.2.0/Lava.hs.fix chalmers-lava2000-1.2.0/Lava.hs
Shakthi Kannan 06e2c58
--- chalmers-lava2000-1.2.0/Lava.hs.fix	2012-08-13 17:15:56.692050417 +0530
Shakthi Kannan 06e2c58
+++ chalmers-lava2000-1.2.0/Lava.hs	2012-08-13 17:16:21.155050692 +0530
Shakthi Kannan ec5e0ce
@@ -7,11 +7,6 @@ module Lava
Shakthi Kannan ec5e0ce
   , module Lava.SequentialConstructive
Shakthi Kannan ec5e0ce
   , module Lava.ConstructiveAnalysis
Shakthi Kannan ec5e0ce
   , module Lava.Test
Shakthi Kannan ec5e0ce
-  , module Lava.Verification
Shakthi Kannan ec5e0ce
-  , module Lava.Vis
Shakthi Kannan ec5e0ce
-  , module Lava.Fixit
Shakthi Kannan ec5e0ce
-  , module Lava.Smv
Shakthi Kannan ec5e0ce
-  , module Lava.Satzoo
Shakthi Kannan ec5e0ce
   , module Lava.Property
Shakthi Kannan ec5e0ce
   , module Lava.Retime
Shakthi Kannan ec5e0ce
   , module Lava.Vhdl
Shakthi Kannan ec5e0ce
@@ -26,11 +21,6 @@ import Lava.Sequential
Shakthi Kannan ec5e0ce
 import Lava.SequentialConstructive
Shakthi Kannan ec5e0ce
 import Lava.ConstructiveAnalysis
Shakthi Kannan ec5e0ce
 import Lava.Test
Shakthi Kannan ec5e0ce
-import Lava.Verification
Shakthi Kannan ec5e0ce
-import Lava.Vis
Shakthi Kannan ec5e0ce
-import Lava.Fixit
Shakthi Kannan ec5e0ce
-import Lava.Smv
Shakthi Kannan ec5e0ce
-import Lava.Satzoo
Shakthi Kannan ec5e0ce
 import Lava.Property
Shakthi Kannan ec5e0ce
 import Lava.Retime
Shakthi Kannan ec5e0ce
 import Lava.Vhdl