Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 08 Nov 2010 12:13:51 +0100 boehmes return the process return code along with the process outputs changeset | files
Mon, 08 Nov 2010 12:13:44 +0100 boehmes better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures) changeset | files
Mon, 08 Nov 2010 11:49:28 +0100 haftmann merged changeset | files
Mon, 08 Nov 2010 10:56:48 +0100 haftmann corrected slip: must keep constant map, not type map; tuned code changeset | files
Mon, 08 Nov 2010 10:43:24 +0100 haftmann constructors to datatypes in code_reflect can be globbed; dropped unused code changeset | files
Mon, 08 Nov 2010 09:25:43 +0100 bulwahn adding code and theory for smallvalue generators, but do not setup the interpretation yet changeset | files
Mon, 08 Nov 2010 02:33:48 +0100 blanchet make sure the SMT solver runs several iterations by lowering the timeout at each iteration -- yields better results in practice changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle