ChanServ changed the topic of #prjunnamed to: FPGA toolchain project · rule #0 of prjunnamed: no one should ever burn out building software · https://github.com/prjunnamed/prjunnamed · logs: https://libera.irclog.whitequark.org/prjunnamed
<_whitenotifier-4> [prjunnamed/prjunnamed] whitequark pushed 1 commit to main [+0/-0/±3] https://github.com/prjunnamed/prjunnamed/compare/ce9e0c8bf1f0...92ae5e71fd82
<_whitenotifier-4> [prjunnamed/prjunnamed] whitequark 92ae5e7 - smt2: update easy-smt.
Guest12 has joined #prjunnamed
Guest12 has quit [Ping timeout: 240 seconds]
mei[m] has quit [Quit: Idle timeout reached: 172800s]
povikMartinPovie has quit [Quit: Idle timeout reached: 172800s]
eightdot has joined #prjunnamed
leocassarani[m] has quit [Quit: Idle timeout reached: 172800s]
<_whitenotifier-4> [prjunnamed/prjunnamed] whitequark pushed 1 commit to main [+0/-0/±1] https://github.com/prjunnamed/prjunnamed/compare/92ae5e71fd82...bbc2bb0207d5
<_whitenotifier-4> [prjunnamed/prjunnamed] whitequark bbc2bb0 - netlist: when parsing, accept netlists with any order of cell indices.