July 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Jul 2 21:40:01 CEST 2014
Ending: Tue Jul 29 10:59:18 CEST 2014
Messages: 18

• [Termtools] "unknown method String reversal" (in TRS relative certified)   Johannes Waldmann
• [Termtools] "unknown method String reversal" (in TRS relative certified)   Carsten Fuhs
• [Termtools] competition (re-run) is finishing, please eyeball the results   Johannes Waldmann
• [Termtools] demonstration sections done   Johannes Waldmann
• [Termtools] Last Minute Call for Participation   Georg Moser
• [Termtools] New TPDB available   René Thiemann
• [Termtools] Questionnaire about Star-Exec   Johannes Waldmann
• [Termtools] termcomp status   Johannes Waldmann
• [Termtools] termcomp will be running July 19 - 21   Johannes Waldmann
• [Termtools] termcomp/starexec testing   Johannes Waldmann
• [Termtools] Termination Competition 2014 - demonstration categories RUNNING NOW   Johannes Waldmann
• [Termtools] Termination Competition 2014 - DONE / RESTART   Johannes Waldmann
• [Termtools] Termination Competition 2014 - NOW RUNNING   Johannes Waldmann
• [Termtools] Termination Competition 2014 - NOW RUNNING   Juergen Giesl
• [Termtools] Termination Competition 2014 - NOW RUNNING   Salvador Lucas
• [Termtools] Termination Competition Data   Johannes Waldmann
• [Termtools] Termination Competition extra data   Johannes Waldmann
• [Termtools] YES or NO? ( GCD5.jar-obl-8.smt2 )   Johannes Waldmann

Last message date: Tue Jul 29 10:59:18 CEST 2014
Archived on: Tue Jul 29 10:59:21 CEST 2014

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...