| *** tpb has joined #yosys | 00:00 | |
| *** emeb has left #yosys | 00:21 | |
| *** emeb_mac has joined #yosys | 00:23 | |
| *** miek has left #yosys | 00:53 | |
| *** toshywoshy has joined #yosys | 01:00 | |
| *** toshywoshy has quit IRC | 01:32 | |
| *** toshywoshy has joined #yosys | 01:32 | |
| *** aquijoule_ has joined #yosys | 02:25 | |
| *** aquijoule__ has quit IRC | 02:27 | |
| *** Degi_ has joined #yosys | 03:28 | |
| *** Degi has quit IRC | 03:29 | |
| *** Degi_ is now known as Degi | 03:29 | |
| *** craigo has joined #yosys | 04:49 | |
| *** danvet has joined #yosys | 04:50 | |
| *** craigo has left #yosys | 05:11 | |
| *** vidbina has joined #yosys | 06:29 | |
| *** vidbina has quit IRC | 06:55 | |
| *** emeb_mac has quit IRC | 07:00 | |
| *** attie has joined #yosys | 07:13 | |
| *** vidbina has joined #yosys | 07:14 | |
| *** citypw has joined #yosys | 07:20 | |
| *** ar3itrary has joined #yosys | 07:59 | |
| *** kraiskil has joined #yosys | 09:16 | |
| *** kraiskil has quit IRC | 09:23 | |
| *** nspaced has joined #yosys | 09:40 | |
| *** nspaced has quit IRC | 09:41 | |
| *** knielsen has left #yosys | 10:31 | |
| *** gruetzkopf has left #yosys | 10:53 | |
| *** Ultrasauce has quit IRC | 11:06 | |
| *** vidbina has quit IRC | 11:10 | |
| *** vidbina has joined #yosys | 11:13 | |
| *** vidbina has quit IRC | 11:23 | |
| *** Sarayan has left #yosys | 11:27 | |
| *** Degi has quit IRC | 11:45 | |
| *** vidbina has joined #yosys | 12:15 | |
| *** TheLemonMan has joined #yosys | 12:44 | |
| *** emeb_mac has joined #yosys | 12:48 | |
| *** GenTooMan has left #yosys | 13:00 | |
| *** emeb_mac has quit IRC | 13:03 | |
| *** emeb_mac has joined #yosys | 13:18 | |
| *** citypw has quit IRC | 13:45 | |
| *** vidbina has quit IRC | 13:58 | |
| *** vidbina has joined #yosys | 13:59 | |
| *** vidbina has quit IRC | 14:41 | |
| *** vidbina has joined #yosys | 15:08 | |
| *** vidbina has quit IRC | 15:26 | |
| *** vidbina has joined #yosys | 15:28 | |
| *** vup has left #yosys | 15:49 | |
| *** kmehall has quit IRC | 15:50 | |
| *** vidbina has quit IRC | 16:11 | |
| *** vidbina has joined #yosys | 16:13 | |
| *** philtor has joined #yosys | 16:24 | |
| philtor | are there plans for moving this channel? | 16:24 |
|---|---|---|
| proteusguy | let's not move it please. keep the community intact. | 16:25 |
| mwk | alright, so for an announcement | 16:26 |
| *** promach3 has joined #yosys | 16:26 | |
| mwk | there is now an official (registered by the yosys team) #yosys channel on libera.chat, so please consider moving there | 16:27 |
| philtor | has a #yosys channel been setup on libera | 16:27 |
| philtor | ? | 16:27 |
| mwk | ... I just said exactly that, yes | 16:27 |
| philtor | thanks. | 16:28 |
| mwk | given that this channel here has never been officially registered by the dev team, I cannot exactly consider it the "successor" nor change the topic here | 16:28 |
| balrog | mwk: seems no one owns it | 16:28 |
| mwk | by former freenode rules, we should be the ones to own it if we so choose, but I suppose the rules no longer apply on this network | 16:29 |
| philtor | freenode is burning up on re-entry | 16:30 |
| mwk | and I don't want to bother trying to go through the group registration process on this trainwreck of an irc network | 16:31 |
| philtor | For those looking for some help moving over: https://libera.chat/guides/connect | 16:32 |
| tpb | Title: Connecting to Libera.Chat | Libera Chat (at libera.chat) | 16:32 |
| *** tnt has left #yosys | 16:32 | |
| promach3 | philtor: what about for Matrix client user ? | 16:36 |
| mwk | I'm afraid we'll have to endure some chaos until the new matrix bridge is set up | 16:37 |
| mwk | given the recent events, I think it's going to be a high priority for everyone involved | 16:37 |
| mwk | give them a few days | 16:37 |
| philtor | promach3: other channels facing this as well - there is a #libera-matrix channel for help | 16:38 |
| promach3 | #libera-matrix channel does not exist | 16:40 |
| mwk | it does, on libera | 16:41 |
| mwk | which... I suppose is not exactly helpful if you can't connect in the first place | 16:41 |
| promach3 | oh okay | 16:41 |
| promach3 | mwk: could I still ask some technical questions here ? | 16:41 |
| mwk | once again, I have no power over this channel | 16:42 |
| * promach3 uploaded an image: (249KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/AvkGdyFBxnKMILAxRhSWkMhY/image.png > | 16:42 | |
| promach3 | May I know why am I having `ERROR: Assert `ifdef_already_satisfied' failed in frontends/verilog/preproc.cc:758` ? | 16:43 |
| mwk | huh. | 16:43 |
| mwk | that one sounds like a verilog preprocessor bug on our side | 16:43 |
| mwk | do you have a link to some reproducible testcase? | 16:44 |
| mwk | promach3: also could you try updating your yosys? I don't even see an assert on that line in current master | 16:47 |
| mwk | ... or any assert involving ifdef_already_satisfied, for that matter; I think it's a bug that I fixed some time ago | 16:47 |
| promach3 | mwk: let me update yosys from git | 16:55 |
| *** citypw has joined #yosys | 17:24 | |
| *** bluesceada has quit IRC | 17:25 | |
| *** bluesceada has joined #yosys | 17:27 | |
| *** vidbina has quit IRC | 17:29 | |
| *** vidbina has joined #yosys | 17:31 | |
| *** kraiskil has joined #yosys | 17:46 | |
| *** vidbina has quit IRC | 17:47 | |
| *** citypw has quit IRC | 17:49 | |
| *** phantomcircuit has left #yosys | 17:55 | |
| *** Ekho has left #yosys | 18:00 | |
| promach3 | mwk: using latest yosys git solved the issue | 18:05 |
| promach3 | however, I have some TOK_REAL error | 18:05 |
| * promach3 uploaded an image: (252KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/OPHzZxsHPsRZlehDondtyxYC/image.png > | 18:05 | |
| mwk | promach3: *sigh* | 18:06 |
| mwk | could you, you know, do some own research on the issue you're reporting? | 18:07 |
| mwk | or, when failing to do so, at least include the failing line, whose line number you highlighted, in the screenshot? | 18:07 |
| mwk | or better yet, use a pastebin service instead of a screenshot? | 18:08 |
| promach3 | mwk: https://github.com/promach/DDR/blob/main/2048Mb_ddr3_parameters.vh#L660 | 18:09 |
| mwk | ... okay that's going to be a fun one | 18:11 |
| mwk | frontend bug, perhaps | 18:11 |
| mwk | it's one of those sad moments when I have to open up the verilog standard to see what even should be happening in this case | 18:12 |
| *** buhman has left #yosys | 18:15 | |
| mwk | welp | 18:17 |
| mwk | sorry to say this, but it seems that real arguments/returns for tasks and functions are just not supported in yosys at this point | 18:18 |
| mwk | and it's not a trivial change to add this | 18:18 |
| promach3 | ok | 18:25 |
| *** ZipCPU has quit IRC | 18:25 | |
| promach3 | mwk: I am a bit confused, `valid_cl` is not of type 'real' | 18:29 |
| mwk | promach3: the error is on line 669 | 18:30 |
| *** ZipCPU has joined #yosys | 18:31 | |
| *** ZipCPU has quit IRC | 18:33 | |
| *** ZipCPU has joined #yosys | 18:34 | |
| promach3 | I changed that to `int` , and that error is gone | 18:34 |
| promach3 | mwk: | 18:34 |
| promach3 | besides, it seems that yosys also does not have support for `time` as well | 18:36 |
| gatecat | I don't think `time` makes much sense in a synthesis context? | 18:38 |
| gatecat | I suppose a notional `time` incrementing by 1 every solver timestep might make sense for formal | 18:39 |
| mwk | correct, no support for time | 18:44 |
| mwk | time... well, time would at least be a notionally simple thing to support | 18:45 |
| mwk | it's just a uint64_t with a different name | 18:45 |
| mwk | or an int64_t, I forget | 18:45 |
| gatecat | oh, oops, I was thinking of $time as opposed to time as a data type | 18:52 |
| *** emeb_mac has joined #yosys | 19:08 | |
| *** kraiskil has quit IRC | 19:23 | |
| *** _filt3r_ has quit IRC | 19:31 | |
| *** TheLemonMan has quit IRC | 19:48 | |
| *** adamhorden has quit IRC | 20:54 | |
| *** adamhorden has joined #yosys | 20:55 | |
| *** gmc has quit IRC | 20:55 | |
| *** mwk has quit IRC | 20:55 | |
| *** mwk has joined #yosys | 20:56 | |
| *** gmc has joined #yosys | 20:57 | |
| *** danvet has quit IRC | 21:32 | |
| *** show has left #yosys | 21:35 | |
| *** philtor has left #yosys | 21:37 | |
| *** Max-P has left #yosys | 21:55 | |
| *** bzztploink has quit IRC | 23:53 | |
| *** bzztploink has joined #yosys | 23:59 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!
