| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** FabM <[email protected]> has joined #yosys | 07:16 | |
| *** acathla <[email protected]> has quit IRC (Server closed connection) | 07:25 | |
| *** acathla <[email protected]> has joined #yosys | 07:27 | |
| *** greeb <greeb!~greeb@user/greeb> has quit IRC (Server closed connection) | 08:35 | |
| *** greeb <greeb!~greeb@user/greeb> has joined #yosys | 08:35 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 08:39 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 08:39 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has quit IRC (Server closed connection) | 09:23 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has joined #yosys | 09:24 | |
| *** oldtopman <[email protected]> has quit IRC (Server closed connection) | 12:27 | |
| *** oldtopman <[email protected]> has joined #yosys | 12:28 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 13:15 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 13:16 | |
| *** lexano <[email protected]> has joined #yosys | 14:13 | |
| *** tucanae47 <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:56 | |
| *** tcal <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:57 | |
| *** stephe <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 14:57 | |
| *** benreynwar <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:57 | |
| *** gatecat <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 14:57 | |
| *** mithro <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 14:57 | |
| *** svenn <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:57 | |
| *** sorear <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:57 | |
| *** esden <[email protected]> has quit IRC (Read error: Connection reset by peer) | 14:57 | |
| *** buhman <buhman!sid411355@user/buhman> has quit IRC (Read error: Connection reset by peer) | 14:58 | |
| *** dnm <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 14:58 | |
| *** ormiret <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 14:58 | |
| *** jryans <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 14:58 | |
| *** tucanae47 <[email protected]> has joined #yosys | 14:58 | |
| *** tcal <[email protected]> has joined #yosys | 14:58 | |
| *** ovf <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 14:58 | |
| *** mobius <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 14:58 | |
| *** gatecat <[email protected]> has joined #yosys | 14:59 | |
| *** buhman <buhman!sid411355@user/buhman> has joined #yosys | 14:59 | |
| *** svenn <[email protected]> has joined #yosys | 14:59 | |
| *** sorear <[email protected]> has joined #yosys | 14:59 | |
| *** esden <esden!sid32455@2a03:5180:f:4::7ec7> has joined #yosys | 14:59 | |
| *** ormiret <[email protected]> has joined #yosys | 15:00 | |
| *** mithro <[email protected]> has joined #yosys | 15:00 | |
| *** benreynwar <[email protected]> has joined #yosys | 15:00 | |
| *** stephe <[email protected]> has joined #yosys | 15:00 | |
| *** mobius <[email protected]> has joined #yosys | 15:01 | |
| *** jryans <[email protected]> has joined #yosys | 15:01 | |
| *** dnm <[email protected]> has joined #yosys | 15:01 | |
| *** ovf <[email protected]> has joined #yosys | 15:01 | |
| *** bjonnh <[email protected]> has quit IRC (Server closed connection) | 15:08 | |
| *** bjonnh <[email protected]> has joined #yosys | 15:08 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 246 seconds) | 15:33 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::4d> has joined #yosys | 16:40 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::4d> has quit IRC (Remote host closed the connection) | 16:40 | |
| *** tlwoerner <[email protected]> has quit IRC (Server closed connection) | 17:29 | |
| *** tlwoerner <[email protected]> has joined #yosys | 17:30 | |
| povik | we have new toymap results | 18:10 |
|---|---|---|
| povik | https://github.com/povik/toymap/commit/b52cffbf6?diff=split&short_path=b335630 | 18:10 |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 18:58 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 18:59 | |
| *** vup <[email protected]> has quit IRC (Server closed connection) | 19:13 | |
| *** vup <[email protected]> has joined #yosys | 19:13 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 19:29 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 19:32 | |
| lofty | povik: and how much of that is LUT rewriting? | 19:53 |
| lofty | Or, I guess, AIG rewriting :p | 19:53 |
| povik | lofty: all of it i think | 20:53 |
| povik | let me double-check | 20:53 |
| povik | yeah, there's been no changes to the cutmapper since the last results | 20:54 |
| lofty | povik: you're welcome :p | 20:55 |
| povik | is that in reaction to being listed in credits? | 20:58 |
| lofty | povik: yes | 21:25 |
| lofty | I can bring up other logic synthesis things I know about, if you'd be curious | 21:26 |
| *** chaoticryptidz <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 21:37 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 21:47 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 21:59 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 22:03 | |
| *** nonchip <[email protected]> has quit IRC (Quit: No Ping reply in 180 seconds.) | 22:07 | |
| *** nonchip <[email protected]> has joined #yosys | 22:09 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:17 | |
| *** nonchip <[email protected]> has joined #yosys | 22:17 | |
| *** strobo <[email protected]> has quit IRC (Read error: Connection reset by peer) | 23:36 | |
| *** Forty-Bot <[email protected]> has joined #yosys | 23:38 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:41 | |
| *** strobo <[email protected]> has joined #yosys | 23:42 | |
| *** chaoticryptidz <[email protected]> has joined #yosys | 23:43 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 23:50 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!