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

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.starexec.org%2Fvmimage%2F&amp;data=04%7C01%7Cakihisa.yamada%40aist.go.jp%7C74808c10747f4ec54d8c08d93190797c%7C18a7fec8652f409b8369272d9ce80620%7C0%7C0%7C637595319912794551%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&amp;sdata=HKKTftRJei7LFl8yE8FFg%2FP5UYdISFAJnXfP5edrr5Q%3D&amp;reserved=0 )
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.htwk-leipzig.de%2Fwaldmann%2Fpure-matchbox%2F-%2Fissues%2F231&amp;data=04%7C01%7Cakihisa.yamada%40aist.go.jp%7C74808c10747f4ec54d8c08d93190797c%7C18a7fec8652f409b8369272d9ce80620%7C0%7C0%7C637595319912794551%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&amp;sdata=FdBEATqOTuaqT%2F07eLCLjPpXq6XuB5fNQLWb0zwWM9M%3D&amp;reserved=0

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