diff -up chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix chalmers-lava2000-1.1.1/chalmers-lava2000.cabal
--- chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix 2009-12-20 16:53:51.800160345 +0530
+++ chalmers-lava2000-1.1.1/chalmers-lava2000.cabal 2009-12-20 16:55:54.581901235 +0530
@@ -11,26 +11,19 @@ author: Koen Claessen <koen
maintainer: Emil Axelsson <emax@chalmers.se>
cabal-version: >= 1.2
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
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
@@ -38,22 +31,16 @@ 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.1.1/Lava.hs.fix chalmers-lava2000-1.1.1/Lava.hs
--- chalmers-lava2000-1.1.1/Lava.hs.fix 2009-12-20 16:56:43.629901711 +0530
+++ chalmers-lava2000-1.1.1/Lava.hs 2009-12-20 16:58:01.773901399 +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