luke
/
sv2v
mirror of https://github.com/zachjs/sv2v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,038 Commits 1 Branch 14 Tags 3.4 MiB
Commit Graph

127 Commits

Author SHA1 Message Date
Zachary Snow 80a2f0cf68 update versioning 
- move --pvp-bounds upper from release.sh to stack.yaml
- upgrade to GHC 9.8.4
- add dependency version lower bounds
 2025-06-22 23:45:12 -04:00
Zachary Snow e5effb5e1e release v0.0.13 2025-03-19 22:53:08 -04:00
Zachary Snow 5d5723f65d added input port default conversion 2025-02-23 18:08:20 -05:00
Zachary Snow 5374679e4b allow building with happy v2 2024-09-29 15:47:11 -04:00
Ethan Sifferman bc79e30fe5
convert severity and elaboration system tasks (#276) 2024-09-02 23:41:29 -04:00
Zachary Snow 52197df325 add bugpoint mode 
This mode reduces the size of test cases that encounter conversion
errors or produce incorrect output. The logic developed slowly over the
past three years. It is in a state that I find useful when fielding bug
reports, but has some room for improvement in terms of constraints and
filtering.
 2024-06-19 23:06:34 -04:00
Zachary Snow 6eda946f57 handle directives when writing to a directory 2024-06-15 22:15:30 -04:00
Zachary Snow 9ba03f9942 release v0.0.12 2024-05-06 22:21:47 -04:00
Zachary Snow 988f76b92b broaden compiler support 
- build in CI using snapshots from lts-13 through lts-22 and nightly
- allow building with alex >= 3.2 and happy >= 1.19
- fallback to cabal version string with incompatible versions of githash
 2024-05-05 16:00:35 -04:00
Zachary Snow 32250f3782 upgrade to GHC 9.4.8 2024-05-01 09:07:25 -04:00
Zachary Snow 0454663901 fix cabal deprecation warning 2023-11-04 13:38:15 -04:00
Zachary Snow f353518184 move -X options to extensions in sv2v.cabal 2023-11-01 22:57:43 -04:00
Zachary Snow deed2d9fc5 enable PatternSynonyms and TupleSections everywhere 2023-08-11 22:58:15 -04:00
Zachary Snow ba94920ee0 assign a unique identifier to every genvar 2023-08-11 21:52:03 -04:00
Zachary Snow 6082cae4d1 release v0.0.11 2023-06-22 00:11:49 -04:00
Zachary Snow 9bab0448e3 drop explicit string type from parameters 2023-01-07 18:27:25 -07:00
Zachary Snow 086eb78688 elaborate accesses to fields of struct constants 2022-10-23 11:52:22 -07:00
Zachary Snow 87642c0975 release v0.0.10 2022-07-23 19:28:21 -04:00
Zachary Snow f68bf187af refactor event control internals 
- event expressions use Expr over LHS
- stricter AST representation of event controls
- property specs use event expressions directly
 2022-04-11 17:44:47 -06:00
Zachary Snow ed09fe88cf support assignments within expressions 2022-03-12 23:57:17 +01:00
Zachary Snow 4ced649a87 convert do while loops 2022-03-11 11:32:54 +01:00
Zachary Snow e6e96b622b support for edge event 2022-02-16 12:01:58 +01:00
Zachary Snow c822d2e8c6 release v0.0.9 2021-09-28 22:48:12 -06:00
Zachary Snow 95c2bc996c support for common non-ANSI style port declarations 
Specifically, support has been added for non-ANSI style port
declarations where the port declaration is separate from the
corresponding net or variable declaration.
 2021-09-06 21:10:49 -04:00
Zachary Snow a6111e20e4 add stub change log 2021-07-31 14:27:20 -04:00
Zachary Snow da088951fa release v0.0.8 2021-07-31 14:12:12 -04:00
Zachary Snow 2a551e1059 upgrade to GHC 8.10.4 
- upgrade to happy 1.20
- placate GHC warning on version fallback
- fix stack sdist failure
 2021-07-30 13:54:05 -04:00
Zachary Snow bfd0cee0dc improved handling of procedural for loops 
- convert loops with no or many incrementations
- restrict AST node to only contain traditional initializations
- parser elaborates for loop decls into a synthetic block
- decl list codegen is now specific to parameter decl lists
- update jump conversion special cases for new representation
- first experiments with bimapM
 2021-07-14 15:50:12 -04:00
Zachary Snow 9d7f917608 handle naming and scoping of unnamed generate blocks 2021-06-30 14:24:35 -04:00
Zachary Snow 5cc4dce01f refactor positional binding checking and resolution 2021-04-30 14:10:09 -04:00
Zachary Snow dc19b5f944 use cabal package version as fallback when repo is missing 2021-04-15 13:47:45 -04:00
Zachary Snow c0cac48642 release v0.0.7 2021-03-19 12:19:08 -04:00
Zachary Snow c29c6e0d5e fix stack sdist warnings 2021-03-10 17:14:24 -05:00
Zachary Snow f5fcde1659 increase minimum allocation area size to 32m 2021-03-10 17:13:40 -05:00
Zachary Snow 87ea9de853 substitute constants from type information across scopes 2021-02-10 12:56:26 -05:00
Zachary Snow dd1a9efb40 refactor cast conversion 
- delegate cast type and sign resolution to TypeOf conversion
- internal support for injecting data declarations into statements
- fix size and sign of unbased unsized literals used in casts
- avoid generating many unnecessary explicit casts
- support casts which depend on localparams within procedures
- expression traversal correctly visits types within type casts
- fix typeof on expressions of net types
- handle additional edge cases for unsized integer array patterns
- preserve signedness of implicitly flattened unpacked integer arrays
 2021-02-03 16:28:53 -05:00
Zachary Snow 8eb3a251f7 package conversion overhaul 
- full import and export support
- simplify AST representation of import and export
- allow package-scoped identifiers invoked as subroutines
- use scoped name resolution for identifiers in packages
- merge package item nesting conversion into package conversion
- fix handling of colliding enum items in separate modules
- fix visiting enum item exprs in types
 2021-01-23 21:54:39 -07:00
Zachary Snow ea56f51d03 support for parameters without defaults 2021-01-21 11:55:23 -07:00
Zachary Snow 54b07f7219 release v0.0.6 2020-12-19 12:53:38 -07:00
Zachary Snow c39371c48a simplify and optimize lexing 2020-12-10 13:33:06 -07:00
Zachary Snow 774409dd9f upgrade to GHC 8.8.4 2020-09-26 17:46:25 -04:00
Zachary Snow 7e2450ea5e conversion to create declarations for implicit nets 2020-09-13 23:35:41 -04:00
Zachary Snow e80db12422 conversion for implicitly variably sized parameters 2020-08-12 21:59:57 -04:00
Zachary Snow cadd7de2da release v0.0.5 2020-07-26 15:14:48 -06:00
Zachary Snow 11607f5514 explicitly upgrade version of githash 2020-07-26 15:08:16 -06:00
Zachary Snow d88c516d33 enhanced handling of number literals 
- number literals are parsed rather than stored as strings
- fix array query functions used on non-trivial number literals
- more efficient expression simplification recursion
- expanded constant folding scenarios
 2020-07-12 15:06:27 -06:00
Zachary Snow 85e3d0f5b5 initial generate block scoping support 
- significant refactor of struct conversion
- significant refactor of typedef conversion
- scoping support in multipack conversion
- scoping support in typeof conversion
 2020-07-02 22:58:59 -06:00
Zachary Snow f2ccebd58e release v0.0.4 2020-06-19 21:06:02 -04:00
Zachary Snow 71d174877d use new cabal build-tool-depends syntax 2020-06-06 13:48:28 -04:00
Zachary Snow 5b4fdfe7df upgrade cabal file format 2020-06-06 00:00:21 -04:00