| Thu, 18 Jul 2013 21:06:21 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 Jul 2013 20:53:22 +0200 | wenzelm | explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it; | changeset | files |
| Thu, 18 Jul 2013 13:12:54 +0200 | wenzelm | immutable theory values with full stamp record of every update (increase of stamp size for HOL: 20000 -> 100000, JinjaThreads: 65000 -> 300000) -- minimal measurable impact on inference kernel performance; | changeset | files |