| *** tpb has joined #yosys | 00:00 | |
| *** lutsabound has quit IRC | 01:54 | |
| *** dramforever has joined #yosys | 02:15 | |
| promach | pepijndevos : from personal experience, yices is faster to finish the proof | 02:25 |
|---|---|---|
| *** citypw has joined #yosys | 03:06 | |
| *** PyroPeter has quit IRC | 03:13 | |
| *** PyroPeter has joined #yosys | 03:26 | |
| *** dys has joined #yosys | 05:14 | |
| *** emeb_mac has quit IRC | 07:17 | |
| *** Thorn has joined #yosys | 07:32 | |
| *** pie_ has quit IRC | 07:48 | |
| *** Jybz has joined #yosys | 08:40 | |
| *** dys has quit IRC | 09:25 | |
| *** pie_ has joined #yosys | 09:44 | |
| *** Jybz has quit IRC | 11:33 | |
| *** Jybz has joined #yosys | 11:34 | |
| *** adjtm has quit IRC | 11:53 | |
| *** rohitksingh has joined #yosys | 12:38 | |
| *** gmc has quit IRC | 13:27 | |
| *** adjtm has joined #yosys | 13:29 | |
| *** rohitksingh has quit IRC | 13:34 | |
| *** rohitksingh has joined #yosys | 13:48 | |
| *** rohitksingh has quit IRC | 14:05 | |
| *** emeb has joined #yosys | 14:10 | |
| *** gmc has joined #yosys | 14:12 | |
| *** jakobwenzel has quit IRC | 14:45 | |
| *** rajesh_s_ has joined #yosys | 15:03 | |
| *** rajesh_s_ has quit IRC | 15:06 | |
| *** rajesh_s_ has joined #yosys | 15:06 | |
| *** gmc has quit IRC | 15:24 | |
| *** gmc has joined #yosys | 15:41 | |
| *** citypw has quit IRC | 16:42 | |
| *** dys has joined #yosys | 17:06 | |
| *** jryans has quit IRC | 17:55 | |
| *** jryans has joined #yosys | 17:58 | |
| *** dramforever has quit IRC | 18:31 | |
| *** adjtm has quit IRC | 18:58 | |
| *** pie_ has quit IRC | 20:18 | |
| *** adjtm has joined #yosys | 20:38 | |
| *** adjtm_ has joined #yosys | 20:51 | |
| *** adjtm has quit IRC | 20:53 | |
| *** emeb_mac has joined #yosys | 21:02 | |
| *** dys has quit IRC | 21:31 | |
| *** dys has joined #yosys | 21:59 | |
| *** Jybz has quit IRC | 22:34 | |
| *** emeb has quit IRC | 23:38 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!