| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** ats <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 00:13 | |
| *** twix <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 00:17 | |
| *** Guest3 <[email protected]> has joined #yosys | 00:47 | |
| *** ats <[email protected]> has joined #yosys | 00:48 | |
| *** Guest3 <[email protected]> has quit IRC (Client Quit) | 00:48 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 260 seconds) | 02:18 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 02:20 | |
| *** Stary <Stary!Stary@hacksoc/infrastructure> has quit IRC (Quit: ZNC - http://znc.in) | 03:41 | |
| *** Stary <Stary!Stary@hacksoc/infrastructure> has joined #yosys | 03:48 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 05:46 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:4c4e:7566:a625:3a42> has joined #yosys | 06:23 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:147a:9784:3a22:3906> has quit IRC (Ping timeout: 246 seconds) | 06:27 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has joined #yosys | 07:09 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 260 seconds) | 07:19 | |
| whitequark[cis] | jix: oops, that wasn't an intentional footgun to put in bugpoint | 08:15 |
|---|---|---|
| jix | I haven't looked at the timeline of when bugpoint was added vs when `-defer` was added / became the default for inputs on the cmdline, but I was assuming that it wasn't as much of a footgun at some point | 08:42 |
| jix | I did put `look into whether bugpoint should just reject working on $abstract modules and tell the user to run hierarchy` on my things-to-look-into-when-I-can-find-the-time-and-energy list | 08:45 |
| jix | (I think the alternative of automatically runing hierarchy is a bit dangerous and a footgun in a different way for a command that's specifically for debugging) | 08:45 |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 09:04 | |
| *** cr1901__ <cr1901__!~cr1901@2601:8d:8600:226:6d46:4b80:16e1:bb6c> has joined #yosys | 10:02 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:4c4e:7566:a625:3a42> has quit IRC (Ping timeout: 240 seconds) | 10:05 | |
| *** xutaxkamay <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 10:16 | |
| *** xutaxkamay_ <xutaxkamay_!~xutaxkama@2a01:e0a:a7e:1050:759d:d366:2d0a:849b> has joined #yosys | 10:16 | |
| *** xutaxkamay_ is now known as xutaxkamay | 10:17 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Ping timeout: 268 seconds) | 13:25 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 260 seconds) | 13:27 | |
| *** cr1901__ is now known as cr1901 | 14:32 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 268 seconds) | 15:03 | |
| *** corecode <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 16:00 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 245 seconds) | 17:39 | |
| *** kaaliakahn2 is now known as kaaliakahn | 17:40 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 17:42 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 252 seconds) | 17:55 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 17:57 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 256 seconds) | 18:02 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:add6:a35f:8800:4ce5> has joined #yosys | 18:07 | |
| *** somlo_ <[email protected]> has quit IRC (Remote host closed the connection) | 18:09 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:6d46:4b80:16e1:bb6c> has quit IRC (Ping timeout: 268 seconds) | 18:11 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 18:15 | |
| *** somlo <[email protected]> has joined #yosys | 19:29 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 256 seconds) | 20:39 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 21:43 | |
| *** krispaul <[email protected]> has joined #yosys | 22:26 | |
| *** kristian1 <[email protected]> has joined #yosys | 22:27 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 256 seconds) | 22:27 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:29 | |
| *** nonchip <[email protected]> has joined #yosys | 22:29 | |
| *** krispaul <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 22:30 | |
| *** corecode <[email protected]> has joined #yosys | 23:04 | |
| *** corecode <[email protected]> has quit IRC (Quit: ZNC - http://znc.in) | 23:14 | |
| *** killjoy <[email protected]> has joined #yosys | 23:24 | |
| *** corecode <[email protected]> has joined #yosys | 23:29 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!