JakeGinesin

lightdm_greeter_authenticate: assertion `priv->connected` failed

2

After my last `pacman -Syu`, this greeter would fail to log me in. Typing in my password and pressing enter would yield nothing except an error dumped into `/var/log/lightdm/seat0-greeter.log` telling...

Extracting Buchi Automata from PINS

3

With Spin, it's possible to (kind of) extract the generated Buchi automata from Promela by generating the `pan` file with Spin, then running `./pan -d`. However, you can't directly run...