6 Commits

Author	SHA1	Message	Date
Geoffrey White	2cee756587	C++: Support the mirror case with <=.	2020-03-16 13:22:00 +00:00
Geoffrey White	dcf2f7f19c	C++: Add some test cases for the mirror case, with <=.	2020-03-16 13:22:00 +00:00
Geoffrey White	3d8633f701	C++: Additional test cases for the recursive bit of UnsignedGEZero.	2020-03-16 13:22:00 +00:00
Jonas Jensen	a10c3bcffb	C++: Suppress UnsignedGEZero in template inst. ... It still runs on uninstantiated templates because its underlying libraries do. It's not clear whether that leads to other false positives, but that's independent of the change I'm making here.	2018-10-10 17:06:24 +02:00
Jonas Jensen	383dafac5c	C++: Test for UnsignedGEZero with templates	2018-10-10 17:04:35 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00