Tobias Werth

Results 266 comments of Tobias Werth

Regularly check the required judging environment (e.g. cgroups, kernel command line etc) in judgedaemon

:+1: good idea

Consider hiding sample download for interactive problems

@jsannemo said that there will be a problem spec change.

Consider hiding sample download for interactive problems

see https://github.com/Kattis/problem-package-format/pull/22

clarification categories vs queues while importing system.yaml

I agree with Thijs and we should remove the old categories in favor of the new queues to simplify code and handling in the web interface.

clarification categories vs queues while importing system.yaml

Thijs, can you please update this with the current state?

Restructure test sources

I guess we should work with the Kattis folks on a format that problemtools could export, perhaps this is something to discuss for one of the next standards meetings. Note...

Find a way to import compile commands or compilation flags

I agree that this would be a nice feature, it would also allow us to display these in the team interface. Is there a spec for `languages.yaml` that we can...

Find a way to import compile commands or compilation flags

Can you please link to the (new?) section in the spec?

Find a way to import compile commands or compilation flags

(link moved to https://ccs-specs.icpc.io/draft/contest_api#languages)

Find a way to import compile commands or compilation flags

This will be a lot easier when https://github.com/DOMjudge/domjudge/issues/1238 is implemented.