nsz Git - libfirm/commit

author	Christoph Mallon <christoph.mallon@gmx.de>
	Mon, 17 Mar 2008 12:58:26 +0000 (12:58 +0000)
committer	Christoph Mallon <christoph.mallon@gmx.de>
	Mon, 17 Mar 2008 12:58:26 +0000 (12:58 +0000)
commit	79d03a49b258b76f33a10e964f8a9c6716c70807
tree	079465acab4fd7649c68633aefd1befedbf866df	tree \| snapshot
parent	70f361d8ab87aace8b4de4e44e2911aa3a54c43e	commit \| diff

- Fix comments
- Remove stale assert
- Add Psi(t == f, t, f) -> f and Psi(t != f, t, f) -> t (was only implemented for f == 0)

[r18142]