| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** mewt <[email protected]> has quit IRC (Quit: leaving) | 02:00 | |
| *** mewt <[email protected]> has joined #yosys | 02:01 | |
| *** tpb_ <[email protected]> has joined #yosys | 06:50 | |
| *** tpb <[email protected]> has quit IRC (Killed (NickServ (GHOST command used by tpb_))) | 06:50 | |
| *** tpb_ is now known as tpb | 06:50 | |
| *** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 252 seconds) | 06:51 | |
| *** zero-xray1 is now known as zero-xray | 06:51 | |
| *** daim <daim!~twix@2001-4dd0-af0e-2f2c-c99e-2a77-b09-ec33.ipv6dyn.netcologne.de> has quit IRC (Killed (erbium.libera.chat (Nickname regained by services))) | 07:01 | |
| *** twix <twix!~twix@2001-4dd0-af0e-2f2c-c99e-2a77-b09-ec33.ipv6dyn.netcologne.de> has joined #yosys | 07:01 | |
| *** FabM <[email protected]> has joined #yosys | 07:19 | |
| csantosb | Hello ! I have a question concerning licensing of YosysHQ/abc | 08:43 |
|---|---|---|
| csantosb | Readme states that "The source code is provided for research and evaluation only. For commercial usage, please contact Prof. Chang Wu at [email protected]." | 08:43 |
| csantosb | How does YosysHQ resolves this ? | 08:43 |
| lofty[m] | that license text applies to the ABC agdmap fork, not to ABC itself | 09:57 |
| lofty[m] | the actual ABC license text is https://github.com/YosysHQ/abc/blob/yosys-experimental/copyright.txt | 09:58 |
| csantosb | I see, thank you ! | 10:01 |
| *** zero-xray7 <zero-xray7!~nonlinear@user/nonlinear> has joined #yosys | 10:03 | |
| *** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 245 seconds) | 10:05 | |
| *** zero-xray7 is now known as zero-xray | 10:05 | |
| *** zero-xray4 <zero-xray4!~nonlinear@user/nonlinear> has joined #yosys | 10:40 | |
| *** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 252 seconds) | 10:43 | |
| *** zero-xray4 is now known as zero-xray | 10:43 | |
| *** m42uko_ <m42uko_!~m42uko@user/m42uko> has joined #yosys | 13:08 | |
| *** m42uko <m42uko!~m42uko@user/m42uko> has quit IRC (Ping timeout: 265 seconds) | 13:09 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 252 seconds) | 14:58 | |
| *** ZipCPU_ <[email protected]> has joined #yosys | 15:11 | |
| *** ZipCPU <[email protected]> has quit IRC (Ping timeout: 276 seconds) | 15:12 | |
| *** ZipCPU_ is now known as ZipCPU | 15:12 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 15:17 | |
| *** AdamHorden <AdamHorden!~adam.hord@user/adamhorden> has quit IRC (Ping timeout: 268 seconds) | 20:03 | |
| *** adehop[m] <adehop[m]!adehopmatr@2a01:4f8:c012:5b7:0:1:0:5d1> has quit IRC (Quit: Idle timeout reached: 172800s) | 20:59 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 252 seconds) | 21:08 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 21:09 | |
| *** AdamHorden <AdamHorden!~adam.hord@user/adamhorden> has joined #yosys | 21:11 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 252 seconds) | 21:14 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 21:14 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:08 | |
| *** nonchip <[email protected]> has joined #yosys | 22:08 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!