Spent time

Date range

From to

Apply Clear

Total: 68.50 hours

Toggle_check Date Member Activity Project Issue Comment Hours
05 Aug 2012 Alfons Laarman Development LTSmin Bug #637: Sylvan does not compile on 32bit systems --without-sylvan gives wrong report 12.00
05 Aug 2010 Anonymous Development LTSmin Bug #406: etf-reach -c segfaults with ETF output 6.00
04 Aug 2010 Anonymous Development LTSmin Bug #198: pins-cache.c segfaults for models with zero labels 1.00
11 Feb 2010 Anonymous Development Ta2TorX Bug #285: Comitted and urgent UPPAAL locations are lost i... Commited and urgent locations are now recognised by ta2torx 10.00
11 Sep 2009 Anonymous Development LTSmin Bug #176: backtrace 0.50
21 Aug 2009 Anonymous Development LTSmin Feature #159: Factor out TorX RPC support into separate tool 3.00
21 Aug 2009 Anonymous Development LTSmin Feature #158: Provide DFS search strategy for spec2lts-reach 24.00
13 Mar 2009 Anonymous Development LTSmin Feature #45: memtime for MacOS 12.00

(1-8/8)

Also available in: Atom CSV