Fixed. Thanks, Markus! - Yang
On 2016-01-24 02:45, Markus Trippelsdorf wrote:
The tarball contains a number bugs where creduce hits LLVM assertion failures. I'm running latest creduce and LLVM trunk. Thanks in advance.
Fixed. Thanks, Markus! - Yang
On 2016-01-24 02:45, Markus Trippelsdorf wrote:
The tarball contains a number bugs where creduce hits LLVM assertion failures. I'm running latest creduce and LLVM trunk. Thanks in advance.