Thu, 15 May 2014 16:38:30 +0200 optimization for trivial cases
haftmann [Thu, 15 May 2014 16:38:30 +0200] rev 56971
optimization for trivial cases
Thu, 15 May 2014 16:38:29 +0200 modernized setup
haftmann [Thu, 15 May 2014 16:38:29 +0200] rev 56970
modernized setup
Thu, 15 May 2014 16:38:29 +0200 dropped obsolete hand-waving adjustion of type variables: safely done in preprocessor
haftmann [Thu, 15 May 2014 16:38:29 +0200] rev 56969
dropped obsolete hand-waving adjustion of type variables: safely done in preprocessor
Thu, 15 May 2014 16:38:28 +0200 unified approach toward conversions and simple term rewriting in preprocessor by means of sandwiches
haftmann [Thu, 15 May 2014 16:38:28 +0200] rev 56968
unified approach toward conversions and simple term rewriting in preprocessor by means of sandwiches
Thu, 15 May 2014 16:38:17 +0200 normalize type variables of evaluation term by conversion
haftmann [Thu, 15 May 2014 16:38:17 +0200] rev 56967
normalize type variables of evaluation term by conversion
Thu, 15 May 2014 20:48:14 +0200 more aggressive nested size handling in the absence of 'size_o_map' theorems (+ unrelated pattern matching fix)
blanchet [Thu, 15 May 2014 20:48:14 +0200] rev 56966
more aggressive nested size handling in the absence of 'size_o_map' theorems (+ unrelated pattern matching fix)
Thu, 15 May 2014 20:48:13 +0200 new approach to silence proof methods, to avoid weird theory/context mismatches
blanchet [Thu, 15 May 2014 20:48:13 +0200] rev 56965
new approach to silence proof methods, to avoid weird theory/context mismatches
Thu, 15 May 2014 18:18:50 +0200 type
haftmann [Thu, 15 May 2014 18:18:50 +0200] rev 56964
type
Wed, 14 May 2014 13:36:35 +0200 merged
wenzelm [Wed, 14 May 2014 13:36:35 +0200] rev 56963
merged
Wed, 14 May 2014 13:10:57 +0200 restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
wenzelm [Wed, 14 May 2014 13:10:57 +0200] rev 56962
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip