| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** sauce <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 00:37 | |
| *** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 01:35 | |
| *** lumo_e <[email protected]> has quit IRC (Quit: Quit) | 01:40 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 01:42 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 01:48 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 01:48 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 03:02 | |
| *** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys | 03:04 | |
| *** FabM <[email protected]> has joined #yosys | 07:09 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 264 seconds) | 08:10 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 08:12 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 252 seconds) | 08:24 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 08:26 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 252 seconds) | 08:38 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 08:41 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 08:58 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 258 seconds) | 09:03 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 09:05 | |
| *** lexano <[email protected]> has joined #yosys | 09:12 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 260 seconds) | 09:20 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 09:22 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 252 seconds) | 09:31 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 09:34 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 260 seconds) | 10:12 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 10:15 | |
| *** bjonnh <bjonnh!~you@about/aquilenet/bjonnh> has quit IRC (Ping timeout: 255 seconds) | 10:16 | |
| *** bjonnh <[email protected]> has joined #yosys | 10:16 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 240 seconds) | 10:31 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 10:34 | |
| *** FL4SHK <[email protected]> has joined #yosys | 12:12 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 255 seconds) | 13:42 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 13:44 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 240 seconds) | 15:03 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 258 seconds) | 15:11 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 15:17 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 258 seconds) | 15:30 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 252 seconds) | 15:31 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 15:33 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 15:45 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Excess Flood) | 15:49 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 15:50 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Excess Flood) | 15:53 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 248 seconds) | 15:53 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 15:54 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 15:55 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 16:24 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys | 16:26 | |
| *** strobo <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 18:35 | |
| *** strobo <[email protected]> has joined #yosys | 19:01 | |
| *** Guest85 <[email protected]> has joined #yosys | 19:44 | |
| *** Guest85 <[email protected]> has quit IRC (Client Quit) | 19:44 | |
| *** trabucayre <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 20:24 | |
| *** trabucayre <[email protected]> has joined #yosys | 20:59 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 21:04 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 21:04 | |
| cr1901 | jix: What is the difference between sat -seq and sat -tempinduct? https://github.com/YosysHQ/eqy/commit/9a14e494ff2223b4754a44a5c3dcdeca7d2b57a0 1/2 | 21:35 |
|---|---|---|
| cr1901 | I have used the tempinduct option to sat before (w/ limited success): https://github.com/YosysHQ/nextpnr/blob/master/machxo2/examples/mitertest.sh#L51 | 21:35 |
| cr1901 | Is "seq" equivalent to the "bounded model check" mode of "yosys-smtbmc"? | 21:37 |
| *** strobo <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 22:08 | |
| *** strobo <[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:18 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 260 seconds) | 22:45 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 22:58 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!