[Termtools] TODAY: Input for TermComp Presentation

[Yamada, Akihisa]

And as the TPDB organizer...

- Larry Paulson submitted a tiny problem to TRS Standard, no tool could 
handle.

- Luca Di Stefano submitted seven C programs, no tool could handle.

- Marcel submitted ITS Complexity (but only run as a demo)

Best,
Akihisa

On 2020/07/02 19:15, Yamada, Akihisa wrote:
>>>   * Is there anything new to report about your tool (or about any other
>>>     tool)?
> 
> I've forgot about my tool:
> - NaTT joined Certified categories since WPO is certifiable now, as you 
> all know now :)
> 
> Best,
> Akihisa
> 
> 
>>
>> pull-requests after the first run:
>> - iRankFinder: bugfix for the conflict
>> - matchbox: correction to my typo
>> - NTI: self-detected bugfix
>> - MnM, 1st: self-detected bugfix
>> - TcT: BenchExec patch
>> - Ultimate: I thought it's just renaming, obviously not.
>> - MnM, 2nd: Reconfiguration for BenchExec
>> - AProVE: correction to Demo registrations
>>
>> Best,
>> Akihisa
>>
>>> Since I have to prepare and submit my slides tomorrow, I need all 
>>> your input TODAY. So please send me anything that could be of 
>>> interest to the "outside" world...
>>>
>>> Best Regards
>>> Juergen
>>>
>>>
>>>
>>> _______________________________________________
>>> Termtools mailing list
>>> Termtools at lri.fr
>>> https://jpn01.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.lri.fr%2Fcgi-bin%2Fmailman%2Flistinfo%2Ftermtools&data=02%7C01%7Cakihisa.yamada%40aist.go.jp%7C420df739f95b417940b808d81e6fbe8f%7C18a7fec8652f409b8369272d9ce80620%7C0%7C0%7C637292812580495060&sdata=dENLAu7pjATiaBjvEZlmQYsD7hYJ2Upq6Utp%2FNLE%2FFw%3D&reserved=0 
>>>
>>>
>>
> 

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus