Alfons Laarman

  • Email:
  • Registered on: 06 Jul 2009
  • Last connection: 13 Dec 2014

Projects

  • LTSmin (Manager, Developer, 15 Jul 2009)
  • SpinS (Manager, Developer, 19 Apr 2012)

Activity

Reported issues: 148

13 Dec 2014

20:50 LTSmin Bug #739: parallel mcrl2 segfaults
confirmed
20:39 LTSmin Bug #723 (Resolved): Move invariant detection into POR layer
20:38 LTSmin Feature #738 (Resolved): Divine2: add read dependency for may write dependency using -W option.
20:37 LTSmin Bug #739 (Rejected): parallel mcrl2 segfaults
This should be fixed with Bug #749
20:00 LTSmin Bug #749 (Resolved): pins2lts-mc reports different state spaces for dfs and sbfs
Fixed in next branch
The load balancer touched memory that was not globally allocated

10 Nov 2014

23:57 LTSmin Bug #749: pins2lts-mc reports different state spaces for dfs and sbfs
The memory allocation in the multi-process environment seems to be buggy, or the interface is used incorrectly. Debu...

14 Oct 2014

21:57 SpinS Revision 844c5f00: Backward comptibility
21:52 SpinS Revision 6d252cc6: Fix destructor

13 Oct 2014

16:58 SpinS Revision 53a45d16: Fix instantiation of exported labels (-E)

11 Oct 2014

16:46 SpinS Revision 90c64e30: Fix compilation warnings

Also available in: Atom