Allon Hadaya
Allon Hadaya
@jhlywa Oh, thanks! It's no real rush. When you do take a look, I'd be curious to hear what you think of the implementation if there's a better way to...
Hey @jhlywa, I was wondering if you might have some free time to take a look at this pull request? Let me know if there's anything that would help you...
Confirmed ST3 on Ubuntu14.04
@PH111P I think you're right about the segment requiring permissions. See `/etc/sway/security.d/00-defaults` for examples/instructions, and [man sway-security(7)](https://manpath.be/f29/7/sway-security) if you're trying to understand sway's permission model.
@mattds9 not sure if you're still having trouble getting the board to appear. The issue may have to do with how the chess piece images are being served. By default,...
@barakmich Out of curiosity, is the test, "There is at least one satisfying path" needed given how ForAll [behaves on the empty set](http://en.wikipedia.org/wiki/Universal_quantification#The_empty_set)?
@barakmich I see, we would be obliged to include all those paths for which the condition is satisfied, but not very meaningful (vacuously true). It's hard for me to reason...