Termtools June 2024

termtools@lists.rwth-aachen.de
  • 6 participants
  • 16 discussions

2 weeks, 1 day

no more updates, certificates
by Florian Frohn
2 weeks, 1 day

termCOMP at IJCAR
by Florian Frohn
2 weeks, 3 days

Testing done
by Florian Frohn
2 weeks, 3 days

new post-processors
by Florian Frohn
2 weeks, 5 days

registration is over
by Florian Frohn
3 weeks, 1 day

BenchExec no longer available
by Florian Frohn
3 weeks, 1 day

ceta(2) - selective context closure?
by Johannes Waldmann
3 weeks, 5 days

4 weeks, 1 day

CPF version
by Florian Frohn
1 month
Results per page: