Releases: veryl-lang/veryl
Releases Β· veryl-lang/veryl
v0.14.1
What's Changed
New Features π
Other Changes
- Optimize syntax definition by @dalance in #1318
- Fix mismatch type error of SystemVerilog modport by @dalance in #1319
- Fix zero width number emission by @dalance in #1320
- Update parol to v3 by @dalance in #1325
- Check usage of mangled enum member by @dalance in #1326
- Fix broken msb by @dalance in #1329
- Keep variable type through unary operation by @dalance in #1332
Full Changelog: v0.14.0...v0.14.1
v0.14.0
What's Changed
Breaking Changes π
- Remove variable declaration from package by @taichi-ishitani in #1305
New Features π
- [Fix] Basic Support for File Renaming and Deleting by @Hamster5295 in #1226
- Introduce new type checker by @dalance in #1216
- Check type at assignment by @dalance in #1239
- Trace parameter overrides through instantiation by @dalance in #1264
- Check type at port connection by @dalance in #1240
- Support clock domain annotation for interface instance by @taichi-ishitani in #1279
- Add align attribute by @dalance in #1283
- Support default member of modport by @dalance in #1288
- Enable assign to concatenation by @dalance in #1298
Other Changes
- Fix unexpected unassigned variable error by @taichi-ishitani in #1231
- Fix reset type in async_fifo_reset_sync.veryl by @dalance in #1232
- Enable unasigned variable check on instance of module specified by generic by @taichi-ishitani in #1233
- Fix syntax error at type with modifier in expression by @dalance in #1236
- Fix miss fomratted SV by @taichi-ishitani in #1237
- Fix SV format around default port value by @dalance in #1245
- Update parol to v2 by @dalance in #1247
- Move create_reference to analyze_post_pass1 by @dalance in #1254
- Fix wrong namespace by #1254 by @dalance in #1255
- Identify abstract interface type by @dalance in #1262
- Use serde's default for impl Default by @dalance in #1263
- Move InstanceHistory to thread local storage by @dalance in #1265
- Introduce text_table by @dalance in #1266
- Error with multi sources support by @dalance in #1267
- Fix panic at unconnected port by @dalance in #1269
- Fix missing table drop on languageserver by @dalance in #1270
- Multi-line concatenation support by @dalance in #1276
- Emit let declaration into single line by @dalance in #1284
- Fix mis-formatting of nested multi-line concatenation by @dalance in #1285
- Migrate to Rust 2024 by @dalance in #1274
- Format short if expression into single line by @dalance in #1286
- Fix panic caused by modport with defalut member by @dalance in #1289
- Fix wrong port definition by @taichi-ishitani in #1290
- Fix infinite recursive caused by wrong modport namespace by @dalance in #1291
- Fix wrong too_large_number error for unsized zero by @dalance in #1292
- Fix lsp panic by @dalance in #1293
- [WIP] Introduce
package
generic boundary by @taichi-ishitani in #1294 - Fix panic on some parse failure by @dalance in #1295
- Fix lsp panic on compilation by @dalance in #1297
- Add veryl-simulator crate by @dalance in #1301
- Remove ScopedBaseIdentifier by @taichi-ishitani in #1303
- Fix panic on emitting based zero value by @dalance in #1302
- Multi-line array literal support by @dalance in #1306
- Improve analyzer performance by @dalance in #1310
- Fix mdbook-veryl checking order by @dalance in #1313
- Handle cocotb execute error by @dalance in #1316
- Disable package generic boundary temporarily by @dalance in #1317
New Contributors
- @Hamster5295 made their first contribution in #1226
Full Changelog: v0.13.5...v0.14.0
v0.13.5
What's Changed
New Features π
- Introduce
inst
generic boundary by @taichi-ishitani in #1192 - Support to override dependencies with local path by @dalance in #1206
Other Changes
- Fix codspeed abort by @dalance in #1176
- Resolve SymbolId of user defined types after pass1 by @dalance in #1183
- Improve VarRefPath::included performance by @dalance in #1184
- Remove unnecessary error constructor by @dalance in #1185
- Add workaround for VCS bug by @taichi-ishitani in #1195
- Add link to web site by @taichi-ishitani in #1196
- Allow benches on non-Linuxes by @jsinger67 in #1199
Full Changelog: v0.13.4...v0.13.5
v0.13.4
What's Changed
New Features π
- Support relative path dependency by @dalance in #1099
- Apply ifdef attributes in statement block by @taichi-ishitani in #1136
- Add mux/demux modules to std library by @taichi-ishitani in #1148
- Support port default value by @taichi-ishitani in #1164
Other Changes
- Stabilize filelist order by @dalance in #1104
- Fix unexpected member resolution error by @taichi-ishitani in #1107
- Add RgGen to
Related Projects
section by @taichi-ishitani in #1111 - Fix unknown member error on generic interface by @taichi-ishitani in #1115
- Fix mis-indent of case item with comment by @dalance in #1117
- Fix panic with explicit clock and implicit reset by @dalance in #1116
- Restrict use of anonymous identifier by @taichi-ishitani in #1124
- Introduce separator checker by @taichi-ishitani in #1129
- Fix panic on
check_var_ref
checker by @taichi-ishitani in #1130 - Fix unexpected enum variant resolution by @taichi-ishitani in #1134
- Remove trailing comma from concatenation and array literal by @taichi-ishitani in #1135
- Fix issue that
generic_references
are unexpectedly cleared by @taichi-ishitani in #1138 - Fix unexpected identifier emittion by @dalance in #1143
- Merge
create_type_dag
handler withcreate_reference
handler by @taichi-ishitani in #1147 - Implement variable assignment check in function call by @taichi-ishitani in #1152
- Refactor
msb
check and emittion by @taichi-ishitani in #1154 - Fix issue that
unassign_variable
error is reported many times unexpectedly by @taichi-ishitani in #1157 - Fix ambiguous error message for
invalid_assignment
error by @taichi-ishitani in #1159 - Remove analyzer error from benchmark by @dalance in #1168
- Raise error for package referecne before defnition by @taichi-ishitani in #1170
- Change build status with warnings to success by @dalance in #1179
- Temporarily disable port default value for function by @taichi-ishitani in #1181
Full Changelog: v0.13.3...v0.13.4
v0.13.3
What's Changed
New Features π
- Add pre-defined vector types by @taichi-ishitani in #1044
- Remove map and doc files by
clean
command by @taichi-ishitani in #1061 cond_type
attribute by @dalance in #1043- Support generic interface with modport by @taichi-ishitani in #1089
- Support width cast by @taichi-ishitani in #1095
Other Changes
- Raise error when unassigned variable is refered by @taichi-ishitani in #1036
- Fix unexpected unassigned variable error by @taichi-ishitani in #1063
- Fix broken map path by @dalance in #1067
- Add filelist test by @dalance in #1068
- Remove files including test only from generated filelist by @taichi-ishitani in #1064
- Remove unused dependencies from filelist by @dalance in #1072
- Clear resolve cache by each test by @dalance in #1074
- Merge aligner into emitter/formatter by @dalance in #1083
- Expand imported name in generics mangling by @dalance in #1084
- Add
Publications
section to README by @taichi-ishitani in #1090 - Fix language server panic on Windows by @dalance in #1093
- Fix resolve of generic interface with imported items by @dalance in #1096
Full Changelog: v0.13.2...v0.13.3
v0.13.2
What's Changed
New Features π
Other Changes
- Fix wrong modport separator by @taichi-ishitani in #1025
- Filelist order considering generics by @dalance in #1026
- Allow to use loop variable as reset value by @dalance in #1027
- Resolve imported generic arguments by @dalance in #1034
- Improve error message by unresolvable generic argument by @dalance in #1035
Full Changelog: v0.13.1...v0.13.2
v0.13.1
What's Changed
Other Changes
- Add shell completion support by @dalance in #965
- Treat genvar as static value by @dalance in #974
- Add
#[inline(never)]
toexpression*
as a workaround for long time compilation by @dianqk in #976 - Add workaround for long compile time and enable LTO by @dalance in #977
- Allow msb for port by @dalance in #979
- Allow type with generic parameter as generic argument by @dalance in #989
- Fix error by repeated generics usage by @dalance in #993
- Fix case item misindent by @dalance in #994
- Fix format of generic argument by @dalance in #995
- Change minimum supported version of VSCode to 1.51.0 by @dalance in #1008
- Fix member access failure of generic instance by @dalance in #1009
- Report error for interface port with direction by @taichi-ishitani in #1010
- Execute
type check
afeter resolving generics by @taichi-ishitani in #1011
New Contributors
Full Changelog: v0.13.0...v0.13.1
v0.13.0
What's Changed
Breaking Changes π
- Bounded generic parameter by @dalance in #917
- Change from
std
to$std
by @dalance in #930 - Change local to const by @dalance in #932
New Features π
- Support untyped enum declaration by @taichi-ishitani in #902
- Mermaid support for documentation comment by @dalance in #904
- Add
enum_encoding
attribute by @taichi-ishitani in #915 - Completion of modport and struct member by @dalance in #934
Other Changes
- Fix wrong enum width calculation by @taichi-ishitani in #903
- Report error when enum variant cannot be evaluated by @taichi-ishitani in #905
- Refine document generation by @dalance in #906
- Update README.md by @prokie in #914
- Extract veryl-std from veryl-metadata by @dalance in #923
- Support var declaration within statement block by @taichi-ishitani in #921
- Import std from veryl-lang/std by @dalance in #925
- Fix wrong named block emittion by @taichi-ishitani in #935
- Clear symbol table before running unit tests for analyzer by @taichi-ishitani in #944
- Remove
initial
andfinal
declarations from package item by @taichi-ishitani in #946 - Merge
ModuleItem
andInterfaceItem
by @taichi-ishitani in #950 - Execute only tests for the current project by @dalance in #954
- Allow interface connection in inst declaration by @dalance in #955
- Add post_pass1 stage for import handling by @dalance in #957
- Allow type parameter override by named type by @dalance in #962
New Contributors
Full Changelog: v0.12.0...v0.13.0
v0.12.0
What's Changed
Breaking Changes π
- Forbid continuous casting by @dalance in #887
- Change symbol of clock domain annotation by @dalance in #883
New Features π
- Expand
inside
operation by @taichi-ishitani in #873 - Remove unused dependencies from filelist by @dalance in #879
- Support cast to builtin types by @dalance in #884
- Support clock and reset cast by @dalance in #886
- Check clock/reset port connection by @dalance in #891
- Check reset connection to SV module by @dalance in #893
- Waveform dump support through
veryl test --wave
by @dalance in #898 - Cocotb support for integrated test by @dalance in #899
- Embed standard library into compiler (public API may be changed) by @dalance in #878
Other Changes
- Suppress to emit unused generics by @dalance in #881
- Allow modport and interface as factor in inst_declaration by @dalance in #888
- Check identifier conflict with mangled enum member by @dalance in #892
- fix typo by @taichi-ishitani in #894
- Ignore broken symlink at gathering source code by @dalance in #897
- Check missing top module specification of cocotb by @dalance in #900
- Add
exclude_std
option by @dalance in #901
Full Changelog: v0.11.3...v0.12.0
v0.11.3
What's Changed
New Features π
- Add naming lint for function arguments by @dalance in #858
- Check missing clock domain by @dalance in #864
- Add suffix naming lint by @dalance in #870
Other Changes
- Allow struct / enum member is used as factor by @dalance in #860
- Fix symbol resolver for generic instance by @dalance in #869
- Improve case checker of naming lint by @dalance in #871
Full Changelog: v0.11.2...v0.11.3