Activity
From 06/02/2011 to 07/01/2011
06/03/2011
- 06:49 PM Feature #274 (Closed): Add default SMT-setting argument to configure script.
- 05:58 PM Feature #274 (Closed): Add default SMT-setting argument to configure script.
- 06:48 PM Feature #273 (Closed): Add default memory-limit argument to configure script.
- 05:43 PM Feature #273 (Closed): Add default memory-limit argument to configure script.
- 06:20 PM Feature #276 (Assigned): Option argument --wall-time-limit should parse string
- The time string should conform to the queuing system requirements.
- 06:10 PM Feature #275 (Closed): Add default wall time limit argument to configure script.
- 05:42 PM Feature #272 (Closed): Add default class argument to configure script.
- 05:31 PM Bug #271 (Closed): Catch SIGINT and cancel job
- 04:12 PM Bug #271 (Closed): Catch SIGINT and cancel job
- The job is currently not cancelled automatically, but this would be desirable on signal exit.
Also available in: Atom