github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity

Add modules for the address types.

Browse Source
This commit is contained in:
Rob Rix 2018-08-10 13:31:55 -04:00
parent 56a3444b99
commit 53a9ca30aa
4 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic.cabal
View File

@ -49,6 +49,9 @@ library
, Control.Abstract.Value , Control.Abstract.Value
-- Datatypes for abstract interpretation -- Datatypes for abstract interpretation
, Data.Abstract.Address , Data.Abstract.Address
, Data.Abstract.Address.Located
, Data.Abstract.Address.Monovariant
, Data.Abstract.Address.Precise
, Data.Abstract.BaseError , Data.Abstract.BaseError
, Data.Abstract.Cache , Data.Abstract.Cache
, Data.Abstract.Configuration , Data.Abstract.Configuration

1
src/Data/Abstract/Address/Located.hs Normal file
View File

@ -0,0 +1 @@
module Data.Abstract.Address.Located where

1
src/Data/Abstract/Address/Monovariant.hs Normal file
View File

@ -0,0 +1 @@
module Data.Abstract.Address.Monovariant where

1
src/Data/Abstract/Address/Precise.hs Normal file
View File

@ -0,0 +1 @@
module Data.Abstract.Address.Precise where