| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** sadoon_albader[m <sadoon_albader[m!~sadoonalb@2001:470:69fc:105::d188> has joined #yosys | 02:02 | |
| sadoon_albader[m | Hi everyone, is this the official channel for yosys? | 02:03 |
|---|---|---|
| *** tlwoerner <[email protected]> has quit IRC (Quit: Leaving) | 03:26 | |
| *** tmiw <[email protected]> has joined #yosys | 04:14 | |
| killjoy | Seems to be. | 04:36 |
| sadoon_albader[m | On the website it says it's on freenode which I assume is outdated.. | 05:11 |
| killjoy | Probably. | 06:38 |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:59 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 07:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:03 | |
| *** buhman <buhman!sid411355@user/buhman> has quit IRC (Read error: Connection reset by peer) | 09:29 | |
| *** buhman <buhman!sid411355@user/buhman> has joined #yosys | 09:33 | |
| *** buhman <buhman!sid411355@user/buhman> has quit IRC (Ping timeout: 260 seconds) | 10:36 | |
| *** buhman <buhman!sid411355@user/buhman> has joined #yosys | 10:36 | |
| *** Niklas[m] <Niklas[m]!~nsmlzlmat@2001:470:69fc:105::c93a> has quit IRC (Ping timeout: 250 seconds) | 11:20 | |
| *** Niklas[m] <Niklas[m]!~nsmlzlmat@2001:470:69fc:105::c93a> has joined #yosys | 11:20 | |
| *** FL4SHK <[email protected]> has joined #yosys | 12:21 | |
| *** FL4SHK <[email protected]> has quit IRC (Client Quit) | 12:22 | |
| *** FL4SHK <[email protected]> has joined #yosys | 12:22 | |
| *** FL4SHK <[email protected]> has quit IRC (Quit: WeeChat 3.3) | 12:28 | |
| *** sm2n_ <sm2n_!~sm2n@user/sm2n> has joined #yosys | 12:28 | |
| *** vidbina <[email protected]> has joined #yosys | 12:28 | |
| *** sm2n <sm2n!~sm2n@user/sm2n> has quit IRC (Ping timeout: 245 seconds) | 12:29 | |
| *** FL4SHK <[email protected]> has joined #yosys | 12:40 | |
| *** sm2n_ <sm2n_!~sm2n@user/sm2n> has quit IRC (Ping timeout: 252 seconds) | 12:43 | |
| sorear | this channel is very inactive, official or no | 12:47 |
| lambda | yeah, especially so ever since they decided that slack was a good idea | 12:48 |
| FL4SHK | I see. | 12:54 |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 12:59 | |
| *** adjtm <[email protected]> has quit IRC (Quit: Leaving) | 14:11 | |
| *** adjtm <[email protected]> has joined #yosys | 14:38 | |
| *** gmc_ <[email protected]> has quit IRC (Remote host closed the connection) | 15:24 | |
| FL4SHK | Getting an error when I try to do some formal verification? | 15:54 |
| xiretza[m] | is that a question? | 15:55 |
| FL4SHK | I can post the .il and the .sby | 15:55 |
| FL4SHK | https://paste.ee/p/VObpH | 15:58 |
| tpb | Title: Paste.ee - View paste VObpH (at paste.ee) | 15:58 |
| FL4SHK | https://paste.ee/p/wxbvF | 15:58 |
| tpb | Title: Paste.ee - View paste wxbvF (at paste.ee) | 15:58 |
| gatecat | what's the error? | 16:00 |
| FL4SHK | https://paste.ee/p/I1hgu | 16:01 |
| tpb | Title: Paste.ee - View paste I1hgu (at paste.ee) | 16:01 |
| FL4SHK | It's in this log. | 16:01 |
| FL4SHK | PREUNSAT maybe? | 16:02 |
| xiretza[m] | > Assumptions are unsatisfiable! | 16:07 |
| FL4SHK | Okay. I guess I'll look at my assumptions, then. | 16:08 |
| FL4SHK | Found the issue. | 16:09 |
| FL4SHK | Or at least, I think it's the issue. | 16:09 |
| FL4SHK | Oh good. | 16:11 |
| FL4SHK | Got it to pass. | 16:11 |
| *** emeb <[email protected]> has joined #yosys | 16:13 | |
| FL4SHK | Oh, no, that was an error. | 16:13 |
| FL4SHK | Got the error removed, though, so now I can proceed with testing. | 16:15 |
| *** sm2n <sm2n!~sm2n@user/sm2n> has joined #yosys | 17:46 | |
| FL4SHK | success! | 17:58 |
| *** vidbina <[email protected]> has joined #yosys | 18:33 | |
| *** FL4SHK <[email protected]> has quit IRC (Quit: WeeChat 3.3) | 18:33 | |
| *** FL4SHK <[email protected]> has joined #yosys | 18:34 | |
| *** tlwoerner <[email protected]> has joined #yosys | 18:42 | |
| *** sm2n <sm2n!~sm2n@user/sm2n> has quit IRC (Read error: Connection reset by peer) | 18:55 | |
| *** sm2n <sm2n!~sm2n@user/sm2n> has joined #yosys | 18:57 | |
| *** emeb_mac <[email protected]> has joined #yosys | 19:17 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 20:35 | |
| *** vidbina <[email protected]> has joined #yosys | 20:36 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 20:59 | |
| *** vidbina <[email protected]> has joined #yosys | 21:09 | |
| *** adjtm <[email protected]> has quit IRC (Remote host closed the connection) | 21:10 | |
| *** adjtm <[email protected]> has joined #yosys | 21:11 | |
| *** emeb_mac <[email protected]> has quit IRC (Read error: Connection reset by peer) | 21:42 | |
| *** emeb_mac <[email protected]> has joined #yosys | 21:59 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 21:59 | |
| *** vidbina <[email protected]> has joined #yosys | 23:20 | |
| *** adjtm <[email protected]> has quit IRC (Quit: Leaving) | 23:30 | |
| *** adjtm <[email protected]> has joined #yosys | 23:32 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!