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