https://bugs.libre-soc.org/show_bug.cgi?id=745 --- Comment #11 from Jacob Lifshay <programmerjake at gmail.com> --- renamed ternary->ternlog and TI->TLI in both openpower-isa.git and the wiki -- You are receiving this mail because: You are on the CC list for the bug.