- Projects

[nolimips] 205: print is still a python keyword
by Noe 27 Dec '05

27 Dec '05

divide ut regnes, mais pas toujours. Aheum. Bon le truc bien c'est que j'ai fait 42 insertions. https://svn.lrde.epita.fr/svn/nolimips ChangeLog | 18 ++++++++++++++++++ src/inst/data_section.cc | 2 +- src/inst/data_section.hh | 2 +- src/inst/exp.cc | 2 +- src/inst/exp.hh | 4 ++-- src/inst/label_exp.cc | 2 +- src/inst/label_exp.hh | 2 +- src/inst/op_exp.cc | 2 +- src/inst/op_exp.hh | 2 +- src/inst/program.hh | 4 ++-- src/inst/register.hh | 4 ++-- src/inst/section.hh | 4 ++-- src/inst/text_section.cc | 2 +- src/inst/text_section.hh | 2 +- src/misc/table.hh | 4 ++-- src/vm/cpu.cc | 2 +- src/vm/cpu.hh | 4 ++-- src/vm/virtual_machine.hh | 4 ++-- 18 files changed, 42 insertions(+), 24 deletions(-) Index: trunk/ChangeLog from Benoît Perrot <benoit(a)lrde.epita.fr> print is still a python keyword * src/misc/table.hh, * src/inst/register.hh, * src/inst/exp.hh, src/inst/exp.cc, * src/inst/op_exp.hh, src/inst/op_exp.cc, * src/inst/label_exp.hh, src/inst/label_exp.cc, * src/inst/section.hh, * src/inst/data_section.hh, src/inst/data_section.cc, * src/inst/text_section.hh, src/inst/text_section.cc, * src/inst/program.hh, * src/vm/cpu.hh, src/vm/cpu.cc, * src/vm/virtual_machine.hh: (print) Rename as... (write). 2005-12-27 Benoît Perrot <benoit(a)lrde.epita.fr> Index: trunk/src/vm/cpu.hh --- trunk/src/vm/cpu.hh (revision 204) +++ trunk/src/vm/cpu.hh (working copy) @@ -82,7 +82,7 @@ void reset(); /// Print registers' content - void print(std::ostream &os) const; + void write(std::ostream &os) const; /** \name General purpose registers accessors. \{ */ @@ -361,7 +361,7 @@ inline std::ostream & operator<<(std::ostream &ostr, const Cpu &cpu) { - cpu.print(ostr); + cpu.write(ostr); return ostr; } Index: trunk/src/vm/virtual_machine.hh --- trunk/src/vm/virtual_machine.hh (revision 204) +++ trunk/src/vm/virtual_machine.hh (working copy) @@ -73,7 +73,7 @@ void reset(); /// Print the vm - void print(std::ostream& ostr) const + void write(std::ostream& ostr) const { // FIXME: print the whole cpu, and cp0. ostr << cpu_; @@ -162,7 +162,7 @@ inline std::ostream& operator<<(std::ostream &os, const VirtualMachine &vm) { - vm.print(os); + vm.write(os); return os; } Index: trunk/src/vm/cpu.cc --- trunk/src/vm/cpu.cc (revision 204) +++ trunk/src/vm/cpu.cc (working copy) @@ -77,7 +77,7 @@ // Print operators // -------------------------------------------------------------------------- void - Cpu::print(std::ostream &os) const + Cpu::write(std::ostream &os) const { std::ios_base::fmtflags flags = os.flags (std::ios_base::hex); Index: trunk/src/misc/table.hh --- trunk/src/misc/table.hh (revision 204) +++ trunk/src/misc/table.hh (working copy) @@ -74,7 +74,7 @@ public: - void print (std::ostream& ostr) const + void write(std::ostream& ostr) const { bool first = true; @@ -98,7 +98,7 @@ template<class K, class E> inline std::ostream& operator<< (std::ostream& ostr, const Table<K, E>& t) { - t.print (ostr); + t.write(ostr); return ostr; } Index: trunk/src/inst/label_exp.cc --- trunk/src/inst/label_exp.cc (revision 204) +++ trunk/src/inst/label_exp.cc (working copy) @@ -39,7 +39,7 @@ } void - LabelExp::print(std::ostream& ostr) const + LabelExp::write(std::ostream& ostr) const { ostr << *name_; } Index: trunk/src/inst/exp.cc --- trunk/src/inst/exp.cc (revision 204) +++ trunk/src/inst/exp.cc (working copy) @@ -26,7 +26,7 @@ } void - Exp::print(std::ostream& ostr) const + Exp::write(std::ostream& ostr) const { ostr << immediate_; } Index: trunk/src/inst/data_section.cc --- trunk/src/inst/data_section.cc (revision 204) +++ trunk/src/inst/data_section.cc (working copy) @@ -44,7 +44,7 @@ // -------------------------------------------------------------------------- void - DataSection::print(std::ostream& ostr) const + DataSection::write(std::ostream& ostr) const { if (0 < size()) { Index: trunk/src/inst/register.hh --- trunk/src/inst/register.hh (revision 204) +++ trunk/src/inst/register.hh (working copy) @@ -69,7 +69,7 @@ } public: - void print (std::ostream& ostr) const + void write(std::ostream& ostr) const { if (kind_ != unlimited) ostr << "$" << index_; @@ -85,7 +85,7 @@ inline std::ostream& operator<< (std::ostream& ostr, const Register& reg) { - reg.print(ostr); + reg.write(ostr); return ostr; } Index: trunk/src/inst/op_exp.hh --- trunk/src/inst/op_exp.hh (revision 204) +++ trunk/src/inst/op_exp.hh (working copy) @@ -63,7 +63,7 @@ } public: - virtual void print(std::ostream& ostr) const; + virtual void write(std::ostream& ostr) const; public: const kind_type kind_; Index: trunk/src/inst/label_exp.hh --- trunk/src/inst/label_exp.hh (revision 204) +++ trunk/src/inst/label_exp.hh (working copy) @@ -48,7 +48,7 @@ } public: - virtual void print(std::ostream& ostr) const; + virtual void write(std::ostream& ostr) const; protected: const misc::unique_string name_; Index: trunk/src/inst/exp.hh --- trunk/src/inst/exp.hh (revision 204) +++ trunk/src/inst/exp.hh (working copy) @@ -41,7 +41,7 @@ virtual ~Exp(); public: - virtual void print(std::ostream& ostr) const; + virtual void write(std::ostream& ostr) const; virtual void accept (ConstExpVisitor& v) const = 0; virtual void accept (ExpVisitor& v) = 0; @@ -71,7 +71,7 @@ inline std::ostream& operator<<(std::ostream& ostr, const Exp& e) { - e.print(ostr); + e.write(ostr); return ostr; } Index: trunk/src/inst/data_section.hh --- trunk/src/inst/data_section.hh (revision 204) +++ trunk/src/inst/data_section.hh (working copy) @@ -85,7 +85,7 @@ public: - virtual void print(std::ostream& ostr) const; + virtual void write(std::ostream& ostr) const; protected: std::vector<const Label*> labels_; Index: trunk/src/inst/text_section.cc --- trunk/src/inst/text_section.cc (revision 204) +++ trunk/src/inst/text_section.cc (working copy) @@ -51,7 +51,7 @@ // -------------------------------------------------------------------------- void - TextSection::print(std::ostream& ostr) const + TextSection::write(std::ostream& ostr) const { ostr << "\t" << name_ << std::endl; Index: trunk/src/inst/section.hh --- trunk/src/inst/section.hh (revision 204) +++ trunk/src/inst/section.hh (working copy) @@ -66,7 +66,7 @@ } public: - virtual void print(std::ostream& ostr) const = 0; + virtual void write(std::ostream& ostr) const = 0; protected: const misc::unique_string name_; @@ -77,7 +77,7 @@ inline std::ostream& operator<<(std::ostream& ostr, const Section& s) { - s.print(ostr); + s.write(ostr); return ostr; } Index: trunk/src/inst/program.hh --- trunk/src/inst/program.hh (revision 204) +++ trunk/src/inst/program.hh (working copy) @@ -52,7 +52,7 @@ public: - void print(std::ostream& ostr) const + void write(std::ostream& ostr) const { ostr << data_section_; ostr << text_section_; @@ -66,7 +66,7 @@ inline std::ostream& operator<< (std::ostream& ostr, const Program& p) { - p.print(ostr); + p.write(ostr); return ostr; } Index: trunk/src/inst/text_section.hh --- trunk/src/inst/text_section.hh (revision 204) +++ trunk/src/inst/text_section.hh (working copy) @@ -72,7 +72,7 @@ } public: - virtual void print(std::ostream& ostr) const; + virtual void write(std::ostream& ostr) const; protected: std::vector<const TextLabel*> labels_; Index: trunk/src/inst/op_exp.cc --- trunk/src/inst/op_exp.cc (revision 204) +++ trunk/src/inst/op_exp.cc (working copy) @@ -40,7 +40,7 @@ } void - OpExp::print(std::ostream& ostr) const + OpExp::write(std::ostream& ostr) const { ostr << *left_; switch (kind_)

1 0

[nolimips] 204: print is a python keyword
by Noe 27 Dec '05

27 Dec '05

Index: ChangeLog from Benoît Perrot <benoit(a)lrde.epita.fr> print is a python keyword * src/inst/inst.hh, src/inst/nodes.gen.py: (print) Rename as... (write). Index: src/inst/nodes.gen.py --- src/inst/nodes.gen.py (revision 203) +++ src/inst/nodes.gen.py (working copy) @@ -191,12 +191,12 @@ sys.stdout = header print """ public: /// Print this - virtual void\tprint(std::ostream &ostr) const; + virtual void\twrite(std::ostream &ostr) const; """ sys.stdout = impl print """ void""" - print " " + class_id + "::print(std::ostream &ostr) const" + print " " + class_id + "::write(std::ostream &ostr) const" print " {" s = "" i = 0 Index: src/inst/inst.hh --- src/inst/inst.hh (revision 203) +++ src/inst/inst.hh (working copy) @@ -49,7 +49,7 @@ virtual void accept (Visitor& v) = 0; public: - virtual void print(std::ostream&) const = 0; + virtual void write(std::ostream&) const = 0; public: format_type get_format() const @@ -64,7 +64,7 @@ inline std::ostream& operator<<(std::ostream& ostr, const Inst& i) { - i.print(ostr); + i.write(ostr); return ostr; }

1 0

[nolimips] 203: Use libtool to pack librairies
by Noe 23 Dec '05

23 Dec '05

https://svn.lrde.epita.fr/svn/nolimips/trunk ChangeLog | 17 ++++++++++++++++- configure.ac | 9 +++++++-- src/Makefile.am | 24 +++++++++++++++--------- src/inst/Makefile.am | 6 +++--- src/misc/Makefile.am | 8 ++++---- src/parse/Makefile.am | 6 +++--- src/shell/Makefile.am | 6 +++--- src/task/Makefile.am | 6 +++--- src/vm/Makefile.am | 6 +++--- 9 files changed, 57 insertions(+), 31 deletions(-) Index: ChangeLog from Benoît Perrot <benoit(a)nostromo.lrde.epita.fr> 2005-12-23 Benoît Perrot <benoit(a)lrde.epita.fr> Use libtool to pack librairies * configure.ac: Check for libtool's presence. * src/vm/Makefile.am, * src/misc/Makefile.am, * src/task/Makefile.am, * src/shell/Makefile.am, * src/parse/Makefile.am, * src/inst/Makefile.am, * src/Makefile.am: Generate libtool libraries. 2005-12-23 Benoît Perrot <benoit(a)lrde.epita.fr> Index: src/vm/Makefile.am --- src/vm/Makefile.am (revision 202) +++ src/vm/Makefile.am (working copy) @@ -1,7 +1,7 @@ -noinst_LIBRARIES = libvm.a +noinst_LTLIBRARIES = libvm.la -libvm_a_CPPFLAGS = -I $(top_srcdir)/lib -I $(top_srcdir)/src -I $(top_builddir)/src -libvm_a_SOURCES = \ +libvm_la_CPPFLAGS = -I $(top_srcdir)/lib -I $(top_srcdir)/src -I $(top_builddir)/src +libvm_la_SOURCES = \ mmu.hh \ cp0.hh \ cpu.hh cpu.cc \ Index: src/misc/Makefile.am --- src/misc/Makefile.am (revision 202) +++ src/misc/Makefile.am (working copy) @@ -1,7 +1,7 @@ -noinst_LIBRARIES = libmisc.a +noinst_LTLIBRARIES = libmisc.la -libmisc_a_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src -libmisc_a_SOURCES = \ +libmisc_la_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src +libmisc_la_SOURCES = \ contract.hh \ lockable.hh \ deref.hh \ @@ -18,6 +18,6 @@ test_unique_string_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src test_unique_string_SOURCES = test-unique_string.cc -test_unique_string_LDADD = libmisc.a +test_unique_string_LDADD = libmisc.la TESTS = $(check_PROGRAMS) Index: src/task/Makefile.am --- src/task/Makefile.am (revision 202) +++ src/task/Makefile.am (working copy) @@ -1,7 +1,7 @@ -noinst_LIBRARIES = libtask.a +noinst_LTLIBRARIES = libtask.la -libtask_a_CPPFLAGS = -I$(top_srcdir)/src -I $(top_builddir)/src -libtask_a_SOURCES = \ +libtask_la_CPPFLAGS = -I$(top_srcdir)/src -I $(top_builddir)/src +libtask_la_SOURCES = \ task.hh task.cc \ function_task.hh function_task.cc \ boolean_task.hh boolean_task.cc \ Index: src/shell/Makefile.am --- src/shell/Makefile.am (revision 202) +++ src/shell/Makefile.am (working copy) @@ -1,6 +1,6 @@ -noinst_LIBRARIES = libshell.a +noinst_LTLIBRARIES = libshell.la -libshell_a_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src @READLINE_CPPFLAGS@ -libshell_a_SOURCES = \ +libshell_la_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src @READLINE_CPPFLAGS@ +libshell_la_SOURCES = \ cmd.hh \ shell.hh shell.cc Index: src/Makefile.am --- src/Makefile.am (revision 202) +++ src/Makefile.am (working copy) @@ -12,9 +12,16 @@ nolimips_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src nolimips_SOURCES = \ + nolimips.cc + +nolimips_LDFLAGS = $(AM_LDFLAGS) @READLINE_LDFLAGS@ +nolimips_LDADD = libnolimips.la + +## +lib_LTLIBRARIES = libnolimips.la +libnolimips_la_SOURCES = \ common.hh \ modules.hh \ - nolimips.cc \ nolimips-tasks.hh nolimips-tasks.cc \ task-tasks.hh task-tasks.cc \ parse-tasks.hh parse-tasks.cc \ @@ -22,12 +29,11 @@ vm-tasks.hh vm-tasks.cc \ shell-tasks.hh shell-tasks.cc -nolimips_LDFLAGS = $(AM_LDFLAGS) @READLINE_LDFLAGS@ -nolimips_LDADD = \ - parse/libparse.a \ - vm/libvm.a \ - inst/libinst.a \ - shell/libshell.a \ - task/libtask.a \ - misc/libmisc.a \ +libnolimips_la_LIBADD = \ + parse/libparse.la \ + vm/libvm.la \ + inst/libinst.la \ + shell/libshell.la \ + task/libtask.la \ + misc/libmisc.la \ @READLINE_LIBS@ Index: src/parse/Makefile.am --- src/parse/Makefile.am (revision 202) +++ src/parse/Makefile.am (working copy) @@ -54,10 +54,10 @@ MAINTAINERCLEANFILES = asm-scan.ll asm-scan.yy $(FROM_ASM_PARSE_YY) -noinst_LIBRARIES = libparse.a +noinst_LTLIBRARIES = libparse.la -libparse_a_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src -libparse_a_SOURCES = \ +libparse_la_CPPFLAGS = -I $(top_srcdir)/src -I $(top_builddir)/src +libparse_la_SOURCES = \ asm-parse.cc asm-parse.yy.stamp \ $(FROM_ASM_PARSE_YY) \ asm-scan.ll asm-scan.hh asm-scan.ll.stamp \ Index: src/inst/Makefile.am --- src/inst/Makefile.am (revision 202) +++ src/inst/Makefile.am (working copy) @@ -43,10 +43,10 @@ program_builder.hh \ program_solver.hh program_solver.cc -noinst_LIBRARIES = libinst.a +noinst_LTLIBRARIES = libinst.la -libinst_a_CPPFLAGS = -I $(top_srcdir)/lib -I $(top_srcdir)/src -I $(top_builddir)/src -libinst_a_SOURCES = \ +libinst_la_CPPFLAGS = -I $(top_srcdir)/lib -I $(top_srcdir)/src -I $(top_builddir)/src +libinst_la_SOURCES = \ $(FROM_NODES_GEN_PY) nodes.stamp \ register.hh \ exp.hh exp.cc \ Index: configure.ac --- configure.ac (revision 202) +++ configure.ac (working copy) @@ -25,8 +25,8 @@ # Look for a C++ compiler. AC_PROG_CXX -# Look for ran lib. -AC_PROG_RANLIB +# +AC_PROG_LIBTOOL # Look for readline library. AC_CHECK_READLINE @@ -36,7 +36,12 @@ ## Development environment ------------- + CXXFLAGS="${CXXFLAGS} -ansi -Wall -W -D__STDC_LIMIT_MACROS" +# Speed the compilation up +if test "$GXX" = yes; then + CXXFLAGS="$CXXFLAGS -pipe" +fi # gnulib modules nolimips_GNULIB

1 0

[nolimips: 202] Fix nolimips' system library's read implementation
by Noe 22 Dec '05

22 Dec '05

ChangeLog | 7 +++++++ src/vm/nolimips_system_library.cc | 3 +++ 2 files changed, 10 insertions(+) Index: trunk/ChangeLog from Benot Perrot <benoit(a)nostromo.lrde.epita.fr> Fix nolimips' system library's read implementation. * src/vm/nolimips_system_library.cc: (NolimipsSystemLibrary::read): Effectively return -1 on EOF. Index: trunk/src/vm/nolimips_system_library.cc --- src/vm/nolimips_system_library.cc (revision 201) +++ src/vm/nolimips_system_library.cc (working copy) @@ -39,14 +39,17 @@ int i = -1; if (istr) { - for (i = 0; i < count; ++i, ++offset) - { - int c = istr->get(); - if (istr->eof()) - break; + istr->peek(); - mmu.data_store_byte(offset, c); - } + if (!istr->eof()) + for (i = 0; i < count; ++i, ++offset) + { + int c = istr->get(); + if (istr->eof()) + break; + + mmu.data_store_byte(offset, c); + } } return i;

1 0

vcs-svn ci vs. svn:externals
by Akim Demaille 18 Dec '05

18 Dec '05

vcs-svn diff, à la différence de svn diff, liste les changements dans les svn:externals. C'est une chose à corriger, mais je crois que ça a déjà été rapporté. Je propose qu'à l'instar des fichiers qui traînent, les ci (sans argument) soient bloquants s'il y a des svn:externals qui sont changés.

3 2

vcs-ci: coller les To
by Akim Demaille 18 Dec '05

18 Dec '05

Je suis paumé. Comment est-on supposé écrire les To ? avec ou sans les virgules ? Je croyais que c'était sans : class Vcs # See http://rubyforge.org/projects/vcs # and http://vcs.rubyforge.org protocol_version '0.1' def local_commit! ( *args ) common_commit!("CSR'06 <%= rev %>: <%= title %>", *args) do |subject| mail!(:to => %w[akim(a)lrde.epita.fr sylvain.lombardy(a)liafa.jussieu.fr] :subject => subject) end end default_commit :local_commit end # class Vcs mais du coup, il me fait ça : Title: "Start it." Subject: "CSR'06 <%= rev %>: <%= title %>" From: "Akim Demaille <akim(a)lrde.epita.fr>" To: [akim(a)lrde.epita.fr, sylvain.lombardy(a)liafa.jussieu.fr] ce qui a l'air OK, et ça termine comme ceci dans le mail : From: Akim Demaille <akim(a)lrde.epita.fr> Subject: CSR'06 1112: Start it. To: akim@lrde.epita.frsylvain.lombardy@liafa.jussieu.fr Y a comme un gros soucis :(

2 1

vcs-ci: message d'erreur incomplet ?
by Akim Demaille 18 Dec '05

18 Dec '05

Je ne comprends pas ce qui le gêne ici. ~/lectures/publis % svn ci nostromo 10:27 vcs: info: Updating your working copy... Fetching external item into 'demaille.06.rivf/share' External at revision 1084. Fetching external item into 'demaille.06.csr/share' External at revision 1117. Fetching external item into 'anisko.05.ldta/share' External at revision 1032. Fetching external item into 'borghi.05.acm-crossroads/share' External at revision 1028. Fetching external item into 'david.06.ldta/share' External at revision 1070. At revision 1120. vcs: info: Creating a new `,form' file... vcs: info: Creating a new `,log' file... vcs: info: Creating a new `,message' file... vcs: info: ,log already exists vcs: error: command: svn diff --extensions -NPbuw --diff-cmd diff -- demaille.06.csr/Makefile burrus.03.mpool/abstract/genbloup.graffle burrus.03.mpool/abstract/genbloup.eps.gz burrus.03.mpool/abstract/abstract.tex burrus.03.mpool/abstract/geninst.dia burrus.03.mpool/abstract/genbloup.pdf burrus.03.mpool/abstract/macros.tex burrus.03.mpool/abstract/principles.tex burrus.03.mpool/abstract/llncs.cls burrus.03.mpool/abstract/properties.tex burrus.03.mpool/abstract/conclusion.tex burrus.03.mpool/abstract/gen.fig.gz burrus.03.mpool/abstract/Makefile burrus.03.mpool/abstract/packages.tex burrus.03.mpool/abstract/article.bib burrus.03.mpool/paper/soop.tex burrus.03.mpool/paper/abstract_classes.tex burrus.03.mpool/paper/introduction.tex burrus.03.mpool/paper/existing_clues.tex burrus.03.mpool/paper/constraints_on_types.tex burrus.03.mpool/paper/aggreg_compo.tex burrus.03.mpool/paper/splncs.bst burrus.03.mpool/paper/static_dynamic.tex burrus.03.mpool/paper/llncs.cls burrus.03.mpool/paper/static_hierarchies.tex burrus.03.mpool/paper/objectives.tex burrus.03.mpool/paper/virtual_inheritance.tex burrus.03.mpool/paper/gp.bib burrus.03.mpool/paper/oop_gp_drawbacks.tex burrus.03.mpool/paper/find_exact.tex burrus.03.mpool/paper/figures/covariance_uml.pdf burrus.03.mpool/paper/figures/simple_cond_inherit.eps.gz burrus.03.mpool/paper/figures/multi_cond_inherit.eps.gz burrus.03.mpool/paper/figures/abstract_classes.eps.gz burrus.03.mpool/paper/figures/simple_cond_inherit.pdf burrus.03.mpool/paper/figures/multi_cond_inherit.pdf burrus.03.mpool/paper/figures/abstract_classes.pdf burrus.03.mpool/paper/figures/composition.eps.gz burrus.03.mpool/paper/figures/static_hierarchy.eps.gz burrus.03.mpool/paper/figures/composition.pdf burrus.03.mpool/paper/figures/covariance_uml.eps.gz burrus.03.mpool/paper/figures/static_hierarchy.pdf burrus.03.mpool/paper/figures/argument_covariance_uml.eps.gz burrus.03.mpool/paper/polymorphic_typedefs.tex burrus.03.mpool/paper/checking_subclassing.tex burrus.03.mpool/paper/duality.tex burrus.03.mpool/paper/definitions.tex burrus.03.mpool/paper/argument_covariance.tex burrus.03.mpool/paper/conditional_inheritance.tex burrus.03.mpool/paper/conclusion.tex burrus.03.mpool/paper/Makefile burrus.03.mpool/paper/multimethods.tex burrus.03.mpool/code/argument_covariance.cc burrus.03.mpool/code/virtual_typedef_simple.cc burrus.03.mpool/code/any.hh burrus.03.mpool/code/virtual_inheritance_exact_this.cc burrus.03.mpool/presentation/presentation_core.tex burrus.03.mpool/presentation/ps/semdate.tex burrus.03.mpool/presentation/ps/advi.tex burrus.03.mpool/presentation/ps/presentation.dvi burrus.03.mpool/presentation/ps/presentation.ps burrus.03.mpool/presentation/ps/Makefile burrus.03.mpool/presentation/ps/static_hierarchy2.eps burrus.03.mpool/presentation/back.png burrus.03.mpool/presentation/common/semann.cls burrus.03.mpool/presentation/common/foilx.cls burrus.03.mpool/presentation/common/ps/logo_lrde-blue.eps burrus.03.mpool/presentation/common/ps/logo_lrde-red.eps burrus.03.mpool/presentation/common/ps/logo_epita.eps burrus.03.mpool/presentation/common/ps/logo_lrde-green.eps burrus.03.mpool/presentation/common/ps/logo_lrde.eps burrus.03.mpool/presentation/common/makefile.common burrus.03.mpool/presentation/common/announce.tex burrus.03.mpool/presentation/common/makefile.pdf burrus.03.mpool/presentation/common/makefile.inc burrus.03.mpool/presentation/common/ChangeLog burrus.03.mpool/presentation/common/pdf/logo_lrde-red.png burrus.03.mpool/presentation/common/pdf/logo_epita.png burrus.03.mpool/presentation/common/pdf/logo_lrde-green.png burrus.03.mpool/presentation/common/pdf/logo_lrde.png burrus.03.mpool/presentation/common/pdf/.xvpics/logo_lrde_big.png burrus.03.mpool/presentation/common/pdf/logo_lrde_big.png burrus.03.mpool/presentation/common/pdf/logo_lrde-blue.png burrus.03.mpool/presentation/common/base/foilx.cls burrus.03.mpool/presentation/common/base/ps/logo_epita.eps burrus.03.mpool/presentation/common/base/ps/logo_lrde.eps burrus.03.mpool/presentation/common/base/ps/makefile burrus.03.mpool/presentation/common/base/ChangeLog burrus.03.mpool/presentation/common/base/pdf/logo_lrde_big.png burrus.03.mpool/presentation/common/base/pdf/logo_epita.pdf burrus.03.mpool/presentation/common/base/pdf/makefile burrus.03.mpool/presentation/common/base/pdf/logo_lrde.pdf burrus.03.mpool/presentation/common/base/makefile burrus.03.mpool/presentation/common/base/Makefile burrus.03.mpool/presentation/common/presentation.tex burrus.03.mpool/presentation/common/makefile.seminar burrus.03.mpool/presentation/common/makefile burrus.03.mpool/presentation/.xvpics/iwb.png burrus.03.mpool/presentation/.xvpics/nina.jpg burrus.03.mpool/presentation/.xvpics/doc.png burrus.03.mpool/presentation/.xvpics/tony.jpg burrus.03.mpool/presentation/figures.blue/static_hierarchy2.pdf burrus.03.mpool/presentation/figures.blue/covariance_uml.pdf burrus.03.mpool/presentation/figures.blue/Untitled.pdf burrus.03.mpool/presentation/figures.blue/simple_cond_inherit.pdf burrus.03.mpool/presentation/figures.blue/hierarchy.pdf burrus.03.mpool/presentation/figures.blue/multiple_cond_inherit.pdf burrus.03.mpool/presentation/figures.blue/abstract_classes.pdf burrus.03.mpool/presentation/figures.blue/epita.pdf burrus.03.mpool/presentation/figures.blue/polymorphic_typedefs_presentation.pdf burrus.03.mpool/presentation/figures.blue/composition.pdf burrus.03.mpool/presentation/figures.blue/static_hierarchy.pdf burrus.03.mpool/presentation/figures.blue/lrde.pdf burrus.03.mpool/presentation/texpower.sty burrus.03.mpool/presentation/graphics/static_hierarchy2.pdf burrus.03.mpool/presentation/graphics/covariance_uml.pdf burrus.03.mpool/presentation/graphics/abstract_classes.pdf burrus.03.mpool/presentation/graphics/composition.pdf burrus.03.mpool/presentation/graphics/static_hierarchy.pdf burrus.03.mpool/presentation/foilx.cls burrus.03.mpool/presentation/gp.bib burrus.03.mpool/presentation/figures.original/static_hierarchy2.pdf burrus.03.mpool/presentation/figures.original/covariance_uml.pdf burrus.03.mpool/presentation/figures.original/polymorphic_typedefs.pdf burrus.03.mpool/presentation/figures.original/abstract_classes.pdf burrus.03.mpool/presentation/figures.original/composition.pdf burrus.03.mpool/presentation/figures.original/static_hierarchy.pdf burrus.03.mpool/presentation/pdf/static_hierarchy2.pdf burrus.03.mpool/presentation/pdf/semdate.tex burrus.03.mpool/presentation/pdf/advi.tex burrus.03.mpool/presentation/pdf/back.png burrus.03.mpool/presentation/pdf/presentation.pdf burrus.03.mpool/presentation/pdf/Makefile burrus.03.mpool/presentation/figures.purple/Untitled.pdf burrus.03.mpool/presentation/figures.purple/simple_cond_inherit.pdf burrus.03.mpool/presentation/figures.purple/multiple_cond_inherit.pdf burrus.03.mpool/presentation/figures.purple/epita.pdf burrus.03.mpool/presentation/figures.purple/polymorphic_typedefs_presentation.pdf burrus.03.mpool/presentation/figures.purple/lrde.pdf burrus.03.mpool/presentation/presentation.tex burrus.03.mpool/presentation/eso-pic.sty burrus.03.mpool/presentation/packages.tex burrus.03.mpool/presentation/figures.red/static_hierarchy2.pdf burrus.03.mpool/presentation/figures.red/covariance_uml.pdf burrus.03.mpool/presentation/figures.red/Untitled.pdf burrus.03.mpool/presentation/figures.red/simple_cond_inherit.pdf burrus.03.mpool/presentation/figures.red/hierarchy.pdf burrus.03.mpool/presentation/figures.red/multiple_cond_inherit.pdf burrus.03.mpool/presentation/figures.red/abstract_classes.pdf burrus.03.mpool/presentation/figures.red/epita.pdf burrus.03.mpool/presentation/figures.red/polymorphic_typedefs_presentation.pdf burrus.03.mpool/presentation/figures.red/composition.pdf burrus.03.mpool/presentation/figures.red/static_hierarchy.pdf burrus.03.mpool/presentation/figures.red/lrde.pdf burrus.03.mpool/presentation/figures.orange/static_hierarchy2.pdf burrus.03.mpool/presentation/figures.orange/covariance_uml.pdf burrus.03.mpool/presentation/figures.orange/Untitled.pdf burrus.03.mpool/presentation/figures.orange/simple_cond_inherit.pdf burrus.03.mpool/presentation/figures.orange/multiple_cond_inherit.pdf burrus.03.mpool/presentation/figures.orange/abstract_classes.pdf burrus.03.mpool/presentation/figures.orange/epita.pdf burrus.03.mpool/presentation/figures.orange/polymorphic_typedefs_presentation.pdf burrus.03.mpool/presentation/figures.orange/composition.pdf burrus.03.mpool/presentation/figures.orange/static_hierarchy.pdf burrus.03.mpool/presentation/figures.orange/lrde.pdf david.06.ldta/article.tex david.06.ldta/Makefile vcs: error: exit: 1 vcs: error: Removing `,message'... vcs: error: Removing `,form'... vcs: info: ,log: Contains your Log entry vcs: error: command failed ~/lectures/publis % nostromo Err

2 1

La Build Farm, SWIG et le reste
by Roland Levillain 12 Dec '05

12 Dec '05

Je ne comprenais pas pourquoi clsp ne fonctionnait pas sur antalya (PPC/Mac OS X) alors que tc, si. C'est parce qu'on ne construit pas de bibliothèques dynamiques pour tc sur la build farm, donc swig n'est même pas recherché par configure. Or Fink ne dispose que de SWIG 1.3.20, et 1.3.24 est attendu (par clsp comme tc). Est-ce qu'on n'a pas envie d'activer la construction des bibliothèques dynamiques, au moins pour tc-maintainer ? Ça permettrait de tester TCSH. J'ai ajouté SWIG et Python à la liste des programmes interrogés par l'auto build au sujet de leur version, pour clsp, tc et tc-maintainer. Ce qui me fait penser qu'il serait bon que les scripts de l'auto build soient sous contrôle de version, pour suivre les changements.

2 2

vcs: trop verbeux
by Akim Demaille 09 Dec '05

09 Dec '05

Gloups... ~/src/vaucanson % \svn revert **/*.{hh,hxx} nostromo Err 1 svn: '_build/include/vaucanson/config/pconf.hh' is not a working copy ~/src/vaucanson % svn revert **/*.{hh,hxx} nostromo 17:23 svn: '_build/include/vaucanson/config/pconf.hh' is not a working copy vcs: error: command: svn revert -- _build/include/vaucanson/config/pconf.hh include/vaucanson/algebra/algebra.hh include/vaucanson/algebra/concept/alphabets_base.hh include/vaucanson/algebra/concept/freemonoid_base.hh include/vaucanson/algebra/concept/freemonoid_product_base.hh include/vaucanson/algebra/concept/freemonoid_product.hh include/vaucanson/algebra/concept/letter.hh include/vaucanson/algebra/concept/monoid_base.hh include/vaucanson/algebra/concept/numerical_semiring.hh include/vaucanson/algebra/concept/semigroup_base.hh include/vaucanson/algebra/concept/semiring_base.hh include/vaucanson/algebra/concept/series_base.hh include/vaucanson/algebra/concept/tropical_semiring.hh include/vaucanson/algebra/implementation/alphabets/alphabets.hh include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hh include/vaucanson/algebra/implementation/alphabets/predefs.hh include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh include/vaucanson/algebra/implementation/free_monoid/predefs.hh include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh include/vaucanson/algebra/implementation/free_monoid/str_words.hh include/vaucanson/algebra/implementation/free_monoid/tools.hh include/vaucanson/algebra/implementation/free_monoid/words.hh include/vaucanson/algebra/implementation/letter/char_letter.hh include/vaucanson/algebra/implementation/letter/couple_letter.hh include/vaucanson/algebra/implementation/letter/int_letter.hh include/vaucanson/algebra/implementation/letter/range.hh include/vaucanson/algebra/implementation/predefs.hh include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh include/vaucanson/algebra/implementation/semiring/rational_number.hh include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh include/vaucanson/algebra/implementation/series/generalized.hh include/vaucanson/algebra/implementation/series/krat_coefficient.hh include/vaucanson/algebra/implementation/series/krat_conversion.hh include/vaucanson/algebra/implementation/series/krat_exp_parser.hh include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh include/vaucanson/algebra/implementation/series/krat.hh include/vaucanson/algebra/implementation/series/polynoms.hh include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hh include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh include/vaucanson/algebra/implementation/series/rat/exp.hh include/vaucanson/algebra/implementation/series/rat/length_visitor.hh include/vaucanson/algebra/implementation/series/rat/nodes.hh include/vaucanson/algebra/implementation/series/rat/random_visitor.hh include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hh include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hh include/vaucanson/algebra/implementation/series/series.hh include/vaucanson/algebra/implementation/series/transpose.hh include/vaucanson/algorithms/accessible.hh include/vaucanson/algorithms/aci_canonical.hh include/vaucanson/algorithms/aut_to_exp.hh include/vaucanson/algorithms/backward_realtime.hh include/vaucanson/algorithms/berry_sethi.hh include/vaucanson/algorithms/brzozowski.hh include/vaucanson/algorithms/closure.hh include/vaucanson/algorithms/complement.hh include/vaucanson/algorithms/complete.hh include/vaucanson/algorithms/concatenate.hh include/vaucanson/algorithms/cut_up.hh include/vaucanson/algorithms/derived_term_automaton.hh include/vaucanson/algorithms/determinize.hh include/vaucanson/algorithms/eval.hh include/vaucanson/algorithms/evaluation_fmp.hh include/vaucanson/algorithms/evaluation.hh include/vaucanson/algorithms/extension.hh include/vaucanson/algorithms/finite_support_conversion.hh include/vaucanson/algorithms/fmp_to_realtime.hh include/vaucanson/algorithms/forward_realtime.hh include/vaucanson/algorithms/initial_derivation.hh include/vaucanson/algorithms/internal/build_pattern.hh include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hh include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hh include/vaucanson/algorithms/internal/partial_rat_exp.hh include/vaucanson/algorithms/internal/skeleton.hh include/vaucanson/algorithms/is_letterized.hh include/vaucanson/algorithms/is_normalized.hh include/vaucanson/algorithms/isomorph.hh include/vaucanson/algorithms/is_realtime.hh include/vaucanson/algorithms/krat_exp_cderivation.hh include/vaucanson/algorithms/krat_exp_constant_term.hh include/vaucanson/algorithms/krat_exp_derivation.hh include/vaucanson/algorithms/krat_exp_expand.hh include/vaucanson/algorithms/krat_exp_flatten.hh include/vaucanson/algorithms/krat_exp_linearize.hh include/vaucanson/algorithms/krat_exp_partial_derivation.hh include/vaucanson/algorithms/krat_exp_realtime.hh include/vaucanson/algorithms/letter_to_letter_composition.hh include/vaucanson/algorithms/minimization_hopcroft.hh include/vaucanson/algorithms/minimization_moore.hh include/vaucanson/algorithms/normalized_composition.hh include/vaucanson/algorithms/normalized.hh include/vaucanson/algorithms/outsplitting.hh include/vaucanson/algorithms/product.hh include/vaucanson/algorithms/projection.hh include/vaucanson/algorithms/projections_fmp.hh include/vaucanson/algorithms/realtime_composition.hh include/vaucanson/algorithms/realtime_decl.hh include/vaucanson/algorithms/realtime.hh include/vaucanson/algorithms/realtime_to_fmp.hh include/vaucanson/algorithms/search.hh include/vaucanson/algorithms/standard.hh include/vaucanson/algorithms/standard_of.hh include/vaucanson/algorithms/sub_automaton.hh include/vaucanson/algorithms/sub_normalize.hh include/vaucanson/algorithms/sum.hh include/vaucanson/algorithms/thompson.hh include/vaucanson/algorithms/transpose.hh include/vaucanson/algorithms/trim.hh include/vaucanson/automata/concept/automata_base.hh include/vaucanson/automata/concept/automata.hh include/vaucanson/automata/concept/automata_kind.hh include/vaucanson/automata/concept/automata_ops.hh include/vaucanson/automata/concept/copy.hh include/vaucanson/automata/concept/delta_kind.hh include/vaucanson/automata/concept/handlers.hh include/vaucanson/automata/concept/history.hh include/vaucanson/automata/concept/kinds.hh include/vaucanson/automata/concept/tags.hh include/vaucanson/automata/concept/transducer_base.hh include/vaucanson/automata/concept/transducer.hh include/vaucanson/automata/concept/transducer_ops.hh include/vaucanson/automata/concept/translate.hh include/vaucanson/automata/implementation/automaton_view.hh include/vaucanson/automata/implementation/generalized.hh include/vaucanson/automata/implementation/geometry.hh include/vaucanson/automata/implementation/graph.hh include/vaucanson/automata/implementation/kind_adapter.hh include/vaucanson/automata/implementation/transpose_view.hh include/vaucanson/boolean_automaton.hh include/vaucanson/boolean_transducer.hh include/vaucanson/config/math.hh include/vaucanson/config/system.hh include/vaucanson/design_pattern/default_ops.hh include/vaucanson/design_pattern/design_pattern.hh include/vaucanson/design_pattern/element.hh include/vaucanson/design_pattern/element_ops.hh include/vaucanson/design_pattern/element_op_traits.hh include/vaucanson/design_pattern/factory.hh include/vaucanson/design_pattern/meta_element_root.hh include/vaucanson/design_pattern/predecls.hh include/vaucanson/design_pattern/slots.hh include/vaucanson/design_pattern/structure.hh include/vaucanson/design_pattern/syntactic_decorator.hh include/vaucanson/fmp_transducer.hh include/vaucanson/misc/bitset.hh include/vaucanson/misc/char_traits.hh include/vaucanson/misc/constraints.hh include/vaucanson/misc/contract.hh include/vaucanson/misc/deferrer.hh include/vaucanson/misc/escaper.hh include/vaucanson/misc/functors.hh include/vaucanson/misc/iomanip.hh include/vaucanson/misc/limits.hh include/vaucanson/misc/random.hh include/vaucanson/misc/selectors.hh include/vaucanson/misc/special_char_traits.hh include/vaucanson/misc/static.hh include/vaucanson/misc/support.hh include/vaucanson/misc/unique.hh include/vaucanson/misc/utility.hh include/vaucanson/misc/window.hh include/vaucanson/r_automaton.hh include/vaucanson/standard_algorithms.hh include/vaucanson/tools/automaton_tools.hh include/vaucanson/tools/bencher.hh include/vaucanson/tools/container_ops.hh include/vaucanson/tools/dot_display.hh include/vaucanson/tools/dot_dump.hh include/vaucanson/tools/dot_format.hh include/vaucanson/tools/fsm_dump.hh include/vaucanson/tools/gen_book.hh include/vaucanson/tools/gen_random.hh include/vaucanson/tools/io.hh include/vaucanson/tools/out_display.hh include/vaucanson/tools/simple_format.hh include/vaucanson/tools/usual_escaped_characters.hh include/vaucanson/tools/usual_io.hh include/vaucanson/tools/usual_macros.hh include/vaucanson/tools/xml_display.hh include/vaucanson/tools/xml_dump.hh include/vaucanson/tools/xml_load.hh include/vaucanson/vaucanson.hh include/vaucanson/xml/error_handler.hh include/vaucanson/xml/ios.hh include/vaucanson/xml/node.hh include/vaucanson/xml/session.hh include/vaucanson/xml/strings.hh include/vaucanson/xml/tools.hh include/vaucanson/xml/xerces_parser.hh include/vaucanson/xml/xml_chooser.hh include/vaucanson/xml/xml_converter.hh include/vaucanson/xml/XML.hh include/vaucanson/z_automaton.hh include/vaucanson/z_fmp_transducer.hh include/vaucanson/z_max_plus_automaton.hh include/vaucanson/z_min_plus_automaton.hh include/vaucanson/z_transducer.hh src/benchs/common/algorithm.hh src/benchs/common/bench_automaton.hh src/benchs/common/bench_constructs.hh src/benchs/composition/normalized_composition_bench.hh src/benchs/composition/realtime_composition_bench.hh src/benchs/derived_terms/derived_terms_bench.hh src/benchs/determinization/determinization_bench.hh src/benchs/minimization_2n/minimization_2n_brzozowski_bench.hh src/benchs/minimization_2n/minimization_2n_hopcroft_bench.hh src/benchs/minimization_2n/minimization_2n_moore_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_moore_bench.hh src/benchs/minimization_stroppa/fsm_minimize.hh src/benchs/minimization_stroppa/init.hh src/benchs/minimization_stroppa/int_traits.hh src/benchs/minimization_stroppa/tools.hh src/benchs/minimization_stroppa/usual_ana_predefs.hh src/benchs/quotient/quotient_bool_bench.hh src/benchs/quotient/quotient_z_bench.hh src/demos/algorithms/equivalent_functions.hh src/demos/utilities/fsm/arg.hh src/demos/utilities/fsm/usual_automaton_t/arg.hh src/demos/utilities/fsm/usual_automaton_t/toolbox.hh src/demos/vaucanswig/meta/automaton.hh src/demos/vaucanswig/meta/context.hh src/demos/vaucanswig/meta/vauto.hh src/demos/vaucanswig/meta/vcontext.hh src/tests/algebra/alphabets/alphabet_test.hh src/tests/algebra/alphabets/alphabet_torture_test.hh src/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh src/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh src/tests/algebra/free_monoid/free_monoid_test.hh src/tests/algebra/free_monoid_product/free_monoid_product_test.hh src/tests/algebra/numerical_semiring/numerical_semiring_test.hh src/tests/algebra/semiring/semiring_test.hh src/tests/algebra/series/krat/boolean/krat_exp_cderivation_linear_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_identity_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_letter_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_product_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_star_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_sum_test.hh src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_zero_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_identity_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_letter_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_product_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_star_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_sum_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_zero_test.hh src/tests/algebra/series/krat/derivations/derivations_common.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_common.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh src/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh src/tests/algebra/series/krat/main/krat_exp_constant_term_test.hh src/tests/algebra/series/krat/main/krat_exp_expand_test.hh src/tests/algebra/series/krat/main/krat_exp_flatten_test.hh src/tests/algebra/series/krat/main/krat_exp_linearize_structure_test.hh src/tests/algebra/series/krat/main/krat_exp_linearize_test.hh src/tests/algebra/series/krat/main/krat_exp_parse_test.hh src/tests/algebra/series/krat/main/krat_exp_realtime_test.hh src/tests/algebra/series/misc/series_test.hh src/tests/algebra/series/polynom/series_polynom_test.hh src/tests/automata/algos/boolean_automata/aci_canonical_test.hh src/tests/automata/algos/boolean_automata/berry_sethi_test.hh src/tests/automata/algos/boolean_automata/brzozowski_test.hh src/tests/automata/algos/boolean_automata/complete_test.hh src/tests/automata/algos/boolean_automata/minimization_test.hh src/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh src/tests/automata/algos/fmp_transducers/normalized_composition_test.hh src/tests/automata/algos/fmp_transducers/sub_normalize_test.hh src/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh src/tests/automata/algos/freemonoid_labeled_graphs/krat_exp_realtime_conflict_test.hh src/tests/automata/algos/freemonoid_labeled_graphs/realtime_test.hh src/tests/automata/algos/graphs/accessible_test.hh src/tests/automata/algos/graphs/extract_test.hh src/tests/automata/algos/graphs/reachable_test.hh src/tests/automata/algos/graphs/sub_automaton_test.hh src/tests/automata/algos/graphs/trim_test.hh src/tests/automata/algos/label_aware_graphs/closure_test.hh src/tests/automata/algos/label_aware_graphs/concat_test.hh src/tests/automata/algos/label_aware_graphs/cut_up_test.hh src/tests/automata/algos/label_aware_graphs/glushkov_test.hh src/tests/automata/algos/label_aware_graphs/in_concat_test.hh src/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh src/tests/automata/algos/label_aware_graphs/sum_test.hh src/tests/automata/algos/label_aware_graphs/transpose_test.hh src/tests/automata/algos/labeled_graphs/are_isomorphic_test.hh src/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh src/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh src/tests/automata/algos/labeled_graphs/elimination_random_test.hh src/tests/automata/algos/labeled_graphs/elimination_test.hh src/tests/automata/algos/labeled_graphs/normalize_test.hh src/tests/automata/algos/labeled_graphs/thompson_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/compute_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/derived_term_automaton_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/determinist_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/product_regression_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh src/tests/automata/algos/series_multiplicity_transducers/extension_test.hh src/tests/automata/algos/series_multiplicity_transducers/realtime_trans_test.hh src/tests/automata/implementation_check/add_edge_test.hh src/tests/automata/implementation_check/add_state_test.hh src/tests/automata/implementation_check/coherence_state_edge_test.hh src/tests/automata/implementation_check/global_consistency_test.hh src/tests/automata/implementation_check/init_final_test.hh src/tests/automata/implementation_check/rdelta_test.hh src/tests/check/tester.hh src/tests/context_headers/automata/global_consistency_test.hh src/tests/context_headers/fmp_transducers/global_consistency_test.hh src/tests/context_headers/transducers/global_consistency_test.hh src/tests/design_pattern/design_pattern-test.hh src/tests/design_pattern/intrinsics.hh vauc/cppsh/include/bits/def_visitor.hh vauc/cppsh/include/bits/module_defs.hh vauc/cppsh/include/kern/debug.hh vauc/cppsh/include/kern/exception.hh vauc/cppsh/include/kern/exnprint.hh vauc/cppsh/include/kern/fstreams.hh vauc/cppsh/include/kern/object.hh vauc/cppsh/include/kern/objvect.hh vauc/cppsh/include/kern/ref.hh vauc/cppsh/include/kern/stdstreams.hh vauc/cppsh/include/kern/streams.hh vauc/cppsh/include/kern/symbol.hh vauc/cppsh/include/lang/parse_base.hh vauc/cppsh/kern/stdstreams_cerr.hh vauc/cppsh/kern/stdstreams_cin.hh vauc/cppsh/kern/stdstreams_cout.hh vauc/cppsh/lang/lemon_parser.hh vauc/cppsh/tests/ltdlpp/s.hh vauc/include/constants/inf.hh vauc/include/constants/one.hh vauc/include/constants/zero.hh vauc/include/lazy/eval_visitor.hh vauc/include/lazy/exp_base.hh vauc/include/lazy/exp.hh vauc/include/lazy/print_visitor.hh vauc/include/lazy/vauc_constructs.hh vauc/include/lazy/visitor_base.hh vauc/include/readlinebuf.hh vauc/include/toplevel/parse.hh vauc/include/toplevel/wrappers.hh vauc/include/triplet.hh vauc/include/types/object.hh vauc/include/types/symbol.hh vauc/include/types/type.hh vauc/include/vcore/callable.hh vauc/include/vcore/closure.hh vauc/include/vcore/env.hh vauc/include/vcore/exception.hh vauc/include/vcore/interrupt_handler.hh vauc/include/vcore/module_base.hh vauc/include/vcore/module_loader.hh vauc/include/vcore/object_catalog.hh vauc/include/vcore/partial_call.hh vauc/include/vcore/streams.hh vauc/mpp++/src/common.hh vauc/mpp++/src/internal/mangling.hh vauc/mpp++/src/modules/class_spec_template.hh vauc/mpp++/src/modules/libmodules.hh vauc/mpp++/src/modules/make_class_desc.hh vauc/mpp++/src/modules/make_fun_desc.hh vauc/mpp++/src/modules/make_module_desc.hh vauc/mpp++/src/modules/make_tool.hh vauc/mpp++/src/parse/class_spec_parse.hh vauc/mpp++/src/parse/fun_spec_parse.hh vauc/mpp++/src/parse/libparse.hh vauc/mpp++/src/parse/location.hh vauc/mpp++/src/parse/module_spec_parse.hh vauc/mpp++/src/spec/class_spec.hh vauc/mpp++/src/spec/cpp_code.hh vauc/mpp++/src/spec/fun_spec.hh vauc/mpp++/src/spec/module_spec.hh vauc/mpp++/src/transformer/funs.hh vauc/mpp++/src/transformer/fun_transformer.hh vauc/mpp++/src/transformer/ty_transformer.hh vauc/vcore/unwind_init.hh include/vaucanson/algebra/concept/alphabets_base.hxx include/vaucanson/algebra/concept/freemonoid_base.hxx include/vaucanson/algebra/concept/freemonoid_product_base.hxx include/vaucanson/algebra/concept/freemonoid_product.hxx include/vaucanson/algebra/concept/monoid_base.hxx include/vaucanson/algebra/concept/numerical_semiring.hxx include/vaucanson/algebra/concept/semigroup_base.hxx include/vaucanson/algebra/concept/semiring_base.hxx include/vaucanson/algebra/concept/series_base.hxx include/vaucanson/algebra/concept/tropical_semiring.hxx include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hxx include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hxx include/vaucanson/algebra/implementation/free_monoid/str_words.hxx include/vaucanson/algebra/implementation/free_monoid/tools.hxx include/vaucanson/algebra/implementation/free_monoid/words.hxx include/vaucanson/algebra/implementation/letter/couple_letter.hxx include/vaucanson/algebra/implementation/letter/int_letter.hxx include/vaucanson/algebra/implementation/letter/range.hxx include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx include/vaucanson/algebra/implementation/semiring/rational_number.hxx include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx include/vaucanson/algebra/implementation/series/generalized.hxx include/vaucanson/algebra/implementation/series/krat_coefficient.hxx include/vaucanson/algebra/implementation/series/krat_conversion.hxx include/vaucanson/algebra/implementation/series/krat_exp_is_finite_app.hxx include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx include/vaucanson/algebra/implementation/series/krat_exp_pattern.hxx include/vaucanson/algebra/implementation/series/krat_exp_support.hxx include/vaucanson/algebra/implementation/series/krat_exp_transpose.hxx include/vaucanson/algebra/implementation/series/krat.hxx include/vaucanson/algebra/implementation/series/polynoms.hxx include/vaucanson/algebra/implementation/series/rat/depth_visitor.hxx include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hxx include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx include/vaucanson/algebra/implementation/series/rat/exp.hxx include/vaucanson/algebra/implementation/series/rat/length_visitor.hxx include/vaucanson/algebra/implementation/series/rat/nodes.hxx include/vaucanson/algebra/implementation/series/rat/random_visitor.hxx include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hxx include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hxx include/vaucanson/algebra/implementation/series/series.hxx include/vaucanson/algebra/implementation/series/transpose.hxx include/vaucanson/algorithms/accessible.hxx include/vaucanson/algorithms/aci_canonical.hxx include/vaucanson/algorithms/aut_to_exp.hxx include/vaucanson/algorithms/backward_realtime.hxx include/vaucanson/algorithms/berry_sethi.hxx include/vaucanson/algorithms/brzozowski.hxx include/vaucanson/algorithms/closure.hxx include/vaucanson/algorithms/complement.hxx include/vaucanson/algorithms/complete.hxx include/vaucanson/algorithms/concatenate.hxx include/vaucanson/algorithms/cut_up.hxx include/vaucanson/algorithms/derived_term_automaton.hxx include/vaucanson/algorithms/determinize.hxx include/vaucanson/algorithms/eval.hxx include/vaucanson/algorithms/evaluation_fmp.hxx include/vaucanson/algorithms/evaluation.hxx include/vaucanson/algorithms/extension.hxx include/vaucanson/algorithms/finite_support_conversion.hxx include/vaucanson/algorithms/fmp_to_realtime.hxx include/vaucanson/algorithms/forward_realtime.hxx include/vaucanson/algorithms/initial_derivation.hxx include/vaucanson/algorithms/internal/build_pattern.hxx include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hxx include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hxx include/vaucanson/algorithms/internal/partial_rat_exp.hxx include/vaucanson/algorithms/internal/skeleton.hxx include/vaucanson/algorithms/is_letterized.hxx include/vaucanson/algorithms/is_normalized.hxx include/vaucanson/algorithms/isomorph.hxx include/vaucanson/algorithms/is_realtime.hxx include/vaucanson/algorithms/krat_exp_cderivation.hxx include/vaucanson/algorithms/krat_exp_constant_term.hxx include/vaucanson/algorithms/krat_exp_derivation.hxx include/vaucanson/algorithms/krat_exp_expand.hxx include/vaucanson/algorithms/krat_exp_flatten.hxx include/vaucanson/algorithms/krat_exp_linearize.hxx include/vaucanson/algorithms/krat_exp_partial_derivation.hxx include/vaucanson/algorithms/krat_exp_realtime.hxx include/vaucanson/algorithms/letter_to_letter_composition.hxx include/vaucanson/algorithms/minimization_hopcroft.hxx include/vaucanson/algorithms/minimization_moore.hxx include/vaucanson/algorithms/normalized_composition.hxx include/vaucanson/algorithms/normalized.hxx include/vaucanson/algorithms/outsplitting.hxx include/vaucanson/algorithms/product.hxx include/vaucanson/algorithms/projection.hxx include/vaucanson/algorithms/projections_fmp.hxx include/vaucanson/algorithms/realtime_composition.hxx include/vaucanson/algorithms/realtime_decl.hxx include/vaucanson/algorithms/realtime.hxx include/vaucanson/algorithms/realtime_to_fmp.hxx include/vaucanson/algorithms/search.hxx include/vaucanson/algorithms/standard.hxx include/vaucanson/algorithms/standard_of.hxx include/vaucanson/algorithms/sub_automaton.hxx include/vaucanson/algorithms/sub_normalize.hxx include/vaucanson/algorithms/sum.hxx include/vaucanson/algorithms/thompson.hxx include/vaucanson/algorithms/transpose.hxx include/vaucanson/algorithms/trim.hxx include/vaucanson/automata/concept/automata_base.hxx include/vaucanson/automata/concept/automata.hxx include/vaucanson/automata/concept/automata_ops.hxx include/vaucanson/automata/concept/copy.hxx include/vaucanson/automata/concept/handlers.hxx include/vaucanson/automata/concept/history.hxx include/vaucanson/automata/concept/kinds.hxx include/vaucanson/automata/concept/tags.hxx include/vaucanson/automata/concept/transducer_base.hxx include/vaucanson/automata/concept/transducer.hxx include/vaucanson/automata/concept/transducer_ops.hxx include/vaucanson/automata/concept/translate.hxx include/vaucanson/automata/implementation/automaton_view.hxx include/vaucanson/automata/implementation/generalized.hxx include/vaucanson/automata/implementation/geometry.hxx include/vaucanson/automata/implementation/graph.hxx include/vaucanson/automata/implementation/kind_adapter.hxx include/vaucanson/automata/implementation/transpose_view.hxx include/vaucanson/design_pattern/default_ops.hxx include/vaucanson/design_pattern/element.hxx include/vaucanson/design_pattern/element_ops.hxx include/vaucanson/design_pattern/meta_element_root.hxx include/vaucanson/design_pattern/slots.hxx include/vaucanson/design_pattern/structure.hxx include/vaucanson/design_pattern/syntactic_decorator.hxx include/vaucanson/misc/bitset.hxx include/vaucanson/misc/char_traits.hxx include/vaucanson/misc/deferrer.hxx include/vaucanson/misc/escaper.hxx include/vaucanson/misc/functors.hxx include/vaucanson/misc/iomanip.hxx include/vaucanson/misc/random.hxx include/vaucanson/misc/support.hxx include/vaucanson/misc/unique.hxx include/vaucanson/misc/window.hxx include/vaucanson/tools/bencher.hxx include/vaucanson/tools/container_ops.hxx include/vaucanson/tools/dot_display.hxx include/vaucanson/tools/dot_dump.hxx include/vaucanson/tools/dot_format.hxx include/vaucanson/tools/fsm_dump.hxx include/vaucanson/tools/gen_book.hxx include/vaucanson/tools/gen_random.hxx include/vaucanson/tools/io.hxx include/vaucanson/tools/out_display.hxx include/vaucanson/tools/simple_format.hxx include/vaucanson/tools/usual_escaped_characters.hxx include/vaucanson/tools/usual_io.hxx include/vaucanson/tools/xml_display.hxx include/vaucanson/tools/xml_dump.hxx include/vaucanson/tools/xml_load.hxx include/vaucanson/xml/error_handler.hxx include/vaucanson/xml/ios.hxx include/vaucanson/xml/node.hxx include/vaucanson/xml/session.hxx include/vaucanson/xml/strings.hxx include/vaucanson/xml/tools.hxx include/vaucanson/xml/xerces_parser.hxx include/vaucanson/xml/xml_chooser.hxx include/vaucanson/xml/xml_converter.hxx include/vaucanson/xml/XML.hxx src/benchs/minimization_stroppa/init.hxx src/benchs/minimization_stroppa/tools.hxx src/benchs/minimization_stroppa/usual.hxx vauc/cppsh/include/kern/object.hxx vauc/cppsh/include/kern/objvect.hxx vauc/cppsh/include/kern/ref.hxx vauc/cppsh/include/kern/symbol.hxx vauc/include/lazy/exp_base.hxx vauc/include/lazy/exp.hxx vauc/include/lazy/vauc_constructs.hxx vcs: error: exit: 1

2 1

[genericity-support-comparison] 41: Add OO and module-based OCaml versions
by Roland Levillain 07 Dec '05

07 Dec '05

https://svn.lrde.epita.fr/svn/genericity-support-comparison/trunk 2.0/src/oo/ocaml/oo_ocaml.ml | 126 +++++++++++++++++++++++++++++++++++ 2.0/src/st/ocaml/st_ocaml.ml | 151 +++++++++++++++++++++++++++++++++++++++++++ ChangeLog | 8 ++ 3 files changed, 285 insertions(+) Index: ChangeLog from Roland Levillain <roland(a)lrde.epita.fr> Add object-oriented and static (module-based) Objective Caml versions. * 2.0/src/oo/ocaml/oo_ocaml.ml, 2.0/src/st/ocaml/st_ocaml.ml: New files. Index: 2.0/src/st/ocaml/st_ocaml.ml --- 2.0/src/st/ocaml/st_ocaml.ml (révision 0) +++ 2.0/src/st/ocaml/st_ocaml.ml (révision 0) @@ -0,0 +1,151 @@ +(* Compile with : + + ocamlc -o oo_ocaml unix.cma st_ocaml.ml + + or : + + ocamlopt -o oo_ocaml.opt unix.cmxa st_ocaml.ml + +*) + + +(* value *) + +module type VALUE = +sig + type t + val zero : t +end;; + +module Integer = +struct + type t = int + let zero = 0 +end;; + + +(* point *) + +module type POINT = +sig + type t + type contents + val create : contents -> t + val create_default : unit -> t +end;; + +module Point1d = +struct + type contents = int + type t = { index : contents } + let create i = { index = i } + let create_default () = { index = -1 } +end;; + + +(* piter *) + +module type PITER = +sig + type t + module Point : POINT + val create : int -> t + val start : t -> t + val next : t -> t + val is_valid : t -> bool + val point : t -> Point.t +end;; + +module Piter1d = +struct + module Point = Point1d + type t = { p : Point1d.t ; n : int } + let create n = { p = Point1d.create_default (); n = n } + let start i = { i with p = Point1d.create 0 } + let next i = { i with p = Point1d.create (i.p.Point1d.index + 1) } + let is_valid i = i.p.Point1d.index < i.n + let point i = i.p +end;; + + +(* image *) + +module type IMAGE = +sig + module Value : VALUE + module Point : POINT + module Piter : PITER with module Point = Point + type t + type size + val create : size -> Value.t -> t + val get : t -> Point.t -> Value.t + val set : t -> Point.t -> Value.t -> unit + val new_piter : t -> Piter.t +end;; + +module Image1d (Value : VALUE) = +struct + module Value = Value + module Point = Point1d + module Piter = Piter1d + type t = { data : Value.t array ; n : int } + type size = int + let create size value = { data = Array.create size value ; n = size } + let get ima p = ima.data.(p.Point1d.index) + let set ima p v = ima.data.(p.Point1d.index) <- v + let new_piter ima = Piter1d.create ima.n +end +;; + +module Image1dInt = Image1d (Integer);; + + +(* assign *) + +module Assign (Image : IMAGE) = +struct + let go (ima : Image.t) (v : Image.Value.t) = + let rec iter_ p = + if (Image.Piter.is_valid p) then + begin + Image.set ima (Image.Piter.point p) v; + iter_ (Image.Piter.next p) + end + in + iter_ (Image.Piter.start (Image.new_piter ima)) +end;; + +module Assign1d = Assign (Image1dInt);; + + +(* main *) + +let usage () = + prerr_string ("usage: " ^ Sys.argv.(0) ^ " [nsteps = 1]"); + prerr_newline () + +let _ = + if Array.length Sys.argv > 2 then + begin + usage (); + exit 1; + end; + + let size = 1024 * 1024 in + let nsteps = + if Array.length Sys.argv == 2 then + int_of_string Sys.argv.(1) + else + 1 + in + + let ima = Image1dInt.create size 0 in + let value = 51 in + + let t0 = Unix.gettimeofday () in + for step = 0 to nsteps do + Assign1d.go ima value + done; + print_float (Unix.gettimeofday () -. t0); + print_newline () +;; Index: 2.0/src/oo/ocaml/oo_ocaml.ml --- 2.0/src/oo/ocaml/oo_ocaml.ml (révision 0) +++ 2.0/src/oo/ocaml/oo_ocaml.ml (révision 0) @@ -0,0 +1,126 @@ +(* Compile with : + + ocamlc -o oo_ocaml unix.cma oo_ocaml.ml + + or : + + ocamlopt -o oo_ocaml.opt unix.cmxa oo_ocaml.ml + +*) + + +(* value <|-- integer *) + +class virtual value = +object + method virtual assign : value -> value +end;; + +class integer (value : int) = +object (self) + inherit value + val mutable value_ = value + method assign (value : value) = + value_ <- (Obj.magic value); + (self :> value) +end;; + + +(* point <|-- point1d *) + +class virtual point = +object +end;; + +class point1d (i : int) = +object + inherit point + val mutable index_ = i + method index () = index_ + method set_index i = index_ <- i +end;; + + +(* piter <|-- piter1d *) + +class virtual piter = +object + method virtual start : unit -> unit + method virtual next : unit -> unit + method virtual is_valid : unit -> bool + method virtual point : unit -> point +end;; + +class piter1d (n : int) = +object + inherit piter + val mutable n_ = n + val mutable p_ = new point1d 0 + method start () = p_#set_index 0 + method next () = p_#set_index (p_#index () + 1) + method is_valid () = (p_#index ()) < n_ + method point () = (p_ :> point) +end;; + + +(* image <|-- image1d *) + +class virtual image = +object + method virtual get : point -> value + method virtual new_piter : unit -> piter +end;; + +class ['a] image1d (n : int) (v : 'a) = +object + inherit image + val n_ = n + val data_ = Array.make n v + method get (p : point) = data_.((Obj.magic p)#index ()) + method new_piter () = (new piter1d n_ :> piter) +end;; + + +(* assign *) + +let assign (ima : image) (value : value) = + let p = ima#new_piter() in + p#start (); + while p#is_valid () do + ignore ((ima#get (p#point ()))#assign (value)); + p#next () + done +;; + + +(* main *) + +let usage () = + prerr_string ("usage: " ^ Sys.argv.(0) ^ " [nsteps = 1]"); + prerr_newline () + +let _ = + if Array.length Sys.argv > 2 then + begin + usage (); + exit 1; + end; + + let size = 1024 * 1024 in + let nsteps = + if Array.length Sys.argv == 2 then + int_of_string Sys.argv.(1) + else + 1 + in + + let ima = new image1d size (new integer 0) in + let value = new integer 51 in + + let t0 = Unix.gettimeofday () in + for step = 0 to nsteps do + assign ima value + done; + print_float (Unix.gettimeofday () -. t0); + print_newline () +;;

1 0