| *** tpb has joined #yosys | 00:00 | |
| *** tedfernau has quit IRC | 00:00 | |
| *** lf has quit IRC | 00:09 | |
| *** lf has joined #yosys | 00:10 | |
| *** thehurley3 has quit IRC | 00:21 | |
| *** jfierro has joined #yosys | 01:34 | |
| jfierro | Hey all. Does anybody know what modulus semantics verilog is supposed to follow? | 01:36 |
|---|---|---|
| jfierro | Example, should -98 % 8096 = 7998? | 01:37 |
| *** citypw has joined #yosys | 02:10 | |
| *** futarisIRCcloud has joined #yosys | 02:58 | |
| *** Degi has quit IRC | 03:27 | |
| *** Degi has joined #yosys | 03:30 | |
| *** cr1901_modern has quit IRC | 04:04 | |
| *** jfierro has quit IRC | 04:04 | |
| *** citypw has quit IRC | 04:12 | |
| *** AdamHorden has quit IRC | 04:13 | |
| *** AdamHord- has joined #yosys | 04:13 | |
| *** pacak has quit IRC | 04:26 | |
| *** pacak has joined #yosys | 04:26 | |
| *** AdamHord- has quit IRC | 04:29 | |
| *** AdamHorden has joined #yosys | 04:48 | |
| *** jfcaron has quit IRC | 05:52 | |
| *** kraiskil_ has joined #yosys | 06:10 | |
| *** kraiskil_ has quit IRC | 06:23 | |
| *** kraiskil_ has joined #yosys | 06:38 | |
| *** emeb_mac has quit IRC | 06:59 | |
| *** kraiskil_ has quit IRC | 07:17 | |
| *** danvet has joined #yosys | 07:29 | |
| *** jakobwenzel has joined #yosys | 08:17 | |
| *** citypw has joined #yosys | 08:26 | |
| lambda | aww man, that would've been *the* question for me, but they disconnected | 08:39 |
| lambda | (and no, $mod(-98, 8096)==-98, $modfloor(-98, 8096)==7998) | 09:13 |
| *** vidbina has joined #yosys | 09:40 | |
| *** jakobwenzel has quit IRC | 09:42 | |
| *** rrika_ has joined #yosys | 09:55 | |
| *** Degi_ has joined #yosys | 09:55 | |
| *** AdamHorden has quit IRC | 10:03 | |
| *** Degi has quit IRC | 10:03 | |
| *** rrika has quit IRC | 10:03 | |
| *** kloeri has quit IRC | 10:03 | |
| *** Lofty has quit IRC | 10:03 | |
| *** Degi_ is now known as Degi | 10:03 | |
| *** kloeri_ has joined #yosys | 10:04 | |
| *** AdamHorden has joined #yosys | 10:05 | |
| *** jakobwenzel has joined #yosys | 10:18 | |
| *** vidbina has quit IRC | 10:23 | |
| *** X-Scale` has joined #yosys | 10:28 | |
| *** X-Scale has quit IRC | 10:29 | |
| *** X-Scale` is now known as X-Scale | 10:29 | |
| *** vidbina has joined #yosys | 10:32 | |
| *** Lofty has joined #yosys | 10:57 | |
| *** X-Scale` has joined #yosys | 11:05 | |
| *** X-Scale has quit IRC | 11:07 | |
| *** X-Scale` is now known as X-Scale | 11:07 | |
| *** vidbina has quit IRC | 11:08 | |
| *** kloeri_ is now known as kloeri | 11:18 | |
| *** cr1901_modern has joined #yosys | 12:18 | |
| *** vidbina has joined #yosys | 12:39 | |
| *** mwk has quit IRC | 13:40 | |
| *** mwk has joined #yosys | 13:40 | |
| *** craigo has joined #yosys | 13:45 | |
| *** vidbina has quit IRC | 13:51 | |
| *** vidbina has joined #yosys | 13:58 | |
| *** citypw has quit IRC | 14:21 | |
| *** vidbina has quit IRC | 15:13 | |
| *** vidbina has joined #yosys | 15:50 | |
| *** vidbina has quit IRC | 16:02 | |
| *** jfierro has joined #yosys | 16:41 | |
| jfierro | Hey lamba I saw your response, thanks. | 16:42 |
| *** vidbina has joined #yosys | 16:43 | |
| *** vidbina has quit IRC | 17:12 | |
| *** kraiskil has joined #yosys | 18:17 | |
| *** vidbina has joined #yosys | 18:17 | |
| *** jfierro has quit IRC | 18:50 | |
| *** craigo has quit IRC | 19:49 | |
| *** craigo has joined #yosys | 19:51 | |
| *** emeb_mac has joined #yosys | 19:51 | |
| *** danvet has quit IRC | 20:28 | |
| *** kmehall has quit IRC | 20:37 | |
| *** awygle has quit IRC | 20:37 | |
| *** rqou has quit IRC | 20:37 | |
| *** Kamilion has quit IRC | 20:37 | |
| *** ebb has quit IRC | 20:37 | |
| *** phantomcircuit has quit IRC | 20:37 | |
| *** Stary has quit IRC | 20:37 | |
| *** jakobwenzel has quit IRC | 20:37 | |
| *** jakobwenzel has joined #yosys | 20:37 | |
| *** Nazara_ has joined #yosys | 20:37 | |
| *** mmicko_ has quit IRC | 20:37 | |
| *** ZipCPU has quit IRC | 20:37 | |
| *** craigo has quit IRC | 20:37 | |
| *** DrWhax has quit IRC | 20:37 | |
| *** moony has quit IRC | 20:37 | |
| *** Degi has quit IRC | 20:37 | |
| *** asu has quit IRC | 20:37 | |
| *** lf_ has joined #yosys | 20:37 | |
| *** SpaceCoaster has quit IRC | 20:37 | |
| *** xtro has quit IRC | 20:37 | |
| *** ebb has joined #yosys | 20:37 | |
| *** jix has quit IRC | 20:37 | |
| *** kmehall has joined #yosys | 20:37 | |
| *** rqou has joined #yosys | 20:37 | |
| *** ZipCPU has joined #yosys | 20:37 | |
| *** asu has joined #yosys | 20:37 | |
| *** srk has quit IRC | 20:37 | |
| *** dkozel has joined #yosys | 20:37 | |
| *** vidbina_ has joined #yosys | 20:37 | |
| *** srk has joined #yosys | 20:37 | |
| *** mwk_ has joined #yosys | 20:37 | |
| *** mmicko has joined #yosys | 20:37 | |
| *** gmc_ has joined #yosys | 20:37 | |
| *** bjorkint0sh has joined #yosys | 20:37 | |
| *** mancaus has joined #yosys | 20:37 | |
| *** srk has quit IRC | 20:37 | |
| *** srk has joined #yosys | 20:37 | |
| *** moony has joined #yosys | 20:37 | |
| *** bjorkintosh has quit IRC | 20:37 | |
| *** lf has quit IRC | 20:37 | |
| *** kristian1 has joined #yosys | 20:38 | |
| *** roamingr1 has joined #yosys | 20:38 | |
| *** Stary has joined #yosys | 20:38 | |
| *** kristian1 has joined #yosys | 20:38 | |
| *** ric96 has quit IRC | 20:38 | |
| *** tmiw has quit IRC | 20:38 | |
| *** jrawson has quit IRC | 20:38 | |
| *** Nazara has quit IRC | 20:38 | |
| *** bwidawsk has quit IRC | 20:38 | |
| *** knielsen has quit IRC | 20:38 | |
| *** gmc has quit IRC | 20:38 | |
| *** mancaus_ has quit IRC | 20:38 | |
| *** Nazara_ is now known as Nazara | 20:38 | |
| *** jrawson has joined #yosys | 20:38 | |
| *** bwidawsk has joined #yosys | 20:39 | |
| *** Degi has joined #yosys | 20:39 | |
| *** craigo has joined #yosys | 20:39 | |
| *** phantomcircuit has joined #yosys | 20:39 | |
| *** solidtux has joined #yosys | 20:39 | |
| *** fevv8[m] has quit IRC | 20:39 | |
| *** ric96 has joined #yosys | 20:40 | |
| *** wiizzard has quit IRC | 20:40 | |
| *** rektide has quit IRC | 20:40 | |
| *** vidbina has quit IRC | 20:40 | |
| *** kristianpaul has quit IRC | 20:40 | |
| *** mwk has quit IRC | 20:40 | |
| *** dkozel_ has quit IRC | 20:40 | |
| *** roamingryan has quit IRC | 20:40 | |
| *** rektide has joined #yosys | 20:41 | |
| *** forrestv_ has joined #yosys | 20:42 | |
| *** cyrozap has quit IRC | 20:42 | |
| *** forrestv has quit IRC | 20:42 | |
| *** forrestv_ is now known as forrestv | 20:42 | |
| *** solidtux_ has quit IRC | 20:43 | |
| *** z0ttel has quit IRC | 20:43 | |
| *** Twix has quit IRC | 20:43 | |
| *** jryans has quit IRC | 20:43 | |
| *** notafile has quit IRC | 20:43 | |
| *** promach3 has quit IRC | 20:43 | |
| *** knielsen has joined #yosys | 20:44 | |
| *** kraiskil has quit IRC | 20:44 | |
| *** jix has joined #yosys | 20:45 | |
| *** mwk_ is now known as mwk | 20:47 | |
| *** Kamilion has joined #yosys | 20:48 | |
| *** kraiskil has joined #yosys | 20:50 | |
| *** jakobwenzel has quit IRC | 20:58 | |
| *** fevv8[m] has joined #yosys | 21:14 | |
| *** wiizzard has joined #yosys | 21:15 | |
| *** vidbina_ has quit IRC | 21:15 | |
| *** jryans has joined #yosys | 21:18 | |
| *** notafile has joined #yosys | 21:18 | |
| *** promach3 has joined #yosys | 21:19 | |
| *** _whitelogger has quit IRC | 21:24 | |
| *** _whitelogger has joined #yosys | 21:27 | |
| *** kraiskil has quit IRC | 21:32 | |
| *** tmiw_ has joined #yosys | 21:42 | |
| *** FFY00_ has joined #yosys | 21:44 | |
| *** FFY00 has quit IRC | 21:47 | |
| *** FFY00 has joined #yosys | 21:48 | |
| *** FFY00_ has quit IRC | 21:50 | |
| *** peepsalot has joined #yosys | 22:12 | |
| *** jfcaron has joined #yosys | 22:46 | |
| *** smkz has quit IRC | 23:07 | |
| *** smkz has joined #yosys | 23:12 | |
| *** xtro has joined #yosys | 23:16 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!