Dear Marcel, sorry, I don't seem to have the permission. Best, Akihisa On 2021/06/23 17:21, Marcel Hark wrote:
Dear Akihisa,
I tried to run ceta-2.40 as a postprocessor. While the previous postprocessors always showed a column "certification-result", this is not shown when running the postprocessor ceta-2.40. You can find the job info at [1].
I hope I gave you the correct space-permissions to open the job. Please let me know if you cannot open it.
Thank you for your help.
Best,
Marcel
[1] https://www.starexec.org/starexec/secure/details/job.jsp?id=47474
Am 23.06.21 um 05:50 schrieb YAMADA, Akihisa:
Dear certified category participants,
post-processor "ceta-2.40" is ready for testing!
Best, Akihisa
On 2021/06/18 9:44, YAMADA, Akihisa wrote:
Hi René,
thank you! I'll upload a post-processor next week.
Best, Akihisa
On 2021/06/17 22:04, Thiemann, René wrote:
Hi Akihisa and Marcel,
I just released a new version of CeTA (2.40) this morning.
With best regards, René
Am 10.06.2021 um 13:27 schrieb YAMADA, Akihisa <akihisa.yamada@aist.go.jp>:
Dear Marcel,
thanks for the question, the newest CeTA so far can be tested via postprocessor ceta-postproc-2.39.0.
Dear team CeTA: Do you plan a new release in June? In that case, please notify me when it is ready. Otherwise I will reuse the one from the last year.
Best regards, Akihisa
On 2021/06/10 19:41, Marcel Hark wrote:
Dear all, which CeTa version shall we use to test our tools within the certified categories? Best, Marcel Am 10.06.21 um 06:25 schrieb YAMADA, Akihisa: > Dear all, > > it seems StarExec will be running three competitions soon. So it > might be not much resource for your testing until some day in the > next week. > > Best, > Akihisa > > On 2021/05/31 18:04, Johannes Waldmann wrote: >> Dear all, >> >>> * Please post questions on this list. >> >> not a question, just an observation: >> >> it seems that the starexec VM >> ( RHEL 7, >> https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.starex... >> ) >> is still current - I did not detect changes from last year >> >> (I compiled a program inside that VM, >> submitted the binary to starexec, works.) >> >> I wrote some notes (last year) specifically >> on Haskell compilation (ghc-8.10 does not seem to work) >> https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.imn... >> >> >> Best regards, Johannes. >> _______________________________________________ >> Termtools mailing list -- termtools@lists.rwth-aachen.de >> To unsubscribe send an email to >> termtools-leave@lists.rwth-aachen.de >> > _______________________________________________ > Termtools mailing list -- termtools@lists.rwth-aachen.de > To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de -- Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208 _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
--
Marcel Hark Research Group Computer Science 2 RWTH Aachen University Ahornstr. 55 52074 Aachen Germany
E-Mail: marcel.hark@cs.rwth-aachen.de" Phone: +49-241/80-21218 Fax: +49-241/80-22217 Room: 4208
_______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de