Naoya Hatta

Now evaluator uses `usize` and `isize` for value evaluation, but sometimes it will overflow because RTL treats more large number. So using big integer instead of it is necessary. There...

#1239 introduces some warnings related with type checking. Unfortunately this possibelly causes false positive because a part of evaluator is incomplete. So I'll keep them warning for a while, and...

Now bit width checking becomes ready to be implemented. So we should decide what types of bit width difference are checked. For example, the following code is commonly used as...

Array select is ignored in symbol resolving. So the following code is mistakely compiled. ```systemverilog module TopModule { struct A { a: logic, } var x: A[10]; let y: logic...

Module name in integrated unit test

2

In unit tests, the module name of dut is SV-side, so it is prefixed with the project name by default. ```systemverilog #[test(test_a)] embed (inline) sv{{{ module tb; project_ModuleA dut ();...

Default argument of function

3

#1164 introduced default argument of function too, but I think more consideration is required. * Ambiguous position of default argument In the following case, calling `FuncA(0, 0)` is ambiguous. It...

Announcing rust-lang-translations.org

1

I started a new project to host translated documents of Rust. https://rust-lang-translations.org This project uses [mdbook-i18n-helpers](https://github.com/google/mdbook-i18n-helpers) to support continuous translation of documentation. Even if the original documentation is updated, the...

Announcing rust-lang-translations.org

1

I started a new project to host translated documents of Rust. https://rust-lang-translations.org/ This project uses [mdbook-i18n-helpers](https://github.com/google/mdbook-i18n-helpers) to support continuous translation of documentation. Even if the original documentation is updated, the...

I started a new project to host arbitrary translated documents of Rust. Is there an appropriate section to accounce it in TWiR? https://rust-lang-translations.org/

This PR adds support for [Veryl](https://veryl-lang.org).