Difference between revisions of "Termination Competition 2016 Registration"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with "For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in. [http://nfa.imn.htwk-le...") |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | For registering your solver, I need the starexec ids of space, solver, and configuration, | + | For registering your solver, I (J.W.) need the starexec ids of space, solver, and configuration, |
for each competition category that you want to take part in. | for each competition category that you want to take part in. | ||
| − | [http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2016 status | + | For registration and updates, use the templates linked at the top of the [http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2016 status page] (or [http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015 last year's]). |
| − | + | This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2016.hs#L90 code]. | |
| + | |||
| + | I need read access to the space that contains your solver. (Make that space public, or make me a member of the space.) | ||
Revision as of 11:32, 30 July 2016
For registering your solver, I (J.W.) need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in.
For registration and updates, use the templates linked at the top of the status page (or last year's).
This helps me cut/pasting your data into the actual code.
I need read access to the space that contains your solver. (Make that space public, or make me a member of the space.)
