| *** tpb has joined #yosys | 00:00 | |
| *** citypw has joined #yosys | 02:15 | |
| *** citypw has quit IRC | 02:25 | |
| *** emeb has left #yosys | 04:01 | |
| *** kraiskil has joined #yosys | 04:11 | |
| *** kraiskil has quit IRC | 04:28 | |
| *** ZipCPU has quit IRC | 04:51 | |
| *** m4ssi has joined #yosys | 05:04 | |
| *** nrossi has joined #yosys | 05:18 | |
| *** Marex has quit IRC | 05:49 | |
| *** Ristovski has quit IRC | 05:49 | |
| *** forrestv has quit IRC | 05:49 | |
| *** m4ssi has quit IRC | 05:54 | |
| *** Marex has joined #yosys | 05:55 | |
| *** Ristovski has joined #yosys | 05:55 | |
| *** forrestv has joined #yosys | 05:55 | |
| *** Jybz has joined #yosys | 06:21 | |
| *** Jybz has quit IRC | 06:29 | |
| *** pie_ has quit IRC | 07:35 | |
| *** pie_ has joined #yosys | 07:36 | |
| *** m4ssi has joined #yosys | 07:50 | |
| *** acdimalev has joined #yosys | 09:29 | |
| *** kraiskil has joined #yosys | 10:13 | |
| *** flaviusb has quit IRC | 10:30 | |
| *** flaviusb has joined #yosys | 10:45 | |
| *** d0nker5 has quit IRC | 11:05 | |
| *** d0nker5 has joined #yosys | 11:06 | |
| *** acdimalev has quit IRC | 11:49 | |
| *** d0nker5 has quit IRC | 11:59 | |
| *** ZipCPU has joined #yosys | 12:07 | |
| *** d0nker5 has joined #yosys | 12:21 | |
| *** russell-- has joined #yosys | 12:23 | |
| *** d0nker5 has quit IRC | 12:45 | |
| *** d0nker5 has joined #yosys | 12:46 | |
| *** d0nker5 has quit IRC | 12:51 | |
| *** d0nker5 has joined #yosys | 12:51 | |
| *** fevv8[m] has quit IRC | 13:15 | |
| *** promach3 has quit IRC | 13:16 | |
| *** pepijndevos[m] has quit IRC | 13:16 | |
| *** rohitksingh has quit IRC | 14:18 | |
| *** promach3 has joined #yosys | 15:03 | |
| *** fevv8[m] has joined #yosys | 15:03 | |
| *** pepijndevos[m] has joined #yosys | 15:03 | |
| *** m4ssi has quit IRC | 16:44 | |
| *** kraiskil has quit IRC | 16:55 | |
| *** Laksen has joined #yosys | 17:28 | |
| *** elGamal has quit IRC | 17:29 | |
| *** elGamal has joined #yosys | 17:30 | |
| *** dh73 has joined #yosys | 17:41 | |
| *** dh73 has quit IRC | 18:13 | |
| *** Xark has quit IRC | 18:31 | |
| *** Xark has joined #yosys | 18:37 | |
| *** elGamal has quit IRC | 18:43 | |
| *** elGamal has joined #yosys | 18:44 | |
| *** grazfather has joined #yosys | 19:31 | |
| grazfather | hey all. Is yices a req for symbiyosys, or can I have it use another smt solver? I have the engine configured as smtbmc | 19:32 |
|---|---|---|
| *** kraiskil has joined #yosys | 19:36 | |
| daveshah | grazfather: You should be able to use another solver | 19:38 |
| daveshah | eg smtbmc z3 or smtbmc boolector | 19:38 |
| grazfather | daveshah: how do I specify it? smtbmc is specified as the engine but i get a stack trace when the subprocess call to yices fails | 20:04 |
| grazfather | Oh, i just had to put z3 after the word smtbmc :) | 20:05 |
| daveshah | Yeah | 20:05 |
| grazfather | thank you! | 20:10 |
| *** pie_ has quit IRC | 20:10 | |
| *** Laksen has quit IRC | 20:18 | |
| *** fsasm has joined #yosys | 20:18 | |
| *** rohitksingh has joined #yosys | 21:09 | |
| *** nrossi has quit IRC | 21:14 | |
| *** rohitksingh has quit IRC | 21:29 | |
| *** mirage335 has quit IRC | 21:52 | |
| *** fsasm has quit IRC | 21:52 | |
| *** rohitksingh has joined #yosys | 22:07 | |
| *** mirage335 has joined #yosys | 22:12 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!