log

age author description
Sun, 11 May 2014 22:00:06 +0200 Doug Simon fixed assertion position and documented critical class initialization dependency
Sun, 11 May 2014 13:43:58 +0200 Doug Simon fixed initialization issue caused by 063ec2920d21
Sun, 11 May 2014 13:43:19 +0200 Doug Simon fixed livelock issue introduced by 063ec2920d21
Sat, 10 May 2014 15:37:51 +0200 Miguel Garcia [single-pass-iter] additional documentation and assertions
Fri, 09 May 2014 20:22:05 +0200 Miguel Garcia Merge
Fri, 09 May 2014 20:05:41 +0200 Miguel Garcia [single-pass-iter] offloading tracking successor-pre-states to nodeQueue
Fri, 09 May 2014 17:33:14 +0200 Miguel Garcia [single-pass-iter] early pruning of state map, visit a whole method