Thursday, 2019-05-02

*** tpb has joined #yosys00:00
*** X-Scale has quit IRC00:05
*** futarisIRCcloud has joined #yosys00:38
*** dys has quit IRC00:48
*** cr1901_modern has joined #yosys01:11
*** pointfree has quit IRC01:27
*** pointfree has joined #yosys01:30
*** X-Scale has joined #yosys01:33
*** pointfree has quit IRC01:40
*** pointfree has joined #yosys01:57
*** PyroPeter has quit IRC02:26
*** PyroPeter has joined #yosys02:37
*** gsi__ has joined #yosys02:41
*** gsi_ has quit IRC02:44
*** emeb has quit IRC02:44
*** emeb_mac has joined #yosys02:50
*** mirage335 has quit IRC03:15
*** mirage335 has joined #yosys03:17
*** rohitksingh_work has joined #yosys05:03
*** jevinskie has joined #yosys05:10
*** citypw has quit IRC05:23
*** jevinski_ has joined #yosys05:47
*** jevinskie has quit IRC05:48
*** shenchen has quit IRC05:54
*** shenchen has joined #yosys06:13
*** voxadam has quit IRC06:18
*** voxadam has joined #yosys06:18
*** kraiskil has joined #yosys06:31
*** emeb_mac has quit IRC07:02
*** jevinskie has joined #yosys07:25
*** jevinski_ has quit IRC07:25
*** kraiskil has quit IRC07:36
*** m4ssi has joined #yosys07:43
*** kraiskil has joined #yosys07:48
*** kraiskil has quit IRC08:53
*** futarisIRCcloud has quit IRC09:17
*** futarisIRCcloud has joined #yosys10:15
*** gnufan_home has quit IRC10:25
*** kerel_ has joined #yosys10:26
*** kerel has quit IRC10:27
*** gnufan_home has joined #yosys10:32
*** kraiskil has joined #yosys11:17
*** dys has joined #yosys11:22
*** jevinskie has quit IRC12:20
*** jevinskie has joined #yosys12:24
*** rohitksingh_work has quit IRC12:46
*** shenchen has quit IRC13:14
*** shenchen has joined #yosys13:15
*** gnufan_home has quit IRC13:36
*** rohitksingh has joined #yosys13:54
*** MoeIcenowy has quit IRC14:19
*** MoeIcenowy has joined #yosys14:19
*** ZirconiumX has joined #yosys14:52
ZirconiumXSo I found a Yosys bug, and bisected it to git commit e158ea20, but don't know how to minimise Verilog (I'm new to HDL)14:54
daveshahDo you have any idea where the bug is happening?15:03
ZirconiumXLet me just submit my bug report15:04
tpbTitle: Infinite loop while synthesizing for iCE40 · Issue #981 · YosysHQ/yosys · GitHub (at
ZirconiumXAn MCVE it is not, but I'm hoping it's a start15:05
daveshahThese kinds of bugs tend to be alright to solve without minimal code (stuff like sim/synthesis mismatches are where minimal examples are really needed)15:06
ZirconiumXThe git bisect commit looks odd to me; that's a logging commit15:09
daveshahYeah that's what I'm trying to work out15:09
*** PyroPeter has quit IRC15:12
tpbTitle: bisect.txt · GitHub (at
ZirconiumXHere's the bisect log15:12
ZirconiumXdaveshah: let me know if there's anything I can do15:13
*** Cerpin has quit IRC15:35
*** PyroPeter has joined #yosys15:36
*** m4ssi has quit IRC15:38
*** Cerpin has joined #yosys15:45
*** emeb has joined #yosys15:55
*** jevinskie has quit IRC16:09
*** jevinskie has joined #yosys16:09
*** GuzTech has joined #yosys16:23
*** futarisIRCcloud has quit IRC16:47
*** dys has quit IRC17:48
*** show has quit IRC17:52
*** emeb has quit IRC18:19
*** emeb has joined #yosys18:20
*** Laksen has joined #yosys19:03
*** gsi__ is now known as gsi_19:14
*** kraiskil has quit IRC20:00
*** show has joined #yosys20:25
*** rohitksingh has quit IRC20:30
*** dys has joined #yosys21:14
*** dys has quit IRC21:36
*** GuzTech has quit IRC21:47
*** proteusguy has quit IRC22:36
alcorn^^ in answer to my previous question, here is how you can setup Yosys to be used as a library:
tpbTitle: How to use Yosys as a library - (at

Generated by 2.13.1 by Marius Gedminas - find it at!