Activity
From 20 Jun 2018 to 19 Jul 2018
25 Jun 2018
-
11:34 0.50 hour (Bug #1189 (Closed): HilbertBasisKer: unhelpful error with some inputs)
-
09:47 1.00 hour (Bug #1189 (Closed): HilbertBasisKer: unhelpful error with some inputs)
-
11:31 0.50 hour (Bug #1190 (Closed): HilbertBasisKer: SEGV (again))
-
08:59 2.50 hours (Bug #1190 (Closed): HilbertBasisKer: SEGV (again))
Also available in: Atom