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

1038 Commits

Author SHA1 Message Date
Zachary Snow c1ce7d067b add explicit unknown token error message 2025-11-01 22:04:34 -04:00
Zachary Snow 60c0819bf4 bump versions 
- upgrade runners to ubuntu-24.04, macOS-15-intel, and windows-2025
- upgrade to GHC 9.10.3
- add lts-24 to resolver.yaml
 2025-11-01 21:32:56 -04:00
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 380c2b978a remove duplicate always_comb sensitivities 2025-05-18 17:04:23 -04:00
Zachary Snow d30c7e7f4e make _sv2v_jump big-endian 2025-04-06 14:22:45 -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 8cc828c77f reduce cost of unsigned type conversion 2025-02-17 19:25:40 -05:00
Zachary Snow 4ec99fcffd add hierarchy path to inlined interface hash 2025-02-17 15:29:45 -05:00
Zachary Snow aa0a885699 warn on duplicate modules 2024-12-15 11:29:36 -05:00
Zachary Snow 576a804d90 improve binding resolution error messages 2024-12-15 00:42:14 -05:00
Zachary Snow 30677b3dcb fix early conversion cast struct types 2024-12-14 11:08:11 -05:00
Zachary Snow 12618d541e support gate arrays 2024-12-12 09:01:20 -05:00
Zachary Snow 5a636724d7 avoid excessive scoping of top-level variables 2024-12-11 08:51:39 -05:00
Zachary Snow 1c13bcf557 invert expression scoping application order 2024-12-11 08:51:29 -05:00
Zachary Snow c56a91b290 disambiguate struct names that shadow module names 2024-12-09 01:07:05 -05:00
Zachary Snow 7808819c48 drop attributes attached to nested generate regions 2024-10-27 01:00:51 -04:00
Zachary Snow 24ab7aee24 interface inlining records decls with attrs 2024-10-26 23:46:20 -04: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 12d977f070 visit nested LHSs in enum, typedef, and typeof conversions 2024-09-01 20:39:58 -04:00
Zachary Snow 8f2dc46e8c bump iverilog 2024-09-01 12:01:30 -04:00
Zachary Snow 4e989bc029 remove extra space after signed in scalar types 2024-08-05 00:11:20 -04:00
Zachary Snow 1b2734324e fix bare input signed declarations for inlined modules 2024-08-04 23:52:48 -04:00
Zachary Snow 2cc1f6e2dc fix coverage job checkout 2024-06-30 10:31:36 -06:00
Zachary Snow e3feeff152 cover --exclude assert in tests 2024-06-23 14:47:54 -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 73a9cc6750 logic conversion handles tf output ports 2024-06-17 23:47:38 -04:00
Zachary Snow 1c902773b4 parser support for not, strong, weak, nexttime, and s_nexttime 2024-06-17 22:42:12 -04:00
Zachary Snow 636130f8b4 add weekly coverage build 2024-06-16 15:02:30 -04:00
Zachary Snow d3dbaf0684 handle resetall when creating implicit nets 2024-06-15 22:29:53 -04:00
Zachary Snow 6eda946f57 handle directives when writing to a directory 2024-06-15 22:15:30 -04:00
Zachary Snow fdfa597115 upgrade system severity task AST representation 2024-06-09 18:31:06 -04:00
Zachary Snow 70ec448a31 remove iverilog workaround from typeof_scope.sv 
With steveicarus/iverilog#483 resolved, this workaround is no longer
necessary.
 2024-05-08 08:57:17 -04:00
Zachary Snow 429dc5afec use --pvp-bounds upper for future releases 2024-05-06 23:17:57 -04:00
Zachary Snow 9ba03f9942 release v0.0.12 2024-05-06 22:21:47 -04:00
Zachary Snow 7cf4944595 prepare for the next release 
- add release.sh script to automate most of the process
- minor revisions to the unreleased changelog
- migrate away from deprecated release asset action
 2024-05-06 22:18:31 -04:00
Zachary Snow 4dc672bbfa bump license year 2024-05-05 18:24:21 -04:00
Zachary Snow a4928a87e6 swap order of regexes in notice.sh 2024-05-05 18:23:04 -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 bc1329a72b populate version in CI 2024-05-02 00:49:40 -04:00
Zachary Snow a80919b72a filter crlf in notice 2024-05-01 09:41:56 -04:00
Zachary Snow 307289f699 upgrade to GHC 9.6.4 2024-05-01 09:07:31 -04:00
Zachary Snow 05cafc3d2a scope bit-indexed modport binding 2024-05-01 09:07:31 -04:00
Zachary Snow 7a7482c964 fix GitHub Actions setup 
- refresh GitHub Actions versions
- manually install shUnit2 v2.1.8
- more portable usage check
- run-all.sh exits on ctrl-c
 2024-05-01 09:07:31 -04:00
Zachary Snow d856c59a36 obey declaration order in reference output 
The latest verion of iverilog enforces declaration ordering more
strictly. Update a few test cases to match. sv2v still supports
out-of-order items on a best-effort basis.
 2024-05-01 09:07:31 -04:00
Zachary Snow fb604109bf don't sign-extend signed unsized numbers with a leading 1 bit 
I'm opting for iverilog's interpretation of the specifications here. The
commercial simulators I tested seem to agree.
 2024-05-01 09:07:31 -04:00
Zachary Snow 32250f3782 upgrade to GHC 9.4.8 2024-05-01 09:07:25 -04:00
Ethan Sifferman df01650444
Added `full_case` and `parallel_case` attributes (#274) 2024-03-10 23:45:01 -04:00
Zachary Snow f4543872d9 partially bump iverilog 2024-02-11 19:04:48 -05:00