[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] 3ab611: add desired transformation from Colin Percival
Branch: refs/heads/master
Home: https://github.com/csmith-project/creduce
Commit: 3ab6112476ce88389559b9d1e40e117e00e22dbe
https://github.com/csmith-project/creduce/commit/3ab6112476ce88389559b9d1e40e117e00e22dbe
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-04-03 (Sun, 03 Apr 2016)
Changed paths:
M TODO
Log Message:
-----------
add desired transformation from Colin Percival