| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 00:18 | |
| *** AdamHorden <[email protected]> has joined #yosys | 00:22 | |
| *** lkcl <[email protected]> has quit IRC (Quit: BNC by #bnc4you) | 00:28 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 00:53 | |
| *** AdamHorden <[email protected]> has joined #yosys | 00:57 | |
| *** uis <[email protected]> has quit IRC (Quit: ZNC 1.7.5 - https://znc.in) | 01:11 | |
| *** uis <[email protected]> has joined #yosys | 01:12 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 01:19 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Read error: Connection reset by peer) | 02:05 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 02:07 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 268 seconds) | 02:27 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 02:31 | |
| *** lkcl <[email protected]> has joined #yosys | 02:36 | |
| *** strobo <[email protected]> has joined #yosys | 03:35 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Remote host closed the connection) | 03:41 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 03:42 | |
| *** lexano <lexano!~lexano@cpe00e06722f0e4-cm98524a70e35e.cpe.net.cable.rogers.com> has quit IRC (Ping timeout: 260 seconds) | 04:51 | |
| *** lexano <lexano!~lexano@cpe00e06722f0e4-cm98524a70e35e.cpe.net.cable.rogers.com> has joined #yosys | 04:51 | |
| *** chipb <chipb!f66cb56686@user/chipb> has quit IRC (Ping timeout: 245 seconds) | 05:32 | |
| *** chipb <chipb!f66cb56686@user/chipb> has joined #yosys | 05:35 | |
| *** uis <[email protected]> has quit IRC (Quit: ZNC 1.7.5 - https://znc.in) | 05:38 | |
| *** uis <[email protected]> has joined #yosys | 05:38 | |
| *** 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:05 | |
| *** FabM <[email protected]> has joined #yosys | 07:15 | |
| *** dlobato <[email protected]> has joined #yosys | 07:59 | |
| *** dlobato <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 08:42 | |
| *** dlobato <[email protected]> has joined #yosys | 09:15 | |
| *** strobo <[email protected]> has quit IRC (Read error: Connection reset by peer) | 09:39 | |
| *** strobo <[email protected]> has joined #yosys | 09:39 | |
| *** vidbina <vidbina!~vid@2a02:3032:3:b94b:a3ed:b68f:aaa4:2966> has joined #yosys | 10:47 | |
| *** vidbina <vidbina!~vid@2a02:3032:3:b94b:a3ed:b68f:aaa4:2966> has quit IRC (Ping timeout: 260 seconds) | 10:56 | |
| *** uis <[email protected]> has quit IRC (Quit: ZNC 1.7.5 - https://znc.in) | 12:45 | |
| *** uis <[email protected]> has joined #yosys | 12:46 | |
| *** uis <[email protected]> has quit IRC (Quit: ZNC 1.7.5 - https://znc.in) | 13:24 | |
| *** uis <[email protected]> has joined #yosys | 13:25 | |
| *** vidbina <vidbina!~vid@2a02:3032:3:b94b:ebe5:9fc4:7ced:6ac> has joined #yosys | 13:35 | |
| *** dlobato <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 14:20 | |
| *** vidbina <vidbina!~vid@2a02:3032:3:b94b:ebe5:9fc4:7ced:6ac> has quit IRC (Ping timeout: 268 seconds) | 14:28 | |
| bluesceada | Hmmm, another question. How can I give the nextpnr gui the --seed | 14:38 |
|---|---|---|
| bluesceada | Seems the gui ignores a lot of the cmd parameters like --seed --freq .. | 14:39 |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 15:13 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 15:15 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 15:47 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 15:55 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 264 seconds) | 15:57 | |
| *** dlobato <[email protected]> has joined #yosys | 15:58 | |
| *** gsmecher <[email protected]> has joined #yosys | 16:09 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 16:18 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 16:28 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 16:47 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 16:58 | |
| *** emeb <[email protected]> has joined #yosys | 17:07 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 17:15 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 17:20 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 17:58 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 18:09 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 18:26 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 18:37 | |
| *** pretir008 <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 18:44 | |
| *** pretir008 <[email protected]> has joined #yosys | 18:46 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 18:54 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 19:04 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has quit IRC (Remote host closed the connection) | 19:08 | |
| *** Klotz <Klotz!~Klotzoman@gateway/tor-sasl/klotz> has joined #yosys | 19:09 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 19:22 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 19:23 | |
| *** AdamHorden <[email protected]> has joined #yosys | 19:28 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 19:32 | |
| cr1901 | mwk: I could not tell you why the techmap step to flatten FACADE_IOs makes SMT2 work, but it does | 19:58 |
| mwk | heh | 19:59 |
| cr1901 | (The modules definitions w/ inouts are still _in_ the design even after flattening, but write_smt2 doesn't seem to complain as long as you don't instantiate them) | 19:59 |
| mwk | mhm | 20:00 |
| cr1901 | Anyways, PRs to fix yosys/nextpnr coming in soon, gonna try to get the UART miter to pass, provided it doesn't take a long time (it takes 10+ minutes for yosys-smtbmc to write out the VCDs T_T) | 20:02 |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 20:07 | |
| *** dlobato <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 20:13 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 20:18 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 20:51 | |
| *** knmae- is now known as knmae | 20:52 | |
| *** vidbina <[email protected]> has joined #yosys | 20:55 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 20:56 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 21:18 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 21:29 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 21:48 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 21:53 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 22:18 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 22:28 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds) | 22:46 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 22:51 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 23:05 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Quit: ec) | 23:21 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 23:27 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 23:46 | |
| *** emeb_mac <[email protected]> has joined #yosys | 23:56 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!