tpb has quit [Killed (NickServ (GHOST command used by tpb_))]
tpb_ is now known as tpb
zero-xray has quit [Ping timeout: 252 seconds]
zero-xray1 is now known as zero-xray
daim has quit [Killed (erbium.libera.chat (Nickname regained by services))]
twix has joined #yosys
FabM has joined #yosys
FabM has joined #yosys
<csantosb>
Hello ! I have a question concerning licensing of YosysHQ/abc
<csantosb>
Readme states that "The source code is provided for research and evaluation only. For commercial usage, please contact Prof. Chang Wu at wuchang@fudan.edu.cn."
<csantosb>
How does YosysHQ resolves this ?
<lofty[m]>
that license text applies to the ABC agdmap fork, not to ABC itself