July 2015 Archives by thread

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

Starting: Wed Jul 1 09:27:40 CEST 2015
Ending: Thu Jul 30 15:32:38 CEST 2015
Messages: 81

• [Termtools] Termination Competition 2015: New integer C category accepted   Thomas Ströder
  • [Termtools] Termination Competition 2015: ANTLR grammar for integer C category   Thomas Ströder
• [Termtools] TermComp'15 registration   Johannes Waldmann
  • [Termtools] Termcomp'15 testing   Johannes Waldmann
• [Termtools] Running Z3 on StarExec   Matthias Heizmann
  • [Termtools] Running Z3 on StarExec   Matthias Heizmann
• [Termtools] Fwd: Re: TermComp'15 registration   Akihisa Yamada
• [Termtools] termcomp registrations and test run   Johannes Waldmann
• [Termtools] C integer transitions - need benchmarks for testing   Johannes Waldmann
  • [Termtools] C integer transitions - need benchmarks for testing   Thiemann, Rene
  • [Termtools] C integer transitions - need benchmarks for testing   Thomas Ströder
• [Termtools] C Integer Programs: comments allowed   Thomas Ströder
• [Termtools] Further extensions for C integer program grammar   Thomas Ströder
• [Termtools] complexity categories   Johannes Waldmann
  • [Termtools] complexity categories   Johannes Waldmann
• [Termtools] Duplicates in full C category   Thomas Ströder
  • [Termtools] Duplicates in full C category   Thiemann, Rene
• [Termtools] Removing of examples in full C category which are in C integer programs now   Thomas Ströder
• [Termtools] problems with certified complexity   Johannes Waldmann
• [Termtools] C category: .i files   Thomas Ströder
  • [Termtools] C category: .i files   Matthias Heizmann
    • [Termtools] C category: .i files   Thiemann, Rene
• [Termtools] Prefinal Version of TPDB for the 2015 Competition   Thiemann, Rene
• [Termtools] certification errors   Johannes Waldmann
  • [Termtools] static/dynamic linking , was: Re: certification errors   Johannes Waldmann
  • [Termtools] AutoNon?   Akihisa Yamada
    • [Termtools] AutoNon?   Johannes Waldmann
• [Termtools] Deadline for updating tools   Ton-Chanh Le
  • [Termtools] Deadline for updating tools   Matthias Heizmann
    • [Termtools] Deadline for updating tools   Joerg Endrullis
• [Termtools] Deadline extension (for updates of registered tools): July 29   Johannes Waldmann
• [Termtools] Expected result of C/AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c   Ton-Chanh Le
  • [Termtools] Expected result of C/AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c   Thomas Ströder
• [Termtools] TPDB: C/AProVE_numeric/ex2.c   Ton-Chanh Le
  • [Termtools] TPDB: C/AProVE_numeric/ex2.c   Thomas Ströder
    • [Termtools] TPDB: C/AProVE_numeric/ex2.c   Akihisa Yamada
• [Termtools] Some concerns about C/AProVE_memory_alloca examples   Ton-Chanh Le
  • [Termtools] Some concerns about C/AProVE_memory_alloca examples   Akihisa Yamada
    • [Termtools] Some concerns about C/AProVE_memory_alloca examples   Thomas Ströder
      • [Termtools] Some concerns about C/AProVE_memory_alloca examples   Matthias Heizmann
• [Termtools] About memory examples in C category   Ton-Chanh Le
  • [Termtools] About memory examples in C category   Akihisa Yamada
    • [Termtools] About memory examples in C category   Ton-Chanh Le
      • [Termtools] About memory examples in C category   Thomas Ströder
      • [Termtools] Penalties - was: Re: About memory examples in C category   Johannes Waldmann
      • [Termtools] About memory examples in C category   Akihisa Yamada
      • [Termtools] About memory examples in C category   Juergen Giesl
      • [Termtools] About memory examples in C category   Akihisa Yamada
      • [Termtools] About memory examples in C category   Juergen Giesl
      • [Termtools] About memory examples in C category   Akihisa Yamada
      • [Termtools] About memory examples in C category   Thomas Ströder
      • [Termtools] About memory examples in C category   Matthias Heizmann
      • [Termtools] About memory examples in C category   Akihisa Yamada
      • [Termtools] About memory examples in C category   Thomas Ströder
      • [Termtools] About memory examples in C category   Matthias Heizmann
      • [Termtools] About memory examples in C category   Thomas Ströder
      • [Termtools] About memory examples in C category   Thomas Ströder
• [Termtools] C category: x = x++ statements   Ton-Chanh Le
  • [Termtools] C category: x = x++ statements   Andreas Gebhardt
    • [Termtools] C category: x = x++ statements   Ton-Chanh Le
      • [Termtools] C category: x = x++ statements   Akihisa Yamada
      • [Termtools] C category: x = x++ statements   Ton-Chanh Le
      • [Termtools] C category: x = x++ statements   Juergen Giesl
      • [Termtools] C category: x = x++ statements   Matthias Heizmann
      • [Termtools] C category: x = x++ statements   Matthias Heizmann
      • [Termtools] C category: x = x++ statements   Akihisa Yamada
      • [Termtools] C category: x = x++ statements   Akihisa Yamada
      • [Termtools] C category: x = x++ statements   Ton-Chanh Le
• [Termtools] Certification problem (because of ampersand encoding in XML)   Johannes Waldmann
  • [Termtools] Certification problem (because of ampersand encoding in XML)   Michael Schaper
• [Termtools] complexity scoring (with upper and lower bounds)   Johannes Waldmann
• [Termtools] TPDB-10.2, test runs, TODOs   Johannes Waldmann
• [Termtools] java bytecode (recursive?)   Johannes Waldmann
  • [Termtools] java bytecode (recursive?)   Juergen Giesl
• [Termtools] certification errors and inconsistent results   Johannes Waldmann
  • [Termtools] certification errors and inconsistent results   Thomas Ströder
    • [Termtools] certification errors and inconsistent results   Matthias Heizmann
• [Termtools] more strange outputs   Johannes Waldmann
  • [Termtools] more strange outputs   Thiemann, Rene
• [Termtools] submission deadline approaching - note: syntax for updates   Johannes Waldmann
• [Termtools] YES+NO in java bytecode   Johannes Waldmann

Last message date: Thu Jul 30 15:32:38 CEST 2015
Archived on: Thu Jul 30 15:32:41 CEST 2015

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