| *** tpb has joined #yosys | 00:00 | |
| *** dys has quit IRC | 00:01 | |
| *** emeb has quit IRC | 00:20 | |
| *** _whitelogger has quit IRC | 02:36 | |
| *** _whitelogger has joined #yosys | 02:38 | |
| *** PyroPeter has quit IRC | 03:13 | |
| *** PyroPeter has joined #yosys | 03:27 | |
| *** citypw has joined #yosys | 03:32 | |
| *** Cerpin has quit IRC | 04:42 | |
| *** dys has joined #yosys | 05:11 | |
| *** Jybz has joined #yosys | 05:59 | |
| *** jakobwenzel has quit IRC | 06:19 | |
| *** jakobwenzel has joined #yosys | 06:19 | |
| *** citypw has quit IRC | 06:20 | |
| *** dramforever has joined #yosys | 06:38 | |
| *** emeb_mac has quit IRC | 06:58 | |
| *** dramforever has quit IRC | 07:03 | |
| *** dramforever has joined #yosys | 07:04 | |
| *** pie_ has quit IRC | 07:22 | |
| *** jakobwenzel has quit IRC | 07:29 | |
| *** FL4SHK has quit IRC | 07:39 | |
| *** FL4SHK has joined #yosys | 07:52 | |
| *** gmc has quit IRC | 07:54 | |
| *** jakobwenzel has joined #yosys | 08:05 | |
| *** dys has quit IRC | 08:14 | |
| *** jakobwenzel has quit IRC | 08:17 | |
| *** X-Scale has quit IRC | 08:21 | |
| *** jakobwenzel has joined #yosys | 08:23 | |
| *** promach has joined #yosys | 08:42 | |
| promach | Does yosys-smtbmc support $onehot system keyword ? | 08:43 |
|---|---|---|
| daveshah | As far as I know, only with Verific | 08:48 |
| *** gmc has joined #yosys | 09:12 | |
| promach | daveshah : do you know of a poor-man $onehot equivalent code snippet ? | 09:23 |
| *** _whitelogger has quit IRC | 09:36 | |
| *** _whitelogger has joined #yosys | 09:38 | |
| *** jryans has joined #yosys | 09:41 | |
| *** gmc has quit IRC | 09:48 | |
| *** gmc has joined #yosys | 09:51 | |
| *** Jybz has quit IRC | 10:28 | |
| *** maikmerten has joined #yosys | 10:44 | |
| *** pie_ has joined #yosys | 11:06 | |
| *** dramforever has quit IRC | 12:10 | |
| *** dramforever has joined #yosys | 12:10 | |
| *** lutsabound has joined #yosys | 12:14 | |
| *** Jybz has joined #yosys | 12:38 | |
| *** X-Scale has joined #yosys | 13:08 | |
| *** emeb has joined #yosys | 13:32 | |
| *** rohitksingh has joined #yosys | 13:39 | |
| *** rohitksingh has quit IRC | 13:58 | |
| *** s_frit has quit IRC | 14:06 | |
| *** s_frit has joined #yosys | 14:06 | |
| *** maikmerten has quit IRC | 14:43 | |
| *** dramforever has quit IRC | 15:16 | |
| *** citypw has joined #yosys | 16:29 | |
| *** citypw has quit IRC | 17:07 | |
| *** dys has joined #yosys | 17:14 | |
| pepijndevos | https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing Why is Z3 required while Yices is the default solver? | 17:18 |
| tpb | Title: Getting Started SymbiYosys 0.1 documentation (at symbiyosys.readthedocs.io) | 17:18 |
| *** emeb has quit IRC | 17:28 | |
| *** adjtm has joined #yosys | 17:36 | |
| *** Cerpin has joined #yosys | 17:52 | |
| *** elGamal has quit IRC | 19:39 | |
| *** dys has quit IRC | 20:19 | |
| *** adamgreig is now known as Randomskk | 20:52 | |
| *** Randomskk is now known as adamgreig | 20:58 | |
| *** elGamal has joined #yosys | 21:03 | |
| *** emeb_mac has joined #yosys | 21:09 | |
| *** Jybz has quit IRC | 21:15 | |
| *** Thorn has quit IRC | 23:16 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!