clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
awordnot has quit [Read error: Connection reset by peer]
awordnot has joined #yosys
emeb_mac has quit [Ping timeout: 245 seconds]
emeb_mac has joined #yosys
proteusguy has joined #yosys
rohitksingh has joined #yosys
citypw has joined #yosys
Cerpin has joined #yosys
PyroPeter has quit [Ping timeout: 264 seconds]
PyroPeter has joined #yosys
MrBismuth has joined #yosys
rohitksingh has quit [Ping timeout: 276 seconds]
rohitksingh has joined #yosys
pimlu has joined #yosys
Jybz has joined #yosys
emeb_mac has quit [Ping timeout: 244 seconds]
rohitksingh has quit [Ping timeout: 276 seconds]
rohitksingh has joined #yosys
dys has quit [Ping timeout: 244 seconds]
dys has joined #yosys
rohitksingh has quit [Remote host closed the connection]
proteusguy has quit [Ping timeout: 245 seconds]
pimlu has quit [Remote host closed the connection]
<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.
<pepijndevos> janrinze, yea, there is already a PR for it https://github.com/YosysHQ/SymbiYosys/pull/11
<tpb> Title: Made into Python module by ChrisPattison · Pull Request #11 · YosysHQ/SymbiYosys · GitHub (at github.com)
<pepijndevos> I just thought the idea of having a basic bundles SAT prover would be interesting for introductory explorations.
<pepijndevos> That turns it from wait a few hours for shit to compile to pip install and go.
<daveshah> You also need Yosys, so a pure Python SymbiYosys isn't possible
<daveshah> At that point at least one solver doesn't seem like too much of an extra ask
proteusguy has joined #yosys
adjtm has quit [Ping timeout: 258 seconds]
citypw has quit [Ping timeout: 245 seconds]
adjtm has joined #yosys
lutsabound has joined #yosys
Cerpin has quit [Ping timeout: 245 seconds]
indy has quit [Ping timeout: 268 seconds]
proteusguy has quit [Ping timeout: 258 seconds]
indy_ has joined #yosys
indy_ has quit [Quit: ZNC - http://znc.sourceforge.net]
indy has joined #yosys
Ristovski has quit [Quit: 0]
[Ristovski] has joined #yosys
rohitksingh has joined #yosys
lutsabound has quit [Quit: Connection closed for inactivity]
kraiskil has joined #yosys
lutsabound has joined #yosys
dys has quit [Ping timeout: 244 seconds]
dys has joined #yosys
zkms has quit [Quit: zkms]
zkms has joined #yosys
emeb_mac has joined #yosys
emeb has joined #yosys
kraiskil has quit [Ping timeout: 252 seconds]
lutsabound has quit [Quit: Connection closed for inactivity]
lutsabound has joined #yosys
emeb has quit [Quit: Leaving.]
cr1901_modern has quit [Ping timeout: 245 seconds]
Jybz has quit [Ping timeout: 252 seconds]
[Ristovski] is now known as Ristovski
proteusguy has joined #yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
cr1901_modern has joined #yosys