Timeline
Not logged in

Parents and children of check-in [1110e2f932]

2012-07-16
13:28
[e784787a7c] Renamed solvers. (user: kinaba, tags: trunk)

13:17
[1110e2f932] Migrated to no-clone deathmove (user: kinaba, tags: trunk)

12:53
[971863e35a] No-cloning death-move(). With several fixes to the simulator. (user: kinaba, tags: trunk)