| *** tpb has joined #yosys | 00:00 | |
| *** proteusguy has quit IRC | 00:52 | |
| *** proteusguy has joined #yosys | 02:02 | |
| *** leviathanch has joined #yosys | 02:29 | |
| *** gsi__ has joined #yosys | 02:50 | |
| *** gsi_ has quit IRC | 02:53 | |
| *** jevinski_ has joined #yosys | 03:47 | |
| *** jevinskie has quit IRC | 03:49 | |
| *** pie__ has joined #yosys | 04:28 | |
| *** pie_ has quit IRC | 04:31 | |
| *** _whitelogger has quit IRC | 06:04 | |
| *** _whitelogger has joined #yosys | 06:06 | |
| *** gsi__ is now known as gsi_ | 06:26 | |
| *** emeb_mac has quit IRC | 07:56 | |
| *** proteusguy has quit IRC | 10:11 | |
| *** leviathanch has quit IRC | 10:11 | |
| *** rohitksingh has joined #yosys | 10:21 | |
| *** promach_ has joined #yosys | 10:47 | |
| promach_ | have anyone had "warmup failed" error using yosys-smtbmc ? | 10:47 |
|---|---|---|
| *** rohitksingh has quit IRC | 10:47 | |
| *** rohitksingh has joined #yosys | 10:50 | |
| *** proteusguy has joined #yosys | 10:54 | |
| ZipCPU | Warmup failed means that your assumptions are self-contradictory | 10:58 |
| ZipCPU | If you get the error, typically you need to bisect your assumptions until you find the two that contradict | 10:58 |
| promach_ | bisect the assumptions <-- ? | 11:10 |
| ZipCPU | Yes, because the problem exists within your set of assumptions, and you need to find the ones that contradict | 11:11 |
| ZipCPU | So the way to find an error like this is to go through your list of assumptions, turning them off until you no longer get the warmup failed message | 11:12 |
| ZipCPU | At that point, you should be able to identify which assumptions are contradictory and why | 11:13 |
| ZipCPU | By "turn them off" I mean commenting them out | 11:15 |
| promach_ | ok | 11:27 |
| *** _whitelogger has quit IRC | 11:31 | |
| *** _whitelogger has joined #yosys | 11:33 | |
| *** leviathanch has joined #yosys | 11:35 | |
| *** AlexDaniel has quit IRC | 11:46 | |
| *** rohitksingh has quit IRC | 11:48 | |
| *** rohitksingh has joined #yosys | 12:11 | |
| *** rohitksingh has quit IRC | 12:19 | |
| *** AlexDaniel has joined #yosys | 13:46 | |
| *** lutsabound has joined #yosys | 15:04 | |
| *** rohitksingh has joined #yosys | 15:31 | |
| *** leviathanch has quit IRC | 15:57 | |
| *** citypw has quit IRC | 15:57 | |
| *** emeb has joined #yosys | 16:00 | |
| *** promach_ has quit IRC | 16:52 | |
| *** m4ssi has joined #yosys | 17:04 | |
| *** AlexDaniel has quit IRC | 17:16 | |
| *** FL4SHK has joined #yosys | 18:16 | |
| *** rohitksingh has quit IRC | 18:46 | |
| *** m4ssi has quit IRC | 20:58 | |
| *** X-Scale has joined #yosys | 22:33 | |
| *** cr1901_modern has quit IRC | 23:22 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!