| *** tpb has joined #yosys | 00:00 | |
| *** az0re has quit IRC | 00:00 | |
| *** az0re has joined #yosys | 00:09 | |
| *** srk has quit IRC | 00:11 | |
| *** srk has joined #yosys | 00:25 | |
| *** emeb has left #yosys | 00:34 | |
| *** lf has quit IRC | 00:45 | |
| *** lf has joined #yosys | 00:46 | |
| *** FFY00 has quit IRC | 01:56 | |
| *** FFY00 has joined #yosys | 01:56 | |
| *** FFY00 has quit IRC | 01:58 | |
| *** FFY00 has joined #yosys | 01:58 | |
| *** FFY00 has quit IRC | 02:00 | |
| *** FFY00 has joined #yosys | 02:04 | |
| *** FFY00 has quit IRC | 02:07 | |
| *** FFY00 has joined #yosys | 02:07 | |
| *** FFY00 has quit IRC | 02:09 | |
| *** Degi has quit IRC | 02:11 | |
| *** FFY00 has joined #yosys | 02:12 | |
| *** Degi has joined #yosys | 02:12 | |
| *** FFY00 has quit IRC | 02:12 | |
| *** FFY00 has joined #yosys | 02:13 | |
| *** FFY00 has quit IRC | 02:15 | |
| *** FFY00 has joined #yosys | 02:16 | |
| *** FFY00 has quit IRC | 02:25 | |
| *** citypw has joined #yosys | 02:26 | |
| *** FFY00 has joined #yosys | 02:26 | |
| *** FFY00 has quit IRC | 02:38 | |
| *** FFY00 has joined #yosys | 02:39 | |
| *** Thorn has quit IRC | 05:02 | |
| *** thoughtpolice has quit IRC | 06:20 | |
| *** thoughtpolice has joined #yosys | 06:20 | |
| *** emeb_mac has quit IRC | 06:38 | |
| *** litghost has quit IRC | 07:10 | |
| *** litghost has joined #yosys | 07:10 | |
| *** cr1901_modern has quit IRC | 07:14 | |
| *** jakobwenzel has joined #yosys | 07:55 | |
| *** bzztploink has quit IRC | 08:10 | |
| *** bzztploink has joined #yosys | 08:21 | |
| *** jakobwenzel has quit IRC | 08:25 | |
| *** tux3 has joined #yosys | 09:01 | |
| *** Asu has joined #yosys | 09:02 | |
| *** vidbina has joined #yosys | 09:29 | |
| *** AdamHorden has quit IRC | 10:37 | |
| *** AdamHorden has joined #yosys | 11:20 | |
| *** jakobwenzel has joined #yosys | 11:20 | |
| *** jakobwenzel has quit IRC | 11:22 | |
| *** vidbina has quit IRC | 11:59 | |
| *** vidbina has joined #yosys | 12:03 | |
| *** cr1901_modern has joined #yosys | 12:46 | |
| *** emeb has joined #yosys | 13:33 | |
| *** citypw has quit IRC | 14:57 | |
| *** Thorn has joined #yosys | 15:39 | |
| *** emeb has quit IRC | 15:50 | |
| *** jakobwenzel has joined #yosys | 15:59 | |
| *** jakobwenzel has quit IRC | 16:13 | |
| *** peeps[zen] has joined #yosys | 16:32 | |
| *** peepsalot has quit IRC | 16:34 | |
| *** peepsalot has joined #yosys | 16:52 | |
| *** peeps[zen] has quit IRC | 16:53 | |
| *** somlo has quit IRC | 17:52 | |
| *** emeb has joined #yosys | 18:20 | |
| *** somlo has joined #yosys | 18:38 | |
| *** az0re has quit IRC | 19:19 | |
| *** z0ttel has joined #yosys | 19:44 | |
| *** jakobwenzel has joined #yosys | 19:54 | |
| *** az0re has joined #yosys | 20:21 | |
| *** emeb_mac has joined #yosys | 20:32 | |
| *** alex34 has joined #yosys | 20:41 | |
| alex34 | Simple question, folks: I'm new to verilog in general, but it doesn't seem that typedefs are supported with the open source yosys frontend, is that right? Even simple examples seem to result in a parse error | 20:43 |
|---|---|---|
| tnt | alex34: is that a verilog or system verilog feature ? | 20:44 |
| tnt | you might need the -sv switch when reading files. | 20:44 |
| alex34 | I think it's sv, and I'm already using -sv | 20:44 |
| Lofty | alex34: Yosys's SV support is far from complete and progress is...slow. | 20:50 |
| alex34 | understood, but the README indicates that typedefs are supported so I'm trying to understand that | 20:50 |
| alex34 | I didn't install from github so perhaps the homebrew package is much older? Or maybe the readme is inaccurate? | 20:52 |
| Lofty | What does `yosys -V` say, alex34? | 20:58 |
| *** N2TOH has joined #yosys | 20:58 | |
| alex34 | Yosys 0.9 (git sha1 UNKNOWN, clang 12.0.0 -fPIC -Os). I've installed from homebrew, so maybe I just need to grab from github? | 20:59 |
| Lofty | alex34: then your version of Yosys is about a year old, and you should get the latest code from GitHub | 21:00 |
| Lofty | Yosys releases are approximately yearly | 21:00 |
| alex34 | ohhh | 21:01 |
| Lofty | No official schedule or anything, but | 21:01 |
| alex34 | wow I didn't realize that, ok thanks I'll give github a shot! | 21:01 |
| *** N2TOH_ has quit IRC | 21:01 | |
| Lofty | Yeah, 0.9 is 26th of August 2019. | 21:02 |
| daveshah | The big question is whether the next release will be 1.0 or 0.10 | 21:03 |
| Lofty | Typedef support (with wrong syntax) initially made it into Yosys in October of 2019, and seems to have been fixed properly in March of this year | 21:04 |
| Lofty | So yes, it probably is supported, but your version predates it, alex34. | 21:04 |
| alex34 | yeah that makes sense. I saw discussion in some of the issues so I figured I must have been doing something wrong | 21:05 |
| daveshah | The support is still a bit limited, like all the SystemVerilog stuff in Yosys it is a bit 'best effort' | 21:05 |
| alex34 | I think I was having a similar issue with structs (I'd like some simple struct support if it exists), so I bet it's the same problem | 21:05 |
| Lofty | I think there's sv2v as a stopgap, and other people are trying to add UHDM as a proper front-end | 21:06 |
| Lofty | ~~and hey, you'll also get my improved Intel support as a bonus~~ | 21:07 |
| Lofty | :P | 21:07 |
| *** N2TOH has quit IRC | 21:14 | |
| *** N2TOH has joined #yosys | 21:15 | |
| *** N2TOH_ has joined #yosys | 21:16 | |
| *** N2TOH__ has joined #yosys | 21:17 | |
| *** N2TOH has quit IRC | 21:20 | |
| *** N2TOH_ has quit IRC | 21:21 | |
| *** awordnot has quit IRC | 21:32 | |
| alex34 | Lofty indeed that did the trick :) | 21:37 |
| Lofty | Glad to hear it | 21:38 |
| *** awordnot has joined #yosys | 21:58 | |
| *** awordnot has quit IRC | 22:53 | |
| *** awordnot has joined #yosys | 22:54 | |
| *** Asu has quit IRC | 22:55 | |
| *** maartenBE has quit IRC | 22:59 | |
| *** maartenBE has joined #yosys | 23:02 | |
| *** peepsalot has quit IRC | 23:26 | |
| *** peepsalot has joined #yosys | 23:44 | |
| *** emeb has quit IRC | 23:54 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!