| *** tpb has joined #yosys | 00:00 | |
| *** s_frit has quit IRC | 00:47 | |
| *** s_frit has joined #yosys | 00:47 | |
| *** lf has quit IRC | 00:56 | |
| *** lf has joined #yosys | 00:57 | |
| *** craigo has joined #yosys | 01:06 | |
| *** Degi_ has joined #yosys | 03:07 | |
| *** Degi has quit IRC | 03:08 | |
| *** Degi_ is now known as Degi | 03:08 | |
| *** citypw has joined #yosys | 03:27 | |
| *** jfcaron has left #yosys | 04:55 | |
| *** _whitelogger has quit IRC | 05:18 | |
| *** _whitelogger has joined #yosys | 05:20 | |
| *** emeb_mac has quit IRC | 06:29 | |
| *** kraiskil has joined #yosys | 06:32 | |
| *** citypw has quit IRC | 07:09 | |
| *** futarisIRCcloud has quit IRC | 07:27 | |
| smkz | does anyone have examples of using yosys to prove liveness properties (s_eventually) or can bring me up to speed on the state of that? i've tried using "aiger aigbmc" but that doesnt seem to generate a proof, just a bounded model check i think | 07:48 |
|---|---|---|
| smkz | and i've tried "aiger suprove" (by invoking simple_liveness.sh because for some reason symbiyosys does "super_prove.sh +simple_liveness" which fails for me) and i'm not sure i understand its output | 07:50 |
| smkz | thanks | 07:50 |
| *** kraiskil has quit IRC | 07:55 | |
| *** kraiskil has joined #yosys | 08:13 | |
| *** _whitelogger has quit IRC | 08:39 | |
| *** _whitelogger has joined #yosys | 08:41 | |
| smkz | sorry the issue was on my side because i didnt understand how s_eventually worked https://twitter.com/alt_kia/status/1368474626104365057 | 08:51 |
| *** craigo has quit IRC | 09:00 | |
| *** craigo has joined #yosys | 09:13 | |
| *** craigo has quit IRC | 09:43 | |
| *** craigo has joined #yosys | 09:43 | |
| *** citypw has joined #yosys | 10:00 | |
| *** jakobwenzel has joined #yosys | 11:29 | |
| *** jakobwenzel has quit IRC | 11:29 | |
| *** jakobwenzel has joined #yosys | 12:42 | |
| *** jakobwenzel has joined #yosys | 12:47 | |
| *** jakobwenzel has quit IRC | 13:16 | |
| *** kraiskil has quit IRC | 14:00 | |
| *** somlo has quit IRC | 14:15 | |
| *** somlo has joined #yosys | 14:33 | |
| *** craigo has quit IRC | 14:44 | |
| *** kraiskil has joined #yosys | 15:22 | |
| *** emeb has joined #yosys | 15:37 | |
| *** citypw has quit IRC | 15:50 | |
| *** vidbina_ has joined #yosys | 16:33 | |
| *** kmehall has quit IRC | 17:17 | |
| *** rqou has quit IRC | 17:17 | |
| *** davidlattimore has quit IRC | 17:17 | |
| *** lukego has quit IRC | 17:17 | |
| *** gatecat has quit IRC | 17:17 | |
| *** esden has quit IRC | 17:17 | |
| *** agg has quit IRC | 17:17 | |
| *** ktemkin has quit IRC | 17:17 | |
| *** rohitksingh has quit IRC | 17:17 | |
| *** rjeli has quit IRC | 17:17 | |
| *** benreynwar has quit IRC | 17:17 | |
| *** jhol has quit IRC | 17:17 | |
| *** davidlattimore has joined #yosys | 17:18 | |
| *** gatecat has joined #yosys | 17:18 | |
| *** ktemkin has joined #yosys | 17:18 | |
| *** agg has joined #yosys | 17:18 | |
| *** esden has joined #yosys | 17:18 | |
| *** rjeli has joined #yosys | 17:18 | |
| *** kmehall has joined #yosys | 17:19 | |
| *** jhol has joined #yosys | 17:19 | |
| *** rqou has joined #yosys | 17:21 | |
| *** jryans has quit IRC | 17:21 | |
| *** promach3 has quit IRC | 17:21 | |
| *** notafile has quit IRC | 17:21 | |
| *** fevv8[m] has quit IRC | 17:21 | |
| *** wiizzard has quit IRC | 17:21 | |
| *** emeb_mac has joined #yosys | 17:22 | |
| *** fevv8[m] has joined #yosys | 17:41 | |
| *** jryans has joined #yosys | 17:44 | |
| *** promach3 has joined #yosys | 17:44 | |
| *** notafile has joined #yosys | 17:45 | |
| *** vidbina_ has quit IRC | 18:04 | |
| *** wiizzard has joined #yosys | 18:09 | |
| *** vidbina_ has joined #yosys | 18:56 | |
| *** craigo has joined #yosys | 19:12 | |
| *** vidbina_ has quit IRC | 19:45 | |
| *** bzztploink has quit IRC | 19:50 | |
| *** bzztploink has joined #yosys | 19:54 | |
| *** vidbina_ has joined #yosys | 20:28 | |
| *** kraiskil has quit IRC | 20:54 | |
| *** jakobwenzel has joined #yosys | 22:02 | |
| *** jakobwenzel has quit IRC | 22:03 | |
| somlo | gatecat: any objection to reverting commit prjtrellis commit #de5eec3 ("Change theme to Sphinx Material Design")? IIRC, it was meant to make the (pdf) manual fit the "symbiflow design aesthetic", and I keep having to revert it manually when I package RPMs for Fedora (I really don't want to become the Fedora maintainer of some Sphinx formatting thing I know nothing about :) | 22:42 |
| somlo | I can continue to simply revert it as part of the RPM build, of course, but "upstream first" :) | 22:43 |
| gatecat | No, that's fine, I'll do that tomorrow | 22:43 |
| somlo | cool, thanks! | 22:43 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!