Re: [Pixman] Use of bitwise operators on vectors with Boolean results

2014-06-26 Thread Siarhei Siamashka
On Sun, 22 Jun 2014 12:43:49 +0200 Michael Tautschnig m...@debian.org wrote: Dear Pixman Developers, While doing some experiments using a toolkit built around CBMC we noticed that test/utils-prng.c has code like randdata.vb |= (t.vb = const_C0);

Re: [Pixman] mips* asm exports symbols that should not export

2014-06-26 Thread Siarhei Siamashka
On Tue, 24 Jun 2014 11:18:18 +0800 Yunqiang Su wzss...@gmail.com wrote: Is it pushed now? On Wed, Apr 9, 2014 at 12:45 AM, Nemanja Lukic nemanja.lu...@rt-rk.com wrote: Unfortunately no. I was planning to push them after that big patch set, I updated few weeks ago. Best Regards,