Wed, 06 Nov 2013 21:40:41 +0100 tuning
blanchet [Wed, 06 Nov 2013 21:40:41 +0100] rev 54282
tuning
Tue, 05 Nov 2013 21:23:42 +0100 int and nat are conditionally_complete_lattices
hoelzl [Tue, 05 Nov 2013 21:23:42 +0100] rev 54281
int and nat are conditionally_complete_lattices
Wed, 06 Nov 2013 14:50:50 +0100 be more open-minded and allow needless mutual recursion for 'prim(co)rec', since we allow it for '(co)datatype' -- eventual warnings (or errors) should be centralized in 'fp_bnf'
blanchet [Wed, 06 Nov 2013 14:50:50 +0100] rev 54280
be more open-minded and allow needless mutual recursion for 'prim(co)rec', since we allow it for '(co)datatype' -- eventual warnings (or errors) should be centralized in 'fp_bnf'
Wed, 06 Nov 2013 13:00:45 +0100 removed dead code
blanchet [Wed, 06 Nov 2013 13:00:45 +0100] rev 54279
removed dead code
Wed, 06 Nov 2013 13:00:16 +0100 update docs
blanchet [Wed, 06 Nov 2013 13:00:16 +0100] rev 54278
update docs
Wed, 06 Nov 2013 12:47:50 +0100 take out possibility of moving corecursive calls past constructors -- this doesn't work in the general case
blanchet [Wed, 06 Nov 2013 12:47:50 +0100] rev 54277
take out possibility of moving corecursive calls past constructors -- this doesn't work in the general case
Wed, 06 Nov 2013 12:01:48 +0100 took out loopy code
blanchet [Wed, 06 Nov 2013 12:01:48 +0100] rev 54276
took out loopy code
Wed, 06 Nov 2013 10:35:30 +0100 take out even less aggressive generalization -- it's still too aggressive
blanchet [Wed, 06 Nov 2013 10:35:30 +0100] rev 54275
take out even less aggressive generalization -- it's still too aggressive
Wed, 06 Nov 2013 01:57:22 +0100 reverted too aggressive 7cb8442298f0
blanchet [Wed, 06 Nov 2013 01:57:22 +0100] rev 54274
reverted too aggressive 7cb8442298f0
Wed, 06 Nov 2013 01:06:01 +0100 generalize more aggressively
blanchet [Wed, 06 Nov 2013 01:06:01 +0100] rev 54273
generalize more aggressively
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip