sv2v.cabal

cabal-version: 2.4

name: sv2v
version: 0.0.13
synopsis: SystemVerilog to Verilog conversion
description:
  A tool for coverting SystemVerilog to Verilog. Originally forked from the
  Verilog parser found at https://github.com/tomahawkins/verilog
category: Language, Hardware, Embedded, Development

author: Zachary Snow <[email protected]>, Tom Hawkins <[email protected]>
maintainer: Zachary Snow <[email protected]>
license: BSD-3-Clause
license-file: LICENSE
license-files: NOTICE
homepage: https://github.com/zachjs/sv2v

extra-doc-files:
  README.md
  CHANGELOG.md

executable sv2v
  default-language: Haskell2010
  main-is: sv2v.hs
  hs-source-dirs: src
  build-tool-depends:
    , alex:alex >= 3.2 && < 4
    , happy:happy >= 1.19 && < 3
  build-depends:
    , array >= 0.5.3
    , base >= 4.12
    , cmdargs >= 0.10.20
    , containers >= 0.6.0.1
    , directory >= 1.3.3
    , filepath >= 1.4.2.1
    , githash >= 0.1.3.1
    , hashable >= 1.2.7
    , mtl >= 2.2.2
    , vector >= 0.12.0.2
  other-modules:
    -- SystemVerilog modules
    Language.SystemVerilog
    Language.SystemVerilog.AST
    Language.SystemVerilog.AST.Attr
    Language.SystemVerilog.AST.Decl
    Language.SystemVerilog.AST.Description
    Language.SystemVerilog.AST.Expr
    Language.SystemVerilog.AST.GenItem
    Language.SystemVerilog.AST.LHS
    Language.SystemVerilog.AST.ModuleItem
    Language.SystemVerilog.AST.Number
    Language.SystemVerilog.AST.Op
    Language.SystemVerilog.AST.ShowHelp
    Language.SystemVerilog.AST.Stmt
    Language.SystemVerilog.AST.Type
    Language.SystemVerilog.Parser
    Language.SystemVerilog.Parser.Keywords
    Language.SystemVerilog.Parser.Lex
    Language.SystemVerilog.Parser.Parse
    Language.SystemVerilog.Parser.ParseDecl
    Language.SystemVerilog.Parser.Preprocess
    Language.SystemVerilog.Parser.Tokens
    -- Conversion modules
    Convert
    Convert.AlwaysKW
    Convert.AsgnOp
    Convert.Assertion
    Convert.BlockDecl
    Convert.Cast
    Convert.DimensionQuery
    Convert.DoWhile
    Convert.DuplicateGenvar
    Convert.EmptyArgs
    Convert.EventEdge
    Convert.ExprAsgn
    Convert.ExprUtils
    Convert.ForAsgn
    Convert.Foreach
    Convert.FuncRet
    Convert.FuncRoutine
    Convert.GenvarName
    Convert.HierConst
    Convert.ImplicitNet
    Convert.Inside
    Convert.Interface
    Convert.IntTypes
    Convert.Jump
    Convert.KWArgs
    Convert.Logic
    Convert.LogOp
    Convert.MultiplePacked
    Convert.NamedBlock
    Convert.Package
    Convert.ParamNoDefault
    Convert.ParamType
    Convert.PortDecl
    Convert.PortDefault
    Convert.RemoveComments
    Convert.ResolveBindings
    Convert.Scoper
    Convert.SeverityTask
    Convert.Simplify
    Convert.Stream
    Convert.StringParam
    Convert.StringType
    Convert.Struct
    Convert.StructConst
    Convert.TFBlock
    Convert.Traverse
    Convert.TypeName
    Convert.TypeOf
    Convert.UnbasedUnsized
    Convert.Unique
    Convert.UnnamedGenBlock
    Convert.UnpackedArray
    Convert.Unsigned
    Convert.Wildcard
    -- sv2v CLI modules
    Bugpoint
    Job
    Split
    Paths_sv2v
  autogen-modules:
    Paths_sv2v
  default-extensions:
    PatternSynonyms
    TupleSections
  ghc-options:
    -O3
    -threaded
    -rtsopts
    "-with-rtsopts=-N -A32m"
    -funbox-strict-fields
    -Wall
    -Wno-incomplete-uni-patterns
    -Wno-x-partial

source-repository head
  type:     git
  location: git://github.com/zachjs/sv2v.git
upgrade cabal file format 2020-06-05 23:12:45 -04:00			`cabal-version: 2.4`

directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`name: sv2v`
release v0.0.13 2025-03-19 22:53:08 -04:00			`version: 0.0.13`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`synopsis: SystemVerilog to Verilog conversion`
			`description:`
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`A tool for coverting SystemVerilog to Verilog. Originally forked from the`
			`Verilog parser found at https://github.com/tomahawkins/verilog`
			`category: Language, Hardware, Embedded, Development`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`author: Zachary Snow <[email protected]>, Tom Hawkins <[email protected]>`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`maintainer: Zachary Snow <[email protected]>`
upgrade cabal file format 2020-06-05 23:12:45 -04:00			`license: BSD-3-Clause`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`license-file: LICENSE`
add dependency licenses to NOTICE 2019-12-22 14:43:01 -05:00			`license-files: NOTICE`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`homepage: https://github.com/zachjs/sv2v`

add stub change log 2021-07-31 14:27:20 -04:00			`extra-doc-files:`
			`README.md`
			`CHANGELOG.md`

Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`executable sv2v`
			`default-language: Haskell2010`
			`main-is: sv2v.hs`
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`hs-source-dirs: src`
use new cabal build-tool-depends syntax 2020-06-06 13:48:28 -04:00			`build-tool-depends:`
broaden compiler support 2024-05-05 16:00:35 -04:00			`, alex:alex >= 3.2 && < 4`
allow building with happy v2 2024-09-29 15:47:11 -04:00			`, happy:happy >= 1.19 && < 3`
Basic build setup! 2019-02-08 01:09:10 -05:00			`build-depends:`
update versioning 2025-06-22 23:45:12 -04:00			`, array >= 0.5.3`
			`, base >= 4.12`
			`, cmdargs >= 0.10.20`
			`, containers >= 0.6.0.1`
			`, directory >= 1.3.3`
			`, filepath >= 1.4.2.1`
			`, githash >= 0.1.3.1`
			`, hashable >= 1.2.7`
			`, mtl >= 2.2.2`
			`, vector >= 0.12.0.2`
Basic build setup! 2019-02-08 01:09:10 -05:00			`other-modules:`
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`-- SystemVerilog modules`
updated build procedure 2019-02-08 16:51:32 -05:00			`Language.SystemVerilog`
			`Language.SystemVerilog.AST`
surprisingly non-disgusting addition of attribute instances to module items and statements 2019-03-26 01:54:16 -04:00			`Language.SystemVerilog.AST.Attr`
split out Decl, LHS, and Stmt into separate AST modules 2019-03-25 13:29:35 -04:00			`Language.SystemVerilog.AST.Decl`
final major round of splitting and cleanup in the SystemVerilog module 2019-04-03 20:24:09 -04:00			`Language.SystemVerilog.AST.Description`
starting work to clean up and segment AST 2019-03-22 19:24:45 -04:00			`Language.SystemVerilog.AST.Expr`
final major round of splitting and cleanup in the SystemVerilog module 2019-04-03 20:24:09 -04:00			`Language.SystemVerilog.AST.GenItem`
split out Decl, LHS, and Stmt into separate AST modules 2019-03-25 13:29:35 -04:00			`Language.SystemVerilog.AST.LHS`
final major round of splitting and cleanup in the SystemVerilog module 2019-04-03 20:24:09 -04:00			`Language.SystemVerilog.AST.ModuleItem`
enhanced handling of number literals 2020-07-12 15:06:27 -06:00			`Language.SystemVerilog.AST.Number`
starting work to clean up and segment AST 2019-03-22 19:24:45 -04:00			`Language.SystemVerilog.AST.Op`
			`Language.SystemVerilog.AST.ShowHelp`
split out Decl, LHS, and Stmt into separate AST modules 2019-03-25 13:29:35 -04:00			`Language.SystemVerilog.AST.Stmt`
starting work to clean up and segment AST 2019-03-22 19:24:45 -04:00			`Language.SystemVerilog.AST.Type`
Basic build setup! 2019-02-08 01:09:10 -05:00			`Language.SystemVerilog.Parser`
support for begin_keywords directive 2019-10-11 19:32:10 -04:00			`Language.SystemVerilog.Parser.Keywords`
updated build procedure 2019-02-08 16:51:32 -05:00			`Language.SystemVerilog.Parser.Lex`
			`Language.SystemVerilog.Parser.Parse`
support for interfaces; new "declaration parser" 2019-03-04 02:58:00 -05:00			`Language.SystemVerilog.Parser.ParseDecl`
redesigned preprocessor and lexer 2020-02-06 23:27:51 -05:00			`Language.SystemVerilog.Parser.Preprocess`
updated build procedure 2019-02-08 16:51:32 -05:00			`Language.SystemVerilog.Parser.Tokens`
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`-- Conversion modules`
added logic to module items; toying with initial Conversion 2019-02-17 23:39:01 -05:00			`Convert`
always construct conversion; more modular conversion approach 2019-02-18 01:38:16 -05:00			`Convert.AlwaysKW`
added conversion for genvar iteration AsgnOps 2019-03-04 19:58:54 -05:00			`Convert.AsgnOp`
significantly stronger support, and proper handling of assertions 2019-04-03 19:08:30 -04:00			`Convert.Assertion`
conversion for block decls with asignments 2019-09-02 13:08:41 -04:00			`Convert.BlockDecl`
refactor cast conversion 2021-02-03 16:12:05 -05:00			`Convert.Cast`
conversion for array query system functions (resolves #37 ) 2019-09-14 16:42:54 -04:00			`Convert.DimensionQuery`
convert do while loops 2022-03-11 11:32:54 +01:00			`Convert.DoWhile`
improved handling of genvars 2020-02-23 22:30:17 -05:00			`Convert.DuplicateGenvar`
parse and convert empty function arguments (resolves #17 ) 2019-08-28 20:28:56 -04:00			`Convert.EmptyArgs`
refactor event control internals 2022-04-11 17:44:47 -06:00			`Convert.EventEdge`
support assignments within expressions 2022-03-12 23:57:17 +01:00			`Convert.ExprAsgn`
enhanced handling of number literals 2020-07-12 15:06:27 -06:00			`Convert.ExprUtils`
improved handling of procedural for loops 2021-07-14 15:50:12 -04:00			`Convert.ForAsgn`
support and conversion for foreach 2019-09-15 15:49:21 -04:00			`Convert.Foreach`
function return type logic to implicit conversion 2019-03-06 14:36:16 -05:00			`Convert.FuncRet`
support evaluating functions as statements 2020-01-11 21:06:09 -05:00			`Convert.FuncRoutine`
assign a unique identifier to every genvar 2023-08-11 21:52:03 -04:00			`Convert.GenvarName`
substitute constants from type information across scopes 2021-02-10 12:43:59 -05:00			`Convert.HierConst`
conversion to create declarations for implicit nets 2020-09-13 23:27:22 -04:00			`Convert.ImplicitNet`
support for inside expression ranges and wildcards 2019-12-08 17:36:25 -05:00			`Convert.Inside`
first half of interface conversion 2019-03-06 20:30:47 -05:00			`Convert.Interface`
basic conversion for int, byte, shortint, and longint 2019-04-24 14:00:08 -04:00			`Convert.IntTypes`
support and convert jumps: break, continue, and return 2019-10-08 22:13:05 -04:00			`Convert.Jump`
added conversion for name task and function arguments 2019-04-01 13:16:21 -04:00			`Convert.KWArgs`
always construct conversion; more modular conversion approach 2019-02-18 01:38:16 -05:00			`Convert.Logic`
support and conversion for -> and <-> 2019-09-15 13:55:40 -04:00			`Convert.LogOp`
major array pack and flatten update (closes #48 ) 2019-09-26 22:47:36 -04:00			`Convert.MultiplePacked`
added conversion which adds names to unnamed blocks with decls 2019-04-19 19:08:52 -04:00			`Convert.NamedBlock`
added preliminary package conversion 2019-04-23 20:22:03 -04:00			`Convert.Package`
support for parameters without defaults 2021-01-21 11:48:36 -07:00			`Convert.ParamNoDefault`
initial parameter type conversion 2019-09-11 09:27:18 +02:00			`Convert.ParamType`
support for common non-ANSI style port declarations 2021-09-06 21:10:49 -04:00			`Convert.PortDecl`
added input port default conversion 2025-02-23 18:08:18 -05:00			`Convert.PortDefault`
remove comments by default; added --verbose flag 2019-08-28 19:48:25 -04:00			`Convert.RemoveComments`
refactor positional binding checking and resolution 2021-04-30 13:42:36 -04:00			`Convert.ResolveBindings`
initial generate block scoping support 2020-07-02 18:50:26 -06:00			`Convert.Scoper`
convert severity and elaboration system tasks (#276 ) 2024-09-02 20:41:29 -07:00			`Convert.SeverityTask`
substitution conversion for size casts (closes #27 ) 2019-09-11 22:52:01 -04:00			`Convert.Simplify`
preliminary stream conversion 2019-09-03 23:36:29 -04:00			`Convert.Stream`
conversion for implicitly variably sized parameters 2020-08-12 21:47:24 -04:00			`Convert.StringParam`
drop explicit string type from parameters 2023-01-07 18:26:23 -07:00			`Convert.StringType`
preliminary struct conversion; return conversion 2019-03-06 00:51:09 -05:00			`Convert.Struct`
elaborate accesses to fields of struct constants 2022-10-23 11:52:22 -07:00			`Convert.StructConst`
flatten tf blocks with decls 2020-05-05 19:32:37 -04:00			`Convert.TFBlock`
initial work on Traverse AST transformations 2019-02-25 02:36:37 -05:00			`Convert.Traverse`
draft enum method conversion 2026-08-18 08:52:11 -04:00			`Convert.TypeName`
support type operator on simple expressions 2020-01-11 16:22:07 -05:00			`Convert.TypeOf`
simple conversion for unbased unsized literals 2019-03-19 13:40:25 -04:00			`Convert.UnbasedUnsized`
broader operator support; other parser cleanup 2019-03-04 18:25:14 -05:00			`Convert.Unique`
handle naming and scoping of unnamed generate blocks 2021-06-30 14:24:35 -04:00			`Convert.UnnamedGenBlock`
major array pack and flatten update (closes #48 ) 2019-09-26 22:47:36 -04:00			`Convert.UnpackedArray`
remove extraneous explicit unsigned (resolves #45 ) 2019-09-24 23:35:06 -04:00			`Convert.Unsigned`
support for inside expression ranges and wildcards 2019-12-08 17:36:25 -05:00			`Convert.Wildcard`
directory re-org; streamline build setup 2019-02-28 13:52:31 -05:00			`-- sv2v CLI modules`
add bugpoint mode 2024-06-19 23:06:34 -04:00			`Bugpoint`
cleaned up command line args module a bit 2019-02-28 14:06:35 -05:00			`Job`
handle directives when writing to a directory 2024-06-15 22:15:30 -04:00			`Split`
use cabal package version as fallback when repo is missing 2021-04-15 13:47:45 -04:00			`Paths_sv2v`
upgrade to GHC 8.10.4 2021-07-30 13:54:05 -04:00			`autogen-modules:`
			`Paths_sv2v`
fix cabal deprecation warning 2023-11-04 13:38:15 -04:00			`default-extensions:`
move -X options to extensions in sv2v.cabal 2023-11-01 22:57:43 -04:00			`PatternSynonyms`
			`TupleSections`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`ghc-options:`
			`-O3`
			`-threaded`
			`-rtsopts`
increase minimum allocation area size to 32m 2021-03-10 17:13:40 -05:00			`"-with-rtsopts=-N -A32m"`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00			`-funbox-strict-fields`
			`-Wall`
upgrade to GHC 9.4.8 2024-04-14 16:19:22 -04:00			`-Wno-incomplete-uni-patterns`
update versioning 2025-06-22 23:45:12 -04:00			`-Wno-x-partial`
Refactor project setup for our purposes 2019-02-08 00:19:39 -05:00
			`source-repository head`
			`type: git`
			`location: git://github.com/zachjs/sv2v.git`