Skip to content
GitLab
  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
  3. 17 Jul, 2012 2 commits
  5. 16 Jul, 2012 1 commit
  7. 14 Jul, 2012 9 commits
  9. 06 Jun, 2012 1 commit
  11. 24 May, 2012 3 commits
  13. 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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * 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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * vaucanson.mk: here.
      71b26c40
    • Akim Demaille's avatar
      build: fixes for G++ 4.7. · 0d2ada68
      Akim Demaille authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * 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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * 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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * configure.ac: here.
      019662eb
    • Akim Demaille's avatar
      utf-8. · 68bb4f7b
      Akim Demaille authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * 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 and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed 
      * 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
  15. 22 Nov, 2011 2 commits
  17. 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
  19. 28 Sep, 2011 2 commits
  21. 27 Sep, 2011 9 commits