| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:5579:9a60:54bd:c5b2> has quit IRC (Ping timeout: 258 seconds) | 00:45 | |
| *** adjtm_ <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 00:51 | |
| *** gsmecher <[email protected]> has joined #yosys | 04:09 | |
| *** stzsch|2 <stzsch|[email protected]> has joined #yosys | 04:30 | |
| *** stzsch <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 04:32 | |
| *** stzsch|2 <stzsch|[email protected]> has quit IRC (Read error: Connection reset by peer) | 04:43 | |
| *** stzsch|2 <stzsch|[email protected]> has joined #yosys | 04:43 | |
| *** stzsch|2 <stzsch|[email protected]> has quit IRC (Read error: Connection reset by peer) | 04:52 | |
| *** stzsch|2 <stzsch|[email protected]> has joined #yosys | 04:52 | |
| *** chipb <chipb!~chipb@user/chipb> has quit IRC (Quit: chipb) | 04:52 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 264 seconds) | 04:55 | |
| *** chipb <chipb!f66cb56686@user/chipb> has joined #yosys | 04:59 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 05:16 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 06:12 | |
| *** FL4SHK <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 06:49 | |
| *** FL4SHK <[email protected]> has joined #yosys | 06:50 | |
| *** bluesceada_ <[email protected]> has joined #yosys | 06:58 | |
| *** tnt_ <tnt_!~tnt@osmocom/tnt> has joined #yosys | 07:00 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Remote host closed the connection) | 07:01 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 07:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 07:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:07 | |
| *** bluesceada <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 07:09 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (Ping timeout: 260 seconds) | 07:09 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Ping timeout: 260 seconds) | 07:09 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 07:10 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys | 07:18 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 07:36 | |
| *** tnt_ is now known as tnt | 07:42 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 07:53 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 08:01 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 08:04 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 08:09 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 08:13 | |
| promach[m] | Does `read_verilog -sv` slone support https://en.wikipedia.org/wiki/Property_Specification_Language#Syntax_and_semantics ? | 08:24 |
|---|---|---|
| tpb | Title: Property Specification Language - Wikipedia (at en.wikipedia.org) | 08:24 |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 08:32 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 09:04 | |
| *** gmc_ <[email protected]> has joined #yosys | 09:31 | |
| *** DX-MON is now known as dragonmux | 10:05 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 10:37 | |
| *** adjtm <adjtm!~adjtm@2a0c:5a80:1208:5000:83fc:6312:5664:e388> has joined #yosys | 10:51 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has joined #yosys | 10:58 | |
| *** adjtm_ <[email protected]> has joined #yosys | 11:22 | |
| *** adjtm <adjtm!~adjtm@2a0c:5a80:1208:5000:83fc:6312:5664:e388> has quit IRC (Ping timeout: 260 seconds) | 11:25 | |
| *** FL4SHK <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 12:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 258 seconds) | 12:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 12:03 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 252 seconds) | 12:09 | |
| *** FL4SHK <[email protected]> has joined #yosys | 12:17 | |
| *** freemint <freemint!~freemint@2001:638:904:106b:aaaa::8ede> has quit IRC (Ping timeout: 258 seconds) | 12:37 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:5579:9a60:54bd:c5b2> has joined #yosys | 12:47 | |
| *** pretir008 <[email protected]> has quit IRC (Quit: WeeChat 3.1) | 13:39 | |
| *** FabM <[email protected]> has joined #yosys | 13:45 | |
| *** tedh <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 14:15 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 14:54 | |
| *** tedh <[email protected]> has joined #yosys | 15:25 | |
| *** knmae- is now known as knmae | 15:47 | |
| *** gsmecher <[email protected]> has joined #yosys | 16:10 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:5579:9a60:54bd:c5b2> has quit IRC (Ping timeout: 252 seconds) | 16:30 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:5579:9a60:54bd:c5b2> has joined #yosys | 16:37 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:5579:9a60:54bd:c5b2> has quit IRC (Remote host closed the connection) | 19:47 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:2abf:c8f8:8aa3:41d7> has joined #yosys | 19:47 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 23:39 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!