Zachary Snow
9825bb9bcb
tweak codegen for bitwise binary followed by reduction unary
2024-01-04 22:09:04 -07:00
Zachary Snow
f9917d94da
execute always_comb/latch at time zero
2023-12-26 09:21:19 -07:00
Zachary Snow
756dbbb84f
support stream within mux
2023-12-17 20:37:25 -05:00
Zachary Snow
81d822562a
fix stringToInteger byte order
2023-12-07 23:43:19 -05:00
Zachary Snow
e9c01d2434
support wait statements
2023-12-03 13:16:01 -05:00
Zachary Snow
2579bc8302
translate input reg to input wire
2023-11-05 11:02:51 -05:00
Zachary Snow
6ffa31ff9a
small coverage improvements
2023-11-04 22:24:59 -04:00
Zachary Snow
cd7b53c658
fix multipack conversion type and expr traversal
2023-11-04 20:36:51 -04:00
Zachary Snow
fe90c7bbf4
fix inline explicit struct casts
2023-11-04 17:31:11 -04:00
Zachary Snow
0454663901
fix cabal deprecation warning
2023-11-04 13:38:15 -04:00
Zachary Snow
a4639fa9ef
special case typenames when resolving pattern identifiers
2023-11-04 13:31:09 -04:00
Zachary Snow
d5b9c1da59
visit function args in empty args conversion
2023-11-04 11:36:08 -04:00
Zachary Snow
18f333524e
remove extra task/function name traversals
2023-11-01 23:41:29 -04:00
Zachary Snow
f353518184
move -X options to extensions in sv2v.cabal
2023-11-01 22:57:43 -04:00
Zachary Snow
764a11af7f
more warnings for empty output scenarios
2023-08-20 13:56:03 -04:00
Zachary Snow
aa451b66a2
stronger typename checks
2023-08-13 15:17:21 -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
a209335c30
disambiguate typenames and interface names
2023-08-09 22:45:52 -04:00
Zachary Snow
b09fdaf76a
simplify shadowing notes non-trivial localparams too
2023-08-08 22:30:36 -04:00
Zachary Snow
5b035613ee
constant fold || and &&
2023-08-08 22:25:39 -04:00
CORRADI Quentin
619bde4be1
support for attributes in unary, binary, and ternary expressions
...
Co-authored-by: qcorradi <q.corradi22@imperial.ac.uk>
Co-authored-by: Zachary Snow <zach@zachjs.com>
2023-07-31 22:52:28 -04:00
Zachary Snow
211bce6bb1
bump iverilog version in CI
2023-07-31 22:44:41 -04:00
Zachary Snow
07caba64a5
simplify non-ANSI style port declaration dimensions
2023-07-31 21:31:34 -04:00
Zachary Snow
19b479d893
fix incorrect indentation in PortDecl.hs
2023-07-31 21:27:14 -04:00
Zachary Snow
bef9b1a3f0
allow inout task and function ports
2023-07-26 23:42:51 -04:00
Zachary Snow
896b375df0
replace tabs with spaces in test/dump/example.sv
2023-07-09 14:52:41 -04:00
Zachary Snow
d0e3b794bc
bump iverilog and use explicit named port connections in tests
2023-07-08 12:23:01 -04:00
Zachary Snow
0f8224023b
test runner simplifications
2023-06-24 15:47:22 -04:00
Zachary Snow
a29564459b
remove long-deprecated CLI flag aliases
2023-06-24 13:11:21 -04:00
Zachary Snow
1c74178417
use the tag alone as the version for future releases
2023-06-24 12:51:42 -04:00
Zachary Snow
6082cae4d1
release v0.0.11
2023-06-22 00:11:49 -04:00
Zachary Snow
2017201d1b
minor changelog clarification
2023-06-22 00:10:41 -04:00
Zachary Snow
2d32fe9c2d
minor help text updates
2023-06-22 00:05:06 -04:00
Zachary Snow
04d65bb388
added --write directory mode with one file per module
2023-06-21 08:25:42 -04:00
Zachary Snow
911243dac4
add --top for filtering uninstantiated modules
2023-06-18 22:36:43 -04:00
Zachary Snow
3b2a55a69c
better error message for indexed atoms
2023-06-18 22:18:20 -04:00
Zachary Snow
c103d0cb67
bump license year
2023-06-18 15:02:05 -04:00
Zachary Snow
a05659cd06
better unfinished conditional directive error message
2023-06-17 12:56:23 -04:00
Zachary Snow
80095810b9
remove unneeded FlexibleInstances pragma in Type.hs
2023-06-13 23:07:21 -04:00
Zachary Snow
51c90baf5e
support for loading from library directories
2023-06-13 22:53:36 -04:00
Zachary Snow
aa429204ea
minor AlwaysKW coverage improvements
2023-06-10 23:52:17 -04:00
Zachary Snow
3db3fc0caf
bump iverilog version in CI
2023-06-10 23:29:01 -04:00
Zachary Snow
2bb9c82c1e
drop Eq instance for AlwaysKW Kind
2023-06-06 23:59:29 -04:00
CORRADI Quentin
4756f49750
avoid dangling procedural else
...
* Remove unneeded begin/end when the loop is a do/while
* Dangling else check passes through statement attributes (bug fix)
* Dangling else check passes through most control flow structures to reduce unneeded begin/end
* Add test case and update changelog
---------
Co-authored-by: qcorradi <q.corradi22@imperial.ac.uk>
Co-authored-by: Zachary Snow <zach@zachjs.com>
2023-06-06 00:08:56 -04:00
qcorradi
485ffffa01
always kw conversion visits items with attributes
...
* Fixing a bug where always_* are not converted when attributed
* Added tests and updated Changelog for the attributed always_* fix
2023-05-30 23:39:47 -04:00
Zachary Snow
a129e3bc68
add test suite documentation
2023-05-30 22:36:54 -04:00
Zachary Snow
e1948689dd
support newer iverilog versions
...
- Add script to drop parameters from VCDs.
- Bump the version of iverilog used in CI. I couldn't use anything never
than eab37efb due a pending iverilog issue.
- Standardize around Python 3 in test cases.
2023-05-29 19:05:33 -04:00
Zachary Snow
03610606aa
remove unneeded escapes in extractFlag
2023-05-29 15:32:27 -04:00
Zachary Snow
0a7b0250e7
fix 1364-2001 and 1364-2001-noconfig keywords mixup
...
- swap 1364-2001 and 1364-2001-noconfig
- fix existing begin_keywords test
- add keyword test suite for all keywords
2023-05-15 22:21:23 -04:00