[Termtools] testing starexec for termination
waldmann at imn.htwk-leipzig.de
Fri Feb 21 19:18:12 CET 2014
-----BEGIN PGP SIGNED MESSAGE-----
some extra Starexec info just arrived from Aaron.
> You can let anyone register for your community by having them visit
> the following site and selecting Termination for the community:
> https://www.starexec.org/starexec/public/registration.jsp You (as
> the community leader for Termination) will then get an email asking
> you to approve his request to join.
I will approve all previous termcomp participants,
and forward new entrants to the Termcomp SC.
> The specs are here, linked from the "about" page:
> https://www.starexec.org/starexec/public/machine-specs.txt We don't
> have a package list on there right now, but it would be a good idea
> to add one.
(I was asking for the package list to make it easier to
build VMs that match the platform.)
- - Johannes.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
-----END PGP SIGNATURE-----
More information about the Termtools