Bug in DPOR implementation

I believe there is a bug in the dynamic partial-order reduction (DPOR) implementation that can lead to backtracking points being missed. https://chesstool.codeplex.com/SourceControl/latest#Chess/...

Id #11119 | Release: None | Updated: Oct 3, 2016 at 10:05 AM by paulthomson | Created: Oct 3, 2016 at 10:05 AM by paulthomson

Wrong TimeSpan usage

In a lot of places, you di timeSpan.Milliseconds where timeSpan.TotalMilliseconds should be used. For e.g. TimeSpan.FormMinutes(1), Milliseconds is 0, but TotalMilliseconds is 60000. Please see the...

Id #8715 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by etobi | Created: Sep 22, 2011 at 11:31 AM by etobi

Lazy<T> and Volatile causes Execution Timeout Error

Hi there!   I encountered another problem using Alpaca. I get an Execution Timeout Error with the hint to an "This is a strong indication of a livelock". But to be honest, I've no idea where this m...

Id #8615 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: Aug 16, 2011 at 11:14 AM by MatthiasFG

Lazy<T> and nested lock causes Execution Timeout Error

Hi there!   I encountered another problem using Alpaca. I get an Execution Timeout Error with the hint to an "This is a strong indication of a livelock". But to be honest, I've not idea where this ...

Id #8614 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: Aug 16, 2011 at 8:17 AM by MatthiasFG

Alpaca crashes on static lock object

Hi!   I made a very simple sample (see attached file) which will crash an Alpca Schedule Test Run. What is "special" about the sample is, that it uses a static class which in turn has a lock on a s...

Id #8320 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: Jun 2, 2011 at 9:23 AM by MatthiasFG

Create Ribbon Bar to replace right-click menus

This feature has been discussed by Tom and Joe to improve usability. The new menu bar ribbon will be modeled to look similar to Office 2010's ribbon bar system.

Id #8237 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: May 11, 2011 at 1:08 PM by mormayo

Alpaca Test reports Data Race when using Lambdas

Hi!   running the given sample from below I get a Data Race reported for the "LambdaCausesDataRace" test and no Data Race for the "ForeachLoopCausesNoDataRace" test. Why?   using System.Collections...

Id #8081 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: Apr 1, 2011 at 6:44 AM by MatthiasFG

Alpaca Test reports Data Race but don't know why

I wrote some Alpaca Tests and really like the tool and it helped me a lot in finding bad code. But with the following lines of code I get a Data Race error but don't know why. Can you please be so ...

Id #8077 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by MatthiasFG | Created: Mar 31, 2011 at 6:59 AM by MatthiasFG

Chess Nondeterminism test result handling

When chess detects nondeterminism it produces an "Repro" action element that also specifies a carg element to turn nondeterminism off (see NondeterminismHandler.cpp - NondeterminismHandler::Recover...

Id #7902 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by mormayo | Created: Feb 14, 2011 at 8:10 PM by mormayo

TaskoMeter UI: Make the thread id visible in the graph

This will help to understand what threads tasks are assigned to.

Id #7887 | Release: None | Updated: Feb 14, 2013 at 7:24 PM by tball | Created: Feb 8, 2011 at 9:06 PM by mormayo