|
Shakthi Kannan |
2f87475 |
diff -up chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix chalmers-lava2000-1.2.0/chalmers-lava2000.cabal
|
|
Shakthi Kannan |
2f87475 |
--- chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix 2012-08-13 17:14:12.701053750 +0530
|
|
Shakthi Kannan |
2f87475 |
+++ chalmers-lava2000-1.2.0/chalmers-lava2000.cabal 2012-08-13 17:15:41.203050365 +0530
|
|
Shakthi Kannan |
2f87475 |
@@ -11,7 +11,7 @@ maintainer: Emil Axelsson
|
|
Shakthi Kannan |
2f87475 |
homepage: http://projects.haskell.org/chalmers-lava2000/
|
|
Shakthi Kannan |
2f87475 |
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 |
2f87475 |
source-repository head
|
|
Shakthi Kannan |
2f87475 |
type: darcs
|
|
Shakthi Kannan |
2f87475 |
@@ -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 |
2f87475 |
@@ -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 |
2f87475 |
+
|
|
Shakthi Kannan |
ec5e0ce |
|
|
Shakthi Kannan |
ec5e0ce |
other-modules:
|
|
Shakthi Kannan |
ec5e0ce |
Paths_chalmers_lava2000
|
|
Shakthi Kannan |
2f87475 |
diff -up chalmers-lava2000-1.2.0/Lava.hs.fix chalmers-lava2000-1.2.0/Lava.hs
|
|
Shakthi Kannan |
2f87475 |
--- chalmers-lava2000-1.2.0/Lava.hs.fix 2012-08-13 17:15:56.692050417 +0530
|
|
Shakthi Kannan |
2f87475 |
+++ 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
|