Sunday, 2019-01-27

*** tpb has joined #yosys00:00
*** proteusguy has quit IRC00:52
*** proteusguy has joined #yosys02:02
*** leviathanch has joined #yosys02:29
*** gsi__ has joined #yosys02:50
*** gsi_ has quit IRC02:53
*** jevinski_ has joined #yosys03:47
*** jevinskie has quit IRC03:49
*** pie__ has joined #yosys04:28
*** pie_ has quit IRC04:31
*** _whitelogger has quit IRC06:04
*** _whitelogger has joined #yosys06:06
*** gsi__ is now known as gsi_06:26
*** emeb_mac has quit IRC07:56
*** proteusguy has quit IRC10:11
*** leviathanch has quit IRC10:11
*** rohitksingh has joined #yosys10:21
*** promach_ has joined #yosys10:47
promach_have anyone had "warmup failed" error using yosys-smtbmc ?10:47
*** rohitksingh has quit IRC10:47
*** rohitksingh has joined #yosys10:50
*** proteusguy has joined #yosys10:54
ZipCPUWarmup failed means that your assumptions are self-contradictory10:58
ZipCPUIf you get the error, typically you need to bisect your assumptions until you find the two that contradict10:58
promach_bisect the assumptions <--  ?11:10
ZipCPUYes, because the problem exists within your set of assumptions, and you need to find the ones that contradict11:11
ZipCPUSo 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 message11:12
ZipCPUAt that point, you should be able to identify which assumptions are contradictory and why11:13
ZipCPUBy "turn them off" I mean commenting them out11:15
*** _whitelogger has quit IRC11:31
*** _whitelogger has joined #yosys11:33
*** leviathanch has joined #yosys11:35
*** AlexDaniel has quit IRC11:46
*** rohitksingh has quit IRC11:48
*** rohitksingh has joined #yosys12:11
*** rohitksingh has quit IRC12:19
*** AlexDaniel has joined #yosys13:46
*** lutsabound has joined #yosys15:04
*** rohitksingh has joined #yosys15:31
*** leviathanch has quit IRC15:57
*** citypw has quit IRC15:57
*** emeb has joined #yosys16:00
*** promach_ has quit IRC16:52
*** m4ssi has joined #yosys17:04
*** AlexDaniel has quit IRC17:16
*** FL4SHK has joined #yosys18:16
*** rohitksingh has quit IRC18:46
*** m4ssi has quit IRC20:58
*** X-Scale has joined #yosys22:33
*** cr1901_modern has quit IRC23:22

Generated by 2.13.1 by Marius Gedminas - find it at!