- Transformers

meta-c++-grammar 0.135: Toward the release !
by valentin＠lrde.epita.fr 30 Sep '03

30 Sep '03

2003-08-30 Valentin David <valentin(a)lrde.epita.fr> * README: Update required package version numbers. * configure.ac: Delete a trailing directory. * test/disambiguate/Makefile.am * test/g++/template/Makefile.am * test/g++/template/test.test * test/g++/parse/test.test * test/g++/overload/Makefile.am * test/g++/overload/test.test * test/g++/other/Makefile.am * test/g++/other/test.test * test/g++/opt/Makefile.am * test/g++/opt/test.test * test/g++/lookup/test.test * test/g++/init/Makefile.am * test/g++/init/test.test * test/g++/inherit/Makefile.am * test/g++/inherit/test.test * test/g++/eh/Makefile.am * test/g++/eh/test.test * test/g++/debug/Makefile.am * test/g++/debug/test.test * test/g++/abi/Makefile.am * test/g++/abi/test.test: Update XFAIL tests. * src/pp/unbox.str, * src/pp/pp-cxx.str, * src/pp/pp-dxx.str, * lib/prelude/Strings.str, * lib/prelude/Options.str, * lib/prelude/Identifier.str, * lib/prelude/Conditionals.str, * lib/prelude/Booleans.str, * src/disamb/disambiguate/TemplateArguments.str, * src/disamb/disambiguate/VariableDefinitionCandidate.str, * src/disamb/disambiguate/VariableDefinition.str, * src/disamb/disambiguate/VariableDeclaratorCandidate.str, * src/disamb/disambiguate/VariableDeclarator.str, * src/disamb/disambiguate/TypeDefinitionCandidate.str, * src/disamb/disambiguate/TypeDefinition.str, * src/disamb/disambiguate/TypeDeclaratorCandidate.str, * src/disamb/disambiguate/TypeDeclarator.str, * src/disamb/disambiguate/TypeAmbiguityCut.str, * src/disamb/disambiguate/TypeAmbiguityCandidate.str, * src/disamb/disambiguate/TypeAmbiguity.str, * src/disamb/disambiguate/TemplateTraverseCandidate.str, * src/disamb/disambiguate/TemplateTraverse.str, * src/disamb/disambiguate/TemplateDefinitionCandidate.str, * src/disamb/disambiguate/TemplateDefinition.str, * src/disamb/disambiguate/TemplateClassTraverse.str, * src/disamb/disambiguate/TemplateClassDefinitionCandidate.str, * src/disamb/disambiguate/TemplateClassDefinition.str, * src/disamb/disambiguate/SimpleTypeSpecifierCandidate.str, * src/disamb/disambiguate/SimpleTypeSpecifier.str, * src/disamb/disambiguate/ResolveCompound.str, * src/disamb/disambiguate/Resolve.str, * src/disamb/disambiguate/PrimaryExpressionCandidate.str, * src/disamb/disambiguate/PrimaryExpression.str, * src/disamb/disambiguate/Parameter.str, * src/disamb/disambiguate/NestedNameSpecifier.str, * src/disamb/disambiguate/NamespaceTraverse.str, * src/disamb/disambiguate/NamespaceDefinitionCandidate.str, * src/disamb/disambiguate/NamespaceDefinition.str, * src/disamb/disambiguate/afcxx-disambiguate.str, * src/disamb/disambiguate/Lookup.str, * src/disamb/disambiguate/LocalOrGlobal.str, * src/disamb/disambiguate/Kinds.str, * src/disamb/disambiguate/Keys.str, * src/disamb/disambiguate/IfDebug.str, * src/disamb/disambiguate/Definition.str, * src/disamb/disambiguate/CompoundStatementCandidate.str, * src/disamb/disambiguate/CompoundStatement.str, * src/disamb/disambiguate/ClassTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceTraverse.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCut.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguityCandidate.str, * src/disamb/disambiguate/ClassOrNamespaceAmbiguity.str, * src/disamb/disambiguate/ClassDefinitionCandidate.str, * src/disamb/disambiguate/ClassDefinition.str, * src/disamb/disambiguate/CheckTypeName.str, * src/disamb/disambiguate/CheckNamespaceName.str, * src/disamb/disambiguate/CheckEnumName.str, * src/disamb/disambiguate/CheckClassName.str, * src/disamb/disambiguate/BaseTraverseCandidate.str, * src/disamb/disambiguate/BaseTraverse.str, * src/disamb/disambiguate/AmbiguityCandidate.str, * src/disamb/disambiguate/Ambiguity.str, * src/disamb/specifier/Stop.str, * src/disamb/specifier/Specifier.str, * src/disamb/specifier/afcxx-specifier.str, * src/disamb/specifier/Increment.str, * src/disamb/specifier/Count.str, * src/disamb/declarator/ValidDeclarator.str, * src/disamb/declarator/ParameterDeclaratorCandidate.str, * src/disamb/declarator/ParameterDeclarator.str, * src/disamb/declarator/MemberDeclaratorCandidate.str, * src/disamb/declarator/MemberDeclarator.str, * src/disamb/declarator/afcxx-declarator.str, * src/disamb/declarator/InitializerDeclaratorCandidate.str, * src/disamb/declarator/InitializerDeclarator.str, * src/disamb/declarator/IfDebug.str, * src/disamb/declarator/FunctionDeclarator.str, * src/disamb/declarator/Declarator.str, * src/disamb/resolve/afcxx-resolve.str, * src/disamb/declaration/afcxx-declaration.str, * src/disamb/declaration/IfDebug.str, * src/disamb/declaration/DeclarationSelect.str, * src/disamb/declaration/DeclarationCut.str, * src/disamb/declaration/DeclarationCandidate.str, * src/disamb/declaration/Declaration.str, * src/disamb/declaration/Ambiguity.str, * src/disamb/namespace/NamespaceNameKinds.str, * src/disamb/namespace/NamespaceDefinitionSelect.str, * src/disamb/namespace/NamespaceDefinitionCut.str, * src/disamb/namespace/NamespaceDefinitionCandidate.str, * src/disamb/namespace/NamespaceDefinition.str, * src/disamb/namespace/NamespaceAliasDefinitionCandidate.str, * src/disamb/namespace/NamespaceAliasDefinition.str, * src/disamb/namespace/afcxx-namespace.str, * src/parser/parse-cxx.str, * src/parser/parse-dxx.str, * src/disamb/bitfield/afcxx-bitfield.str, * src/parser/ambtrack.str, * src/strcxxgen/strcxxgen.str, * src/disamb/disambiguate/EnumDefinitionCandidate.str, * src/disamb/disambiguate/EnumDefinition.str: Add licence headers. -- Valentin DAVID valentin(a)lrde.epita.fr

1 0

meta-sdf-options 0.22: configure.ac & README
by Akim Demaille 30 Sep '03

30 Sep '03

Index: ChangeLog from Akim Demaille <akim(a)epita.fr> * configure.ac: Ask for Autoconf 2.56 and Automake 1.7.7. Check that XT is defined. * README: s/can not/cannot/. Index: README --- README Sat, 21 Jun 2003 19:44:55 +0200 vasseu_c (meta-sdf-option/48_README 1.3 644) +++ README Tue, 30 Sep 2003 17:38:21 +0200 akim (meta-sdf-option/48_README 1.3 644) @@ -55,6 +55,6 @@ Installation ------------ -$ ./configure --with-xt=<PATH> +$ ./configure --with-xt=<PATH> # e.g., --with-xt=/usr on Debian GNU/Linux $ make $ make install Index: configure.ac --- configure.ac Fri, 13 Jun 2003 06:08:04 +0200 vasseu_c (meta-sdf-option/9_configure. 1.6 640) +++ configure.ac Tue, 30 Sep 2003 17:37:28 +0200 akim (meta-sdf-option/9_configure. 1.6 640) @@ -1,15 +1,19 @@ -# Autoconf 2.53 needed so that buggy PATH_SEPARATOR is fixed. -AC_PREREQ(2.53) +AC_PREREQ(2.56) -AC_INIT(sdf-option, 0.1) +AC_INIT([sdf-option], 0.1) # Auxiliary files -AC_CONFIG_AUX_DIR(config) -AC_CONFIG_FILES(config/Makefile) +AC_CONFIG_AUX_DIR([config]) +AC_CONFIG_FILES([config/Makefile]) -AM_INIT_AUTOMAKE([foreign 1.6 dist-bzip2]) +AM_INIT_AUTOMAKE([foreign 1.7.7 dist-bzip2]) +# There are some tools we really want. USE_XT_PACKAGES +if test "$XT" = NONE; then + AC_MSG_ERROR([XT is undefined. Did you specify --with-xt=PATH?]) +fi + AC_PROG_CC AC_PROG_INSTALL

1 0

Proto-article
by valentin＠lrde.epita.fr 17 Sep '03

17 Sep '03

J'ai mis quelques idées dans le proto-article (publi-03-transformers). C'est encore fouilli et il y a encore plein d'idées à rajouter. J'ai essayé de mettre de l'ordre dans ces idées mais je ne pense pas encore que ca soit le bon ordre. Autrement Eelco m'a répondu sur la mailing list stratego-dev : > > If you can tell me what you think of it... > > I think this is very useful. Could you apply these changes to the > subversion repository directly? -- Valentin DAVID valentin(a)lrde.epita.fr

2 1

[Eelco Visser] parsing C++
by Akim Demaille 06 Sep '03

06 Sep '03

2 1

Re: réunion
by valentin＠lrde.epita.fr 01 Sep '03

01 Sep '03

Akim Demaille <akim(a)epita.fr> writes: > > Quand est-ce qu'on se la fait ? > > mardi. Avant, je ne peux pas :( Et vous, c'est possible ? Ya les partiels, a partir de 18h00 c'est possible. -- Valentin DAVID valentin(a)lrde.epita.fr

1 0

Re: C++ SDF work
by Akim Demaille 29 Aug '03

29 Aug '03

> Hi Clement, > Thanks for your quick reply. We do need this as soon as possible, > otherwise we will have to get on and build it ourselves - which I > think is a waste of time since you have already done so. Pending > an official release, is there any possibility of getting a private > release sooner? Of course I could sign a non-disclosure agreement > if that would help. Hi! Our work is under GPL, so there is no such problem (unless you plan to release closed source software based on our grammar, in which case we need to talk). We would be most happy to participate to your effort, but you ought to know that: 1. developing this grammar is a major investment. I don't think you underestimate it, but I wish to emphasize this even further. It took us 2 years, and yet it is not finished (but few people and little time, agreed). 2. we used Stratego to disambiguate the parse trees (which _have_ to be ambiguous in the case of C++), not ASF. ASF people said we could migrate, but that's not our current wish. 3. There is still some effort to spend to finish the disambiguation, but this effort will be discontinued because of main developers are students, and they have to leave for an internship from October to at least December (both included) 4. The mere size of the grammar, and the modularity issues that it imposes, led us to improve the tools themselves (extensions to SDF, modifications to Stratego, etc.). This sole task does require a real investment, with a steep learning curve... 5. have you read the Transformers report?[1] All these issues lead me to ask you whether you would have some proposal for internships. This would certainly be a major speedup for your project, since both Clément and Valentin are fluent in SDF, Stratego, _and_ C++ and its grammar. Plus, if they don't get an internship that would keep them onto Transformers, the project will be frozen for the next four months; that would even hinder our technology transfer. Of course, we too are very much interested in finding internships that would help the Transformers project... I hope I am not hitting on you too much, but actually this internship issue is becoming urgent, and your message enables hope... Regards, Akim Demaille [1] See the (beta) web page http://www.lrde.epita.fr/cgi-bin/twiki/view/Projects/Transformers which should very soon include this report...

1 0

Test 3
by Akim Demaille 29 Aug '03

29 Aug '03

1 0

Re: [Transformers] Test 2
by valentin＠lrde.epita.fr 29 Aug '03

29 Aug '03

Tiens, une mailing list ! -- Valentin DAVID valentin(a)lrde.epita.fr

1 0

Test 2
by Akim Demaille 29 Aug '03

29 Aug '03

1 0

Test
by Akim Demaille 29 Aug '03

29 Aug '03

1 0