1. 19 Sep, 2012 1 commit
    • Sylvain Lombardy's avatar
      Modification de reduce : · e4712214
      Sylvain Lombardy authored
      -- choix du pivot (egal a 1 de preference)
      -- gestion de la base courante a travers une permutation de la base canonique
      e4712214
  2. 17 Jul, 2012 2 commits
  3. 16 Jul, 2012 1 commit
  4. 14 Jul, 2012 9 commits
  5. 06 Jun, 2012 1 commit
  6. 24 May, 2012 3 commits
  7. 22 May, 2012 9 commits
    • Alexandre Duret-Lutz's avatar
      * data/vaucanson.xsd: Allow any unknown elements in · 0be11e74
      Alexandre Duret-Lutz authored
      <geometricData> and any unknown attributes in <drawingData>.
      0be11e74
    • Akim Demaille's avatar
      build: more silent rules. · b05f153f
      Akim Demaille authored
      * data/automata/char-b/Makefile.am,
      data/automata/char-f2/Makefile.am,
      data/automata/char-fmp-b/Makefile.am,
      data/automata/char-fmp-z/Makefile.am,
      data/automata/char-q/Makefile.am,
      data/automata/char-r/Makefile.am,
      data/automata/char-z/Makefile.am,
      data/automata/char-zmax/Makefile.am,
      data/automata/char-zmin/Makefile.am:
      Use AM_V_GEN.
      Remove useless _SOURCES.
      b05f153f
    • Akim Demaille's avatar
      build: default extension is cc. · 71b26c40
      Akim Demaille authored
      * vaucanson.mk: here.
      71b26c40
    • Akim Demaille's avatar
      build: fixes for G++ 4.7. · 0d2ada68
      Akim Demaille authored
      * taf-kit/src/edition_commands.hxx: For some reason,
      tgetstr takes a "char*", but does not write into it.
      So use a cast to remove the "const" bit of the string.
      0d2ada68
    • Akim Demaille's avatar
      build: upgrade spirit headers. · b26653de
      Akim Demaille authored
      * taf-kit/src/parser_options.hh: Comply with warnings issued
      by spirit itself.
      b26653de
    • Akim Demaille's avatar
      build: echo -n is not portable. · c63f4495
      Akim Demaille authored
      At least on my machine, I have:
      
        -n ## Vaucanson test suite.
        ## DO NOT EDIT! This file is generated by build-aux/find_tests.sh
        TEST_SUBDIRS =
        -n  \
          algebra_alphabet_set_alpha
      
      etc.
      
      * build-aux/find_tests.sh: Use printf.
      c63f4495
    • Akim Demaille's avatar
      build: silent-rules. · 019662eb
      Akim Demaille authored
      * configure.ac: here.
      019662eb
    • Akim Demaille's avatar
      utf-8. · 68bb4f7b
      Akim Demaille authored
      * AUTHORS,
      * ChangeLog,
      * ChangeLog.1,
      * ChangeLog.2,
      * include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
      * include/vaucanson/algorithms/aut_to_exp.hh,
      * include/vaucanson/algorithms/complement.hh,
      * include/vaucanson/algorithms/complete.hh,
      * include/vaucanson/algorithms/derived_term_automaton.hh,
      * include/vaucanson/algorithms/determinize.hh,
      * include/vaucanson/algorithms/eval.hh,
      * include/vaucanson/algorithms/is_deterministic.hh,
      * include/vaucanson/algorithms/is_normalized.hh,
      * include/vaucanson/algorithms/minimization_hopcroft.hh,
      * include/vaucanson/algorithms/standard_of.hh,
      * include/vaucanson/algorithms/sub_automaton.hh,
      * include/vaucanson/design_pattern/design_pattern.hh:
      recode l1..u8.
      68bb4f7b
    • Akim Demaille's avatar
      parser: simplifications. · 825af57d
      Akim Demaille authored
      * lib/src/krat_exp/krat_exp_bison.yy: Require Bison 2.5.
      Require locations, for upward compatibility with 2.6.
      Use a couple typedefs for clarity.
      Factor vcsnyy::... with a namespace vcsnyy {...}.
      Use code requires/provides for clarity.
      825af57d
  8. 22 Nov, 2011 2 commits
  9. 20 Nov, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Add option to list commands with their input and output specifications. · c99532c6
      Alexandre Duret-Lutz authored
      * taf-kit/src/main.cc: Add option --list-all-commands-json.
      * taf-kit/src/Makefile.am: #define the name of all contexts
      for all instances.
      * taf-kit/src/commands.hh, taf-kit/src/commands.cc:
      Add new specifiers to describe parameters, and implement
      a list_json() method.
      * taf-kit/src/cmd_wt.cc, taf-kit/src/cmd_b.cc,
      taf-kit/src/cmd_fmp.cc, taf-kit/src/cmd_gen.cc,
      taf-kit/src/cmd_io.cc, taf-kit/src/cmd_pair.cc,
      taf-kit/src/cmd_r.cc, taf-kit/src/cmd_wt.cc: Specify output.
      c99532c6
  10. 28 Sep, 2011 2 commits
  11. 27 Sep, 2011 9 commits