Mon, 25 Mar 2013 19:53:44 +0100 Fix issue related to mixins in roundup.
ballarin [Mon, 25 Mar 2013 19:53:44 +0100] rev 51515
Fix issue related to mixins in roundup. Previously, mixins were only applied one level down the DFS tree while they should also be applied at the level of declaration. Makes the algorithm consistent with the version presented in the upcoming JAR paper.
Mon, 25 Mar 2013 15:18:44 +0100 simp_const -> afold; bfold -> fold'; bsimp_const -> bfold
kleing [Mon, 25 Mar 2013 15:18:44 +0100] rev 51514
simp_const -> afold; bfold -> fold'; bsimp_const -> bfold
Mon, 25 Mar 2013 15:09:41 +0100 added lemmas
nipkow [Mon, 25 Mar 2013 15:09:41 +0100] rev 51513
added lemmas
Mon, 25 Mar 2013 14:07:59 +0100 merged
wenzelm [Mon, 25 Mar 2013 14:07:59 +0100] rev 51512
merged
Mon, 25 Mar 2013 14:04:01 +0100 clarified text_fold vs. fbrk;
wenzelm [Mon, 25 Mar 2013 14:04:01 +0100] rev 51511
clarified text_fold vs. fbrk;
Mon, 25 Mar 2013 13:37:44 +0100 tuned print_classes: more standard order, markup, formatting;
wenzelm [Mon, 25 Mar 2013 13:37:44 +0100] rev 51510
tuned print_classes: more standard order, markup, formatting; uniform printing of minimal supersort/classrel;
Mon, 25 Mar 2013 11:05:07 +0100 tuned message;
wenzelm [Mon, 25 Mar 2013 11:05:07 +0100] rev 51509
tuned message;
Mon, 25 Mar 2013 10:45:47 +0100 actually exit on scalac failure;
wenzelm [Mon, 25 Mar 2013 10:45:47 +0100] rev 51508
actually exit on scalac failure;
Mon, 25 Mar 2013 10:37:38 +0100 tuned signature;
wenzelm [Mon, 25 Mar 2013 10:37:38 +0100] rev 51507
tuned signature;
Mon, 25 Mar 2013 13:50:50 +0100 removed obsolete uses of ext
kleing [Mon, 25 Mar 2013 13:50:50 +0100] rev 51506
removed obsolete uses of ext
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip