| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:04 | |
| *** emeb_mac has quit IRC | 00:11 | |
| *** emeb_mac has joined #yosys | 00:12 | |
| *** Degi has quit IRC | 00:24 | |
| *** cyrozap has joined #yosys | 00:24 | |
| *** Degi has joined #yosys | 00:28 | |
| *** gmc has quit IRC | 01:10 | |
| *** gmc has joined #yosys | 01:21 | |
| *** emeb_mac has quit IRC | 01:30 | |
| *** emeb_mac has joined #yosys | 01:32 | |
| *** kristianpaul has quit IRC | 01:56 | |
| *** kristianpaul has joined #yosys | 01:56 | |
| *** citypw has joined #yosys | 02:53 | |
| *** _whitelogger has quit IRC | 04:00 | |
| *** _whitelogger has joined #yosys | 04:02 | |
| *** dead10cc has joined #yosys | 04:46 | |
| *** dead10cc_ has joined #yosys | 05:54 | |
| *** dead10cc has quit IRC | 05:59 | |
| *** dead10cc_ has quit IRC | 06:03 | |
| *** kraiskil has joined #yosys | 06:05 | |
| *** emeb_mac has quit IRC | 06:52 | |
| *** kraiskil has quit IRC | 06:59 | |
| *** Asu has joined #yosys | 07:29 | |
| *** cr1901_modern has quit IRC | 08:16 | |
| *** _whitelogger has quit IRC | 10:03 | |
| *** _whitelogger has joined #yosys | 10:05 | |
| *** kraiskil has joined #yosys | 10:06 | |
| *** Asuu has joined #yosys | 10:16 | |
| *** Asu has quit IRC | 10:16 | |
| *** kraiskil has quit IRC | 10:30 | |
| *** kraiskil has joined #yosys | 10:42 | |
| *** kraiskil has quit IRC | 10:51 | |
| *** kraiskil has joined #yosys | 11:19 | |
| *** kraiskil has quit IRC | 11:36 | |
| *** X-Scale` has joined #yosys | 11:45 | |
| *** X-Scale has quit IRC | 11:46 | |
| *** X-Scale` is now known as X-Scale | 11:46 | |
| *** m4ssi has joined #yosys | 13:35 | |
| *** FireFox317 has quit IRC | 13:52 | |
| *** emeb has joined #yosys | 14:09 | |
| *** kraiskil has joined #yosys | 14:22 | |
| *** cr1901_modern has joined #yosys | 14:38 | |
| z0ttel | Would it be a bad idea to use `read_verilog -nodpi -dump_vlog2` as a check and sanitizer for untrusted verilog? | 14:51 |
|---|---|---|
| daveshah | I'm not sure if dump_vlog2 actually works in all cases | 14:58 |
| daveshah | I'm also not sure how keen I would be giving untrusted Verilog to Yosys in the first place | 14:58 |
| *** indy has quit IRC | 15:04 | |
| z0ttel | Okay, thank you for that assessment. I'm doing some research into automated grading of digital logic/computer architecture exercises at the moment. | 15:18 |
| daveshah | The safest option would probably be some kind of sandbox of the tool | 15:18 |
| mwk | ... wasm? | 15:19 |
| daveshah | yep | 15:19 |
| daveshah | that sort of thing | 15:19 |
| z0ttel | webassembly? wouldn't that be client-side? | 15:20 |
| daveshah | no, wasm is surprisingly unrelated to browsers | 15:20 |
| daveshah | I don't know if the current wasm yosys/nextpnr builds will actually work in a browser at all | 15:21 |
| mwk | as it turns out, all operating systems completely failed at their task of virtualizing computer resources, so now we're borrowing web technologies for that instead | 15:21 |
| mwk | This is Fine | 15:21 |
| *** FFY00 has quit IRC | 15:26 | |
| *** FFY00 has joined #yosys | 15:27 | |
| *** citypw has quit IRC | 15:37 | |
| *** kraiskil has quit IRC | 16:13 | |
| *** az0re has quit IRC | 16:25 | |
| *** kraiskil has joined #yosys | 16:38 | |
| *** kraiskil has quit IRC | 16:44 | |
| *** m4ssi has quit IRC | 16:59 | |
| *** xtro has joined #yosys | 17:15 | |
| *** kristianpaul has quit IRC | 17:22 | |
| *** kristianpaul has joined #yosys | 17:29 | |
| *** az0re has joined #yosys | 17:44 | |
| *** SpaceCoaster has quit IRC | 18:54 | |
| *** thardin has joined #yosys | 18:55 | |
| thardin | I knew I was missing a channel :] | 18:55 |
| daveshah | we! | 18:56 |
| daveshah | *wb! | 18:56 |
| thardin | so, this evening's frustration: the icestick is not multiples of 100 mil between the different rows of holes | 18:56 |
| daveshah | Ah, that's nasty | 18:56 |
| thardin | daveshah: thx | 18:56 |
| daveshah | The Arduino problem | 18:56 |
| thardin | yep | 18:56 |
| thardin | I'm putting together a little eurocard module | 18:57 |
| thardin | so it'd be nice if I could solder everything down all nice like | 18:57 |
| *** kristianpaul has quit IRC | 19:40 | |
| *** xtro has quit IRC | 19:44 | |
| *** xtro has joined #yosys | 19:51 | |
| *** kristianpaul has joined #yosys | 20:25 | |
| *** emeb_mac has joined #yosys | 20:32 | |
| *** Asuu has quit IRC | 21:34 | |
| *** emeb_mac has quit IRC | 21:41 | |
| *** emeb has quit IRC | 21:42 | |
| *** emeb_mac has joined #yosys | 21:45 | |
| *** emeb has joined #yosys | 21:45 | |
| *** emeb_mac has quit IRC | 21:59 | |
| *** emeb_mac has joined #yosys | 22:00 | |
| *** kraiskil has joined #yosys | 22:02 | |
| *** cr1901_modern has quit IRC | 22:34 | |
| *** cr1901_modern has joined #yosys | 22:40 | |
| *** cr1901_modern has quit IRC | 22:42 | |
| *** cr1901_modern has joined #yosys | 22:42 | |
| *** tlwoerner has quit IRC | 22:44 | |
| *** cr1901_modern has quit IRC | 22:49 | |
| *** cr1901_modern has joined #yosys | 22:49 | |
| *** emeb has quit IRC | 22:59 | |
| *** SpaceCoaster has joined #yosys | 23:00 | |
| *** kraiskil has quit IRC | 23:11 | |
| *** m4ssi has joined #yosys | 23:11 | |
| *** lf_ has quit IRC | 23:11 | |
| *** lf has joined #yosys | 23:11 | |
| *** m4ssi has quit IRC | 23:20 | |
| *** kraiskil has joined #yosys | 23:27 | |
| *** kraiskil has quit IRC | 23:45 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!