Wed, 24 Mar 2010 10:55:59 +0100 Experiments with Core Haskell support.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Mar 2010 10:55:59 +0100] rev 1624
Experiments with Core Haskell support.
Wed, 24 Mar 2010 10:49:50 +0100 Export all the cheats needed for Core Haskell.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Mar 2010 10:49:50 +0100] rev 1623
Export all the cheats needed for Core Haskell.
Wed, 24 Mar 2010 09:59:47 +0100 Compute Fv for non-recursive bn functions calling other bn functions
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Mar 2010 09:59:47 +0100] rev 1622
Compute Fv for non-recursive bn functions calling other bn functions
Wed, 24 Mar 2010 08:45:54 +0100 Core Haskell experiments.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Mar 2010 08:45:54 +0100] rev 1621
Core Haskell experiments.
Wed, 24 Mar 2010 07:23:53 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Wed, 24 Mar 2010 07:23:53 +0100] rev 1620
tuned paper
Tue, 23 Mar 2010 17:44:43 +0100 more of the paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 17:44:43 +0100] rev 1619
more of the paper
Tue, 23 Mar 2010 17:22:37 +0100 merged
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 17:22:37 +0100] rev 1618
merged
Tue, 23 Mar 2010 17:22:19 +0100 more tuning in the paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 17:22:19 +0100] rev 1617
more tuning in the paper
Tue, 23 Mar 2010 16:28:46 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 16:28:46 +0100] rev 1616
merge
Tue, 23 Mar 2010 16:28:29 +0100 Parsing bn functions that call other bn functions and transmitting this information to fv/alpha.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 16:28:29 +0100] rev 1615
Parsing bn functions that call other bn functions and transmitting this information to fv/alpha.
Tue, 23 Mar 2010 13:07:11 +0100 merged
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 13:07:11 +0100] rev 1614
merged
Tue, 23 Mar 2010 13:07:02 +0100 more tuning
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 13:07:02 +0100] rev 1613
more tuning
Tue, 23 Mar 2010 13:03:42 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 13:03:42 +0100] rev 1612
tuned paper
Tue, 23 Mar 2010 11:52:55 +0100 more on the paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 11:52:55 +0100] rev 1611
more on the paper
Tue, 23 Mar 2010 11:43:09 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 11:43:09 +0100] rev 1610
merge
Tue, 23 Mar 2010 11:42:06 +0100 Modification to Core Haskell to make it accepted with an empty binding function.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 11:42:06 +0100] rev 1609
Modification to Core Haskell to make it accepted with an empty binding function.
Tue, 23 Mar 2010 10:26:46 +0100 merged
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 10:26:46 +0100] rev 1608
merged
Tue, 23 Mar 2010 10:24:12 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 10:24:12 +0100] rev 1607
tuned paper
Tue, 23 Mar 2010 09:56:29 +0100 Initial list unfoldings in Core Haskell.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:56:29 +0100] rev 1606
Initial list unfoldings in Core Haskell.
Tue, 23 Mar 2010 09:38:03 +0100 compiles
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:38:03 +0100] rev 1605
compiles
Tue, 23 Mar 2010 09:34:32 +0100 More modification needed for compilation
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:34:32 +0100] rev 1604
More modification needed for compilation
Tue, 23 Mar 2010 09:21:43 +0100 Moved let properties from Term5 to ExLetRec.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:21:43 +0100] rev 1603
Moved let properties from Term5 to ExLetRec.
Tue, 23 Mar 2010 09:13:17 +0100 Move Let properties to ExLet
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:13:17 +0100] rev 1602
Move Let properties to ExLet
Tue, 23 Mar 2010 09:06:28 +0100 Added missing file
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:06:28 +0100] rev 1601
Added missing file
Tue, 23 Mar 2010 09:05:23 +0100 More reorganization.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:05:23 +0100] rev 1600
More reorganization.
Tue, 23 Mar 2010 08:51:43 +0100 Move Leroy out of Test, rename accordingly.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:51:43 +0100] rev 1599
Move Leroy out of Test, rename accordingly.
Tue, 23 Mar 2010 08:46:44 +0100 Term1 is identical to Example 3
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:46:44 +0100] rev 1598
Term1 is identical to Example 3
Tue, 23 Mar 2010 08:45:08 +0100 Move example3 out.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:45:08 +0100] rev 1597
Move example3 out.
Tue, 23 Mar 2010 08:42:02 +0100 Move Ex1 and Ex2 out of Test
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:42:02 +0100] rev 1596
Move Ex1 and Ex2 out of Test
Tue, 23 Mar 2010 08:33:48 +0100 Move examples which create more permutations out
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:33:48 +0100] rev 1595
Move examples which create more permutations out
Tue, 23 Mar 2010 08:22:48 +0100 Move LamEx out of Test.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:22:48 +0100] rev 1594
Move LamEx out of Test.
Tue, 23 Mar 2010 08:20:13 +0100 Move lambda examples to manual
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:20:13 +0100] rev 1593
Move lambda examples to manual
Tue, 23 Mar 2010 08:19:33 +0100 Move manual examples to a subdirectory.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:19:33 +0100] rev 1592
Move manual examples to a subdirectory.
Tue, 23 Mar 2010 08:16:39 +0100 Removed compat tests.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:16:39 +0100] rev 1591
Removed compat tests.
Tue, 23 Mar 2010 08:11:39 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:11:39 +0100] rev 1590
merge
Tue, 23 Mar 2010 08:11:11 +0100 Move Non-respectful examples to NotRsp
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:11:11 +0100] rev 1589
Move Non-respectful examples to NotRsp
Tue, 23 Mar 2010 07:43:20 +0100 merged
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 07:43:20 +0100] rev 1588
merged
Tue, 23 Mar 2010 07:39:10 +0100 more on the paper
Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 07:39:10 +0100] rev 1587
more on the paper
Tue, 23 Mar 2010 07:04:27 +0100 Move the comment to appropriate place.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 07:04:27 +0100] rev 1586
Move the comment to appropriate place.
Tue, 23 Mar 2010 07:04:14 +0100 Remove compose_eqvt
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 07:04:14 +0100] rev 1585
Remove compose_eqvt
Mon, 22 Mar 2010 18:56:35 +0100 sym proof with compose.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 18:56:35 +0100] rev 1584
sym proof with compose.
Mon, 22 Mar 2010 18:38:59 +0100 Marked the place where a compose lemma applies.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 18:38:59 +0100] rev 1583
Marked the place where a compose lemma applies.
Mon, 22 Mar 2010 18:29:57 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 18:29:57 +0100] rev 1582
merge
Mon, 22 Mar 2010 18:29:29 +0100 equivp_cheat can be removed for all one-permutation examples.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 18:29:29 +0100] rev 1581
equivp_cheat can be removed for all one-permutation examples.
Mon, 22 Mar 2010 18:20:06 +0100 merged
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 18:20:06 +0100] rev 1580
merged
Mon, 22 Mar 2010 18:19:13 +0100 more on the paper
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 18:19:13 +0100] rev 1579
more on the paper
Mon, 22 Mar 2010 16:22:28 +0100 merged
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 16:22:28 +0100] rev 1578
merged
Mon, 22 Mar 2010 16:22:07 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 16:22:07 +0100] rev 1577
tuned paper
Mon, 22 Mar 2010 17:21:27 +0100 Got rid of alpha_bn_rsp_cheat.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 17:21:27 +0100] rev 1576
Got rid of alpha_bn_rsp_cheat.
Mon, 22 Mar 2010 15:27:01 +0100 alpha_bn_rsp_pre automatized.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 15:27:01 +0100] rev 1575
alpha_bn_rsp_pre automatized.
Mon, 22 Mar 2010 14:07:35 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 14:07:35 +0100] rev 1574
merge
Mon, 22 Mar 2010 14:07:07 +0100 fv_rsp proved automatically.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 14:07:07 +0100] rev 1573
fv_rsp proved automatically.
Mon, 22 Mar 2010 11:55:29 +0100 more on the paper
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 11:55:29 +0100] rev 1572
more on the paper
Mon, 22 Mar 2010 10:21:14 +0100 merged
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 10:21:14 +0100] rev 1571
merged
Mon, 22 Mar 2010 10:20:57 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 10:20:57 +0100] rev 1570
tuned paper
Mon, 22 Mar 2010 09:16:25 +0100 some tuning
Christian Urban <urbanc@in.tum.de> [Mon, 22 Mar 2010 09:16:25 +0100] rev 1569
some tuning
Mon, 22 Mar 2010 10:15:46 +0100 Strong induction for Type Schemes.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 10:15:46 +0100] rev 1568
Strong induction for Type Schemes.
Mon, 22 Mar 2010 09:02:30 +0100 Fixed missing colon.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Mar 2010 09:02:30 +0100] rev 1567
Fixed missing colon.
Sun, 21 Mar 2010 22:27:08 +0100 tuned paper
Christian Urban <urbanc@in.tum.de> [Sun, 21 Mar 2010 22:27:08 +0100] rev 1566
tuned paper
Sat, 20 Mar 2010 18:16:26 +0100 merged
Christian Urban <urbanc@in.tum.de> [Sat, 20 Mar 2010 18:16:26 +0100] rev 1565
merged
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 tip