Commit Graph

2 Commits (2166968c412d6f4dbbbcedefd1510d13b2667308)

Author SHA1 Message Date
Laurent Bossavit 2166968c41 Mettre en évidence le bug du double unfold 2017-10-18 15:59:40 +02:00
Laurent Bossavit 6ba339cef1 Introduit des tests pour reduceSteps 2017-10-18 15:59:40 +02:00