[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-platform-dev] TPTP 4.6.1 TestPass 1 is completed

The TPTP 4.6.1 TestPass 1 is completed, test result available here.

Note that we are in the week of Fix Pass and all code changes require PMC approval for checking in.


Eugene Chan
IBM Toronto Lab, Canada

email: ewchan@xxxxxxxxxx
pwa: D3-268 | tieline: 313-6102
voice: 1.905.413.6102 | fax: 1.905.413.4850