| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 01:20 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 01:23 | |
| *** lofty <[email protected]> has quit IRC (Quit: ZNC - https://znc.in) | 01:27 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 240 seconds) | 02:03 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 02:06 | |
| *** derekn <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 02:34 | |
| *** derekn <[email protected]> has joined #yosys | 02:46 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:6d34:a78:2fe0:b3ea> has joined #yosys | 03:14 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:dd02:66c9:62cd:3675> has quit IRC (Ping timeout: 240 seconds) | 03:18 | |
| *** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has joined #yosys | 03:22 | |
| *** kevin998x <kevin998x!~phung@2001:e68:542c:4889:8bed:f606:1493:37a2> has quit IRC (Quit: WeeChat 3.8) | 03:27 | |
| *** hrberg <[email protected]> has joined #yosys | 06:22 | |
| *** krispaul <[email protected]> has joined #yosys | 07:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 252 seconds) | 07:04 | |
| *** Sarayan <Sarayan!~galibert@2a01:e0a:c8b:e320:beae:c5ff:fee3:518f> has joined #yosys | 09:42 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (Server closed connection) | 12:00 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys | 12:01 | |
| TianruiWei[m] | Hi y'all, I just opened a PR in yosys to add experiemental support for concurrent assertions! https://github.com/YosysHQ/yosys/pull/3822 It'd be awesome if you have some feedback you'd like to share! | 18:32 |
|---|---|---|
| *** lofty <[email protected]> has joined #yosys | 19:17 | |
| *** krispaul <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 21:55 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 22:12 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:14 | |
| *** nonchip <[email protected]> has joined #yosys | 22:14 | |
| *** krispaul <[email protected]> has joined #yosys | 22:48 | |
| *** cr1901_ is now known as cr1901 | 23:32 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!