Mon, 07 Nov 2011 12:08:22 +0100 wenzelm made SML/NJ happy;
Sun, 06 Nov 2011 22:18:54 +0100 blanchet more millisecond cleanup
Sun, 06 Nov 2011 22:18:54 +0100 blanchet updated documentation
Sun, 06 Nov 2011 22:18:54 +0100 blanchet try "smt" as a fallback for ATPs if "metis" fails/times out
Sun, 06 Nov 2011 22:18:54 +0100 blanchet more detailed preplay output
Sun, 06 Nov 2011 22:18:54 +0100 blanchet tuning
Sun, 06 Nov 2011 22:18:54 +0100 blanchet tuning
Sun, 06 Nov 2011 21:51:46 +0100 wenzelm more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute;
Sun, 06 Nov 2011 21:17:45 +0100 wenzelm tuned;
Sun, 06 Nov 2011 18:42:17 +0100 wenzelm merged
Sun, 06 Nov 2011 14:23:04 +0100 blanchet cascading timeouts in minimizer, part 2
Sun, 06 Nov 2011 14:05:57 +0100 blanchet tuning
Sun, 06 Nov 2011 13:57:17 +0100 blanchet use "Time.time" rather than milliseconds internally
Sun, 06 Nov 2011 13:46:26 +0100 blanchet tune: no need for option
Sun, 06 Nov 2011 13:37:49 +0100 blanchet cascading timeouts in minimizer
Sun, 06 Nov 2011 13:32:13 +0100 blanchet shortcut binary minimization algorithm
Sun, 06 Nov 2011 11:51:35 +0100 blanchet speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
Sun, 06 Nov 2011 11:16:37 +0100 blanchet renamed experimental systems
Sun, 06 Nov 2011 11:13:47 +0100 blanchet repaired quantification over type variables for non-TFF1/THF encodings
Sun, 06 Nov 2011 18:42:15 +0100 wenzelm misc tuning and modernization;
Sun, 06 Nov 2011 17:53:32 +0100 wenzelm misc tuning and modernization;
Sun, 06 Nov 2011 17:05:45 +0100 wenzelm tuned;
Sun, 06 Nov 2011 17:00:05 +0100 wenzelm some statespace benchmarks;
Sun, 06 Nov 2011 16:41:53 +0100 wenzelm write changed .prv files only, to avoid writing into src file-space by default;
Sun, 06 Nov 2011 16:29:22 +0100 wenzelm tuned document;
Sun, 06 Nov 2011 16:22:26 +0100 wenzelm more precise dependencies;
Sun, 06 Nov 2011 14:20:41 +0100 wenzelm inlined antiquotations;
Sun, 06 Nov 2011 14:09:24 +0100 wenzelm misc tuning and modernization;
Sun, 06 Nov 2011 13:25:41 +0100 wenzelm optional timing, to avoid redundant allocation of mutable cells;
Sat, 05 Nov 2011 22:41:25 +0100 wenzelm tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip