Fri, 16 Apr 2010 15:49:13 +0200 | blanchet | added original constant names to Sledgehammer internal terms + output short names if "debug" is set (for increased readability) | file | diff | annotate |
Fri, 16 Apr 2010 14:48:34 +0200 | blanchet | store nonmangled names along with mangled type names in Sledgehammer for debugging purposes | file | diff | annotate |
Wed, 14 Apr 2010 18:23:51 +0200 | blanchet | make Sledgehammer "minimize" output less confusing + round up (not down) time limits to nearest second | file | diff | annotate |
Mon, 29 Mar 2010 15:50:18 +0200 | blanchet | get rid of Polyhash, since it's no longer used | file | diff | annotate |
Tue, 23 Mar 2010 11:39:21 +0100 | blanchet | added options to Sledgehammer; | file | diff | annotate |