| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 00:09 | |
| corecode | what's the state of yosys/nextpnr for efinix trion? | 00:22 |
|---|---|---|
| corecode | i saw some files, but i don't know much is done and what is missing | 00:23 |
| *** citypw_ <citypw_!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 00:44 | |
| *** vidbina <[email protected]> has joined #yosys | 01:26 | |
| *** vidbina <[email protected]> has quit IRC (Quit: vidbina) | 01:57 | |
| *** vidbina <[email protected]> has joined #yosys | 02:24 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 02:45 | |
| *** bl0x <bl0x!~bastii@p200300d7a737bd0083a24d30793173ee.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 240 seconds) | 02:48 | |
| *** bl0x <bl0x!~bastii@p200300d7a713fc000a8a4bd148a8e649.dip0.t-ipconnect.de> has joined #yosys | 02:50 | |
| *** vidbina <[email protected]> has joined #yosys | 03:48 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 05:27 | |
| *** 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 | |
| *** FabM <FabM!~FabM@2a03:d604:103:600:3b71:8838:6e52:d480> has joined #yosys | 07:05 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:05 | |
| *** adjtm <[email protected]> has quit IRC (Quit: Leaving) | 10:57 | |
| *** adjtm <[email protected]> has joined #yosys | 11:17 | |
| *** vidbina <[email protected]> has joined #yosys | 12:26 | |
| *** vidbina <[email protected]> has quit IRC (Read error: Connection reset by peer) | 12:52 | |
| *** vidbina <[email protected]> has joined #yosys | 13:17 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 13:38 | |
| *** citypw_ <citypw_!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 276 seconds) | 13:53 | |
| *** chipb <chipb!f66cb56686@user/chipb> has quit IRC (Remote host closed the connection) | 14:04 | |
| *** chipb <chipb!f66cb56686@user/chipb> has joined #yosys | 14:06 | |
| *** vidbina <[email protected]> has joined #yosys | 14:26 | |
| *** gsmecher <[email protected]> has joined #yosys | 14:38 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 14:52 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (Remote host closed the connection) | 17:23 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 17:23 | |
| *** Knarfian_____ <[email protected]> has quit IRC (Read error: Connection reset by peer) | 18:28 | |
| *** emeb_mac <[email protected]> has joined #yosys | 18:28 | |
| *** Knarfian_____ <[email protected]> has joined #yosys | 18:28 | |
| *** tlwoerner_ <[email protected]> has joined #yosys | 20:05 | |
| *** rektide <[email protected]> has joined #yosys | 20:10 | |
| *** knielsen_ <[email protected]> has joined #yosys | 20:10 | |
| *** tlwoerner <[email protected]> has quit IRC (Remote host closed the connection) | 20:14 | |
| *** rektide_ <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 20:14 | |
| *** knielsen <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 20:14 | |
| *** adjtm <[email protected]> has quit IRC (Remote host closed the connection) | 20:27 | |
| *** adjtm <[email protected]> has joined #yosys | 20:27 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 240 seconds) | 21:34 | |
| somlo | mwk: ping | 22:16 |
| mwk | meow? | 22:16 |
| somlo | mwk: any chance you could re-apply commit # 9a413803e, seems like the problematic utf8 character that breaks the latex manual build is back | 22:17 |
| mwk | what | 22:17 |
| mwk | hold on | 22:17 |
| mwk | oh | 22:18 |
| mwk | somlo: the commit was fixing the problem in the wrong place | 22:18 |
| mwk | command-reference-manual.tex is auto-generated from the individual command help messages baked into yosys code | 22:19 |
| somlo | yeah, figured I'd ping you before just submitting a mechanical PR :) | 22:19 |
| somlo | yeah, that explains it coming back | 22:19 |
| somlo | do you want a PR or can you fix it on your end without all the pomp and circumstance? :) | 22:20 |
| mwk | I'll just fix it | 22:20 |
| somlo | thanks much, appreciated! | 22:20 |
| mwk | it needed to be fixed in the source code of the pass, `passes/opt/opt_mem_priority.cc`, and then the tex file regenerated by `make update-manual` | 22:22 |
| somlo | makes sense | 22:22 |
| mwk | https://github.com/YosysHQ/yosys/pull/3098 | 22:24 |
| somlo | got it, thanks! | 22:26 |
| *** rrika <rrika!~rrika@2a01:4b00:ea57:4e00:f30b:e0e0:575:8ca7> has joined #yosys | 22:35 | |
| *** rrika <rrika!~rrika@2a01:4b00:ea57:4e00:f30b:e0e0:575:8ca7> has quit IRC (Quit: Leaving) | 22:45 | |
| *** adjtm <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 22:46 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!