search for: iohk

...id=114 <https://www.flux.utah.edu/download?uid=114>): . However, after this paper was published we are unaware of any further testing using Csmith, and we would like to ask you if you are aware of any such efforts or further results. Best regards, Radu Ometita, Functional compilers engineer @IOHK -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181207/c445e837/attachment.html>

http://bugzilla.mindrot.org/show_bug.cgi?id=335 dyw at iohk.com changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|major |normal Keywords| |help-wanted OS/Version|Linux...

...ith, and we > would like to ask you if you are aware of any such efforts or further > results. > > > Just speaking for myself here, I use Csmith as part of my pre-commit > testing. > > vedant > > > Best regards, > Radu Ometita, > Functional compilers engineer @IOHK > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.or...

...forts or further results. >> >> Just speaking for myself here, I use Csmith as part of my >> pre-commit testing. >> >> vedant >> >>> >>> Best regards, >>> Radu Ometita, >>> Functional compilers engineer @IOHK >> -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20181212/52a14ac5/attachment.html>

...re --------------------------------------------------------- I have built an rpm with this patch, but don't know where to upload it. -- Nick Urbanik, Dept. of Electrical & Communications Engineering Hong Kong Institute of Vocational Education (Tsing Yi) email: nicku at vtc.edu.hk, nicku at iohk.com Tel: (852) 2436 8660, (825) 2436 8492 Fax: (852) 2436 8643 pgp ID: 7529555D fingerprint: 53 B6 6D 73 52 EE 1F EE EC F8 21 98 45 1C 23 7B

Hello list. I'm trying to rebuild the 2.6.9.67.0.20.EL kernel, but it fails even without modifications. How did I try it? Created a (non-root) build environment (not a mock ) Installed the kernel.scr.rpm and did a rpmbuild -ba --target=`uname -m` kernel-2.6.spec 2> prep-err.log | tee prep-out.log The build failed at the end: Processing files: kernel-xenU-devel-2.6.9-67.0.20.EL Checking