Dear all,

which CeTa version shall we use to test our tools within the certified categories?

Best,

Marcel

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://www.starexec.org/vmimage/ )
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://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/231

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