control: reassign 844148 acl2 On 2016-11-14 11:24, Camm Maguire wrote: > reassign 844148 glibc > thanks > > Greetings, and thanks so much for your report! > > Neither ACL2 nor underlying gcl makes any use of threads or locks, but > does rely on standard libc calls, which are known to turn on code in TSX > environments that still have bugs. GCL does make use of setjmp/longjmp > and volatile declarations which might appear similar but in no way are > cpu specific.
Sorry but that's not a reason for reassigning the bug to the glibc package. The same way I can say that the GNU libc doesn't have bugs in the TSX code, so I am just reassigning the bug back to acl2. Aurelien -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurel...@aurel32.net http://www.aurel32.net
