| *** tpb has joined #yosys | 00:00 | |
| *** awordnot has quit IRC | 00:10 | |
| *** awordnot has joined #yosys | 00:11 | |
| *** emeb_mac has quit IRC | 01:33 | |
| *** emeb_mac has joined #yosys | 01:36 | |
| *** proteusguy has joined #yosys | 02:30 | |
| *** rohitksingh has joined #yosys | 02:37 | |
| *** citypw has joined #yosys | 02:54 | |
| *** Cerpin has joined #yosys | 03:13 | |
| *** PyroPeter has quit IRC | 03:37 | |
| *** PyroPeter has joined #yosys | 03:50 | |
| *** MrBismuth has joined #yosys | 05:20 | |
| *** rohitksingh has quit IRC | 05:32 | |
| *** rohitksingh has joined #yosys | 06:26 | |
| *** pimlu has joined #yosys | 06:44 | |
| *** Jybz has joined #yosys | 06:47 | |
| *** emeb_mac has quit IRC | 07:04 | |
| *** rohitksingh has quit IRC | 07:41 | |
| *** rohitksingh has joined #yosys | 07:48 | |
| *** dys has quit IRC | 08:22 | |
| *** dys has joined #yosys | 08:28 | |
| *** rohitksingh has quit IRC | 09:08 | |
| *** proteusguy has quit IRC | 09:17 | |
| *** pimlu has quit IRC | 09:40 | |
| janrinze | pepijndevos: creating python packages should not be too complicated. i've done that several times and even have a guide on my bookshelf somewhere here. | 10:14 |
|---|---|---|
| pepijndevos | janrinze, yea, there is already a PR for it https://github.com/YosysHQ/SymbiYosys/pull/11 | 10:15 |
| tpb | Title: Made into Python module by ChrisPattison · Pull Request #11 · YosysHQ/SymbiYosys · GitHub (at github.com) | 10:15 |
| pepijndevos | I just thought the idea of having a basic bundles SAT prover would be interesting for introductory explorations. | 10:16 |
| pepijndevos | That turns it from wait a few hours for shit to compile to pip install and go. | 10:17 |
| daveshah | You also need Yosys, so a pure Python SymbiYosys isn't possible | 10:23 |
| daveshah | At that point at least one solver doesn't seem like too much of an extra ask | 10:24 |
| *** proteusguy has joined #yosys | 11:19 | |
| *** adjtm has quit IRC | 12:00 | |
| *** citypw has quit IRC | 12:30 | |
| *** adjtm has joined #yosys | 12:44 | |
| *** lutsabound has joined #yosys | 14:10 | |
| *** Cerpin has quit IRC | 16:15 | |
| *** indy has quit IRC | 16:57 | |
| *** proteusguy has quit IRC | 17:03 | |
| *** indy_ has joined #yosys | 17:05 | |
| *** indy_ has quit IRC | 17:08 | |
| *** indy has joined #yosys | 17:15 | |
| *** Ristovski has quit IRC | 18:00 | |
| *** [Ristovski] has joined #yosys | 18:21 | |
| *** rohitksingh has joined #yosys | 18:21 | |
| *** lutsabound has quit IRC | 18:30 | |
| *** kraiskil has joined #yosys | 18:39 | |
| *** lutsabound has joined #yosys | 19:17 | |
| *** dys has quit IRC | 19:37 | |
| *** dys has joined #yosys | 19:59 | |
| *** zkms has quit IRC | 20:05 | |
| *** zkms has joined #yosys | 20:08 | |
| *** emeb_mac has joined #yosys | 20:49 | |
| *** emeb has joined #yosys | 21:17 | |
| *** kraiskil has quit IRC | 21:24 | |
| *** lutsabound has quit IRC | 21:30 | |
| *** lutsabound has joined #yosys | 21:46 | |
| *** emeb has quit IRC | 21:57 | |
| *** cr1901_modern has quit IRC | 22:29 | |
| *** Jybz has quit IRC | 22:43 | |
| *** [Ristovski] is now known as Ristovski | 23:24 | |
| *** proteusguy has joined #yosys | 23:52 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!