clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
emeb has quit [Quit: Leaving.]
emeb_mac has quit [Ping timeout: 246 seconds]
emeb_mac has joined #yosys
Degi has quit [Ping timeout: 240 seconds]
cyrozap has joined #yosys
Degi has joined #yosys
gmc has quit [Ping timeout: 265 seconds]
gmc has joined #yosys
emeb_mac has quit [Ping timeout: 240 seconds]
emeb_mac has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
citypw has joined #yosys
_whitelogger has joined #yosys
dead10cc has joined #yosys
dead10cc_ has joined #yosys
dead10cc has quit [Ping timeout: 260 seconds]
dead10cc_ has quit [Quit: Konversation terminated!]
kraiskil has joined #yosys
emeb_mac has quit [Quit: Leaving.]
kraiskil has quit [Ping timeout: 240 seconds]
Asu has joined #yosys
cr1901_modern has quit [Ping timeout: 265 seconds]
_whitelogger has joined #yosys
kraiskil has joined #yosys
Asuu has joined #yosys
Asu has quit [Ping timeout: 256 seconds]
kraiskil has quit [Ping timeout: 246 seconds]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 256 seconds]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 246 seconds]
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` is now known as X-Scale
m4ssi has joined #yosys
FireFox317 has quit [Quit: Leaving]
emeb has joined #yosys
kraiskil has joined #yosys
cr1901_modern has joined #yosys
<z0ttel> Would it be a bad idea to use `read_verilog -nodpi -dump_vlog2` as a check and sanitizer for untrusted verilog?
<daveshah> I'm not sure if dump_vlog2 actually works in all cases
<daveshah> I'm also not sure how keen I would be giving untrusted Verilog to Yosys in the first place
indy has quit [Quit: ZNC - http://znc.sourceforge.net]
<z0ttel> Okay, thank you for that assessment. I'm doing some research into automated grading of digital logic/computer architecture exercises at the moment.
<daveshah> The safest option would probably be some kind of sandbox of the tool
<mwk> ... wasm?
<daveshah> yep
<daveshah> that sort of thing
<z0ttel> webassembly? wouldn't that be client-side?
<daveshah> no, wasm is surprisingly unrelated to browsers
<daveshah> I don't know if the current wasm yosys/nextpnr builds will actually work in a browser at all
<mwk> as it turns out, all operating systems completely failed at their task of virtualizing computer resources, so now we're borrowing web technologies for that instead
<mwk> This is Fine
FFY00 has quit [Read error: Connection reset by peer]
FFY00 has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
kraiskil has quit [Ping timeout: 256 seconds]
az0re has quit [Remote host closed the connection]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 264 seconds]
m4ssi has quit [Remote host closed the connection]
xtro has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
az0re has joined #yosys
SpaceCoaster has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
thardin has joined #yosys
<thardin> I knew I was missing a channel :]
<daveshah> we!
<daveshah> *wb!
<thardin> so, this evening's frustration: the icestick is not multiples of 100 mil between the different rows of holes
<daveshah> Ah, that's nasty
<thardin> daveshah: thx
<daveshah> The Arduino problem
<thardin> yep
<thardin> I'm putting together a little eurocard module
<thardin> so it'd be nice if I could solder everything down all nice like
kristianpaul has quit [Read error: Connection reset by peer]
xtro has quit [Ping timeout: 256 seconds]
xtro has joined #yosys
kristianpaul has joined #yosys
emeb_mac has joined #yosys
Asuu has quit [Remote host closed the connection]
emeb_mac has quit [Ping timeout: 256 seconds]
emeb has quit [Ping timeout: 256 seconds]
emeb_mac has joined #yosys
emeb has joined #yosys
emeb_mac has quit [Ping timeout: 260 seconds]
emeb_mac has joined #yosys
kraiskil has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
cr1901_modern has quit [Client Quit]
cr1901_modern has joined #yosys
tlwoerner has quit [Quit: Leaving]
cr1901_modern has quit [Quit: Leaving.]
cr1901_modern has joined #yosys
emeb has quit [Quit: Leaving.]
SpaceCoaster has joined #yosys
kraiskil has quit [Ping timeout: 264 seconds]
m4ssi has joined #yosys
lf_ has quit [Ping timeout: 260 seconds]
lf has joined #yosys
m4ssi has quit [Remote host closed the connection]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 264 seconds]