Thu, 18 Jun 2015 17:57:11 -0700 Pierre-Yves David merge with stable
Thu, 18 Jun 2015 17:56:02 -0700 Pierre-Yves David evolve: update readme regarding the preview perf improvement stable
Thu, 18 Jun 2015 16:15:28 -0700 Pierre-Yves David evolve: move 'allsuccessors()' to smarted usage stable
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip