ChangeLog 744 KB
Newer Older
1
2
3
4
5
6
7
2009-11-19  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Fix realtime composition benchmark.

	* src/bench/composition/realtime_composition_bench.hh:
	Parameter name "n" -> "_n_" (like everywhere else).

8
9
10
11
12
13
14
15
16
17
18
2009-11-19  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Make aut_complete compatible with LAL.

	Label transitions with 'a' instead of epsilon.

	* src/bench/common/bench_constructs.hh: Enable aut_complete,
	Use add_transition instead of add_spontaneous.
	* src/bench/common/README_AUTOMATA,
	* src/bench/accessible/accessible_bench.hh: Update description.

19
20
21
22
23
24
2009-11-19  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Get OPENFST_PATH in a more portable way than expr.

	* configure.ac: Use ${path%/*} to remove the last path component.

25
26
27
28
29
30
31
32
2009-11-18  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Create separate files each time a benchmark is run.

	Append a suffix (".1", ".2", ...) to the name of the generated files.

	* src/bench/common/bench_macros.hh: Update BENCH_VCSN_SAVE_AND_PRINT.

33
34
35
36
37
38
39
40
41
2009-11-18  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Fix OpenFST benchmarks.

	* configure.ac: Set OPENFST_PATH as the path to OpenFST binaries.
	* src/bench/common/bench.mk,
	* src/bench/determinization/Makefile.bench,
	* src/bench/minimization/Makefile.bench: Refactor code.

42
43
44
45
46
47
48
49
50
51
2009-11-18  d-halluin  <d-halluin@lrde.epita.fr>

	[benchmarks] Add Dnk automaton and related eval benchmark.

	* src/bench/common/bench_constructs.cc: Dump dot automaton.
	* src/bench/common/bench_constructs.hh: Add Dnk automaton (aut_dnk).
	* src/bench/eval/Makefile.bench: Add eval benchmark on aut_dnk,
	adjust aut_b bench.
	* src/bench/eval/eval_aut_dnk_bench.hh: New. Benchmark definition.

52
53
54
55
56
57
2009-10-19  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in the bootstrap script.

	* bootstrap: Add a missing t.

Florent D'Halluin's avatar
Florent D'Halluin committed
58
59
60
61
62
63
64
65
2009-09-30  d-halluin  <d-halluin@lrde.epita.fr>

	Update CBS.

	Version 40405a129b6abfe96b5b90de2c392500b048ef72.

	See cbs/Changelog.

66
67
68
69
70
71
2009-09-30  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in lrde-upload.sh.

	* lrde-upload.sh: Replace why by while.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
72
73
74
75
76
2009-09-22  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac: Bump version to 1.3.2.
	* doc/manual/taf-kit-manual.tex: Likewise.

77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
2009-09-21  d-halluin  <d-halluin@lrde.epita.fr>

	Distribute CSB under GPL in Vaucanson.

	* cbs/COPYING: New license text (same as ./COPYING).
	* cbs/README: Updated to reflect the changes.
	* cbs/configure.ac: Header changed by hand.
	* cbs/Makefile.am,
	* cbs/cbs.mk,
	* cbs/demo/Makefile.am,
	* cbs/demo/bench/Makefile.am,
	* cbs/demo/bench/main.cc,
	* cbs/demo/comparison/Makefile.am,
	* cbs/demo/comparison/main.cc,
	* cbs/demo/memplot-bench/Makefile.am,
	* cbs/demo/memplot-bench/main.cc,
	* cbs/demo/memplot/Makefile.am,
	* cbs/demo/memplot/main.cc,
	* cbs/demo/timer-bench/Makefile.am,
	* cbs/demo/timer-bench/main.cc,
	* cbs/demo/timer/Makefile.am,
	* cbs/demo/timer/main.cc,
	* cbs/include/Makefile.am,
	* cbs/include/cbs/bench/bench.hh,
	* cbs/include/cbs/bench/bench_internals.hh,
	* cbs/include/cbs/bench/bench_macros.hh,
	* cbs/include/cbs/bench/internal/timer_gathering.hh,
	* cbs/include/cbs/bench/internal/timer_gathering.hxx,
	* cbs/include/cbs/bench/internal/timer_graph.hh,
	* cbs/include/cbs/bench/internal/timer_graph.hxx,
	* cbs/include/cbs/bench/memplot.hh,
	* cbs/include/cbs/bench/timer.hh,
	* cbs/include/cbs/bench/timer.hxx,
	* cbs/lib/Makefile.am,
	* cbs/lib/bench.cc,
	* cbs/lib/memplot.cc,
	* cbs/lib/timer.cc,
	* cbs/lib/timer_gathering.cc,
	* cbs/lib/timer_graph.cc: Header automatically updated.

117
118
119
120
2009-09-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/NEWS.txt: Prepare for release 1.3.2.

121
122
123
124
125
126
2009-09-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/generate_headers.sh: Also erase context files directly
	generated in vaucanson/include/vaucanson/, not only those in
	vaucanson/include/vaucanson/contexts/.

127
128
129
130
131
132
133
134
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Propagate configure arguments to distcheck.

	* configure.ac (DISTCHECK_CONFIGURE_FLAGS): Substitute it from
	here, and include $ac_configure_args.
	* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Remove.

135
136
137
138
139
140
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Update instructions for building with Boost
	and Xerces in a non-standard directory.  Move the "Requirements"
	section before these instructions.

141
142
143
144
145
146
147
148
149
150
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Eradicate empty variables tied to --with options.

	* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Remove
	MORE_DISTCHECK_CONFIGURE_FLAGS.
	* vaucanson.mk (AM_CPPFLAGS): Remove BOOST_FLAGS.
	(AM_LDFLAGS): Remove.
	* taf-kit/src/Makefile.am (AM_LDFLAGS): Set with =, not +=.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
151
152
153
154
155
156
157
158
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove --with-xerces.

	* build-aux/vcsn-xml.m4: Rewrite using a more recent syntax, and
	without using --with.  People will set CPPFLAGS and LDFLAGS if
	they have an unusual Boost installation root.  Take the minimum
	version as argument.
159
	* configure.ac: Adjust call to VCSN_XML, and remove the definition
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
160
161
	of MORE_DISTCHECK_CONFIGURE_FLAGS.

162
163
164
165
166
167
168
169
170
171
172
173
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not use AX_BOOST_BASE.

	* build-aux/ax_boost_base.m4: Delete.
	* build-aux/Makefile.am (dist_m4data_DATA): Remove
	ax_boost_base.m4.
	* build-aux/vcsn-boost.m4: New file.
	* configure.ac: Use VCSN_BOOST instead of AX_BOOST_BASE.  The
	latter did too much and we want people to simply set CPPFLAGS
	and LDFLAGS if they have an unusual Boost installation root.

174
175
176
177
2009-09-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/generate_headers.sh: Use the full name to erase a file.

178
179
180
181
2009-09-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/generate_headers.sh: Remove stray context files.

182
183
184
185
186
187
188
2009-09-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	More make portability for FreeBSD.

	* data/automata/char-z/Makefile.am (b1.xml): Do not use $< in a
	non-suffix rules.

189
190
191
192
193
194
195
196
197
198
2009-09-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix run-time computation of automata path.

	* taf-kit/src/library_commands.hh (get_automata_path): Search for
	vcsn- in program_name, do not assume it is at the beginning.  This
	was causing trouble when Taf-Kit was run as './vcsn-char-b' for
	instance, because it would then remove the first five characters
	and look for a directory named '/n-char-b'.

199
200
201
202
203
204
205
206
2009-09-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix configure-time computation of VCSN_DATA_PATH.

	* configure.ac (VCSN_DATA_PATH): Fix underquoted code in $prefix
	computation.  This was causing the wrong value of VCSN_DATA_PATH
	to be defined on my test installation on FreeBSD.

207
208
209
210
211
212
213
214
215
216
2009-09-14  d-halluin  <d-halluin@lrde.epita.fr>

	Update benchmark documentation.

	* src/bench/README,
	* src/bench/common/README_AUTOMATA: Update.
	* src/bench/common/Makefile.am: Add file.
	* src/bench/common/bench_constructs.cc: New program, generate a
	sample of the benchmark automata in dot format.

Florent D'Halluin's avatar
Florent D'Halluin committed
217
218
219
220
221
222
223
224
225
226
227
228
229
2009-09-11  d-halluin  <d-halluin@lrde.epita.fr>

	Remove seq in benchmarks.

	* src/bench/composition/Makefile.bench,
	* src/bench/derived_terms/Makefile.bench,
	* src/bench/determinization/Makefile.bench,
	* src/bench/eps_removal/Makefile.bench,
	* src/bench/eval/Makefile.bench,
	* src/bench/minimization/Makefile.bench,
	* src/bench/product/Makefile.bench,
	* src/bench/quotient/Makefile.bench: List all the values instead.

Florent D'Halluin's avatar
Florent D'Halluin committed
230
231
232
233
234
235
236
2009-09-11  d-halluin  <d-halluin@lrde.epita.fr>

	Remove --with-openfst.

	* configure.ac: Enable OpenFST benchmarks if fstcompile
	is accessible from the current PATH.

Florent D'Halluin's avatar
Florent D'Halluin committed
237
238
239
240
241
242
243
2009-09-07  d-halluin  <d-halluin@lrde.epita.fr>

	Update CBS.

	CBS version: f19d09ad8c6566888b72a87bbed5aa628da3dbf1.
	See cbs/Changelog.

Florent D'Halluin's avatar
Florent D'Halluin committed
244
245
246
247
248
249
250
2009-09-04  d-halluin  <d-halluin@lrde.epita.fr>

	Update CBS.

	CBS version: 01c2191d02af066c21e04e6247c78778155d6724.
	See cbs/Changelog.

Florent D'Halluin's avatar
Florent D'Halluin committed
251
252
253
254
255
256
257
2009-09-04  d-halluin  <d-halluin@lrde.epita.fr>

	Fix .gitignore.

	* .gitignore: Do not ignore *.in files,
	ignore Makefile.in instead.

258
2009-09-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
259
260
261

	* bootstrap: force Automake-1.11 if available.

262
263
264
265
266
267
268
2009-09-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/Makefile.am (.txt.tex, .tex.pdf): Rewrite as a single
	.txt.pdf rule, to please BSD Make.
	* doc/manual/Makefile.am (%.pdf: %.tex): Rewrite as a portable
	.tex.pdf rule.

269
270
271
272
273
274
2009-09-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/unit-compile.mk: Delete this unused Makefile that uses
	unportable %-rules.
	* doc/Makefile.am (dist_doc_DATA): Remove.

275
276
277
278
279
280
2009-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Switch to Libtool 2.2, which is more that one year old now.

	* configure.ac: Use LT_INIT instead of AC_PROG_LIBTOOL.

281
282
283
284
285
286
287
288
289
290
291
2009-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Let Automake 11.1 handle parallel and color tests.

	* configure.ac: Require Automake 1.11 and use the new
	color-tests and parallel-tests options.
	* build-aux/check.mk: Delete.
	* src/tests/check/check.mk, src/tests/xml/Makefile.am,
	taf-kit/tests/Makefile.am: Do not include build-aux/check.mk
	anymore.

292
293
294
295
296
2009-07-08  Alex Hamelin  <hamelin@lrde.epita.fr>

	* configure.ac: Bump version to 1.3.1a.
	* doc/manual/taf-kit-manual.tex: Likewise.

Alex Hamelin's avatar
Alex Hamelin committed
297
298
299
2009-07-08  Alex Hamelin  <hamelin@lrde.epita.fr>

	Release 1.3.1.
300

Alex Hamelin's avatar
Alex Hamelin committed
301
302
303
304
305
306
	* doc/README.txt: Add information about CBS, Remove
	information about VaucanSWIG.
	* doc/NEWS.txt: Update for 1.3.1.
	* doc/manual/taf-kit-manual.tex: Likewise.
	* configure.ac: Bump version to 1.3.1.

307
308
309
310
311
312
313
314
315
316
317
318
319
2009-07-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix standard_of() w.r.t. listg.

	* include/vaucanson/algorithms/standard_of.hxx
	(Standard_OfVisitor): After concatenating to automata, and before
	erasing the obsolete initial state of the RHS, do not explicitly
	erase the transition leaving that initial state.  This is useless
	because del_state() already does the work.  This was bogus because
	del_transition invalidates the delta_iterator in the listg
	implementation.
	* include/vaucanson/algorithms/standard.hxx: Typos.

320
321
322
323
324
325
326
327
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make listg the default graph implementation, since we now know
	that bmig is slower.

	* configure.ac (ac_default_graph_impl): Make listg the default.
	* doc/README.txt: Adjust documentation of --default-graph-impl.

328
329
330
331
332
333
334
2009-08-02  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in generate_bench.sh.

	* src/bench/generate_bench.sh: Remove the e letter introduced by
	commit b29a54029698aa76b7c4b4218f43e56ce8e7c739.

Florent D'Halluin's avatar
Florent D'Halluin committed
335
336
337
338
339
340
341
2009-07-29  d-halluin  <d-halluin@lrde.epita.fr>

	Tweak eval benchmark.

	* src/bench/eval/Makefile.bench: Tweak sequence for aut_b bench.
	* src/bench/eval/eval_aut_b_bench.hh: Remove debug output, fix display.

342
343
344
345
346
347
348
2009-07-29  d-halluin  <d-halluin@lrde.epita.fr>

	Bench: rename parameter "over" into "context".

	* src/bench/product/product_aut_b_bool_bench.hh,
	* src/bench/product/product_aut_b_z_bench.hh: Do that.

Florent D'Halluin's avatar
Florent D'Halluin committed
349
350
351
352
353
354
355
356
357
358
359
360
361
2009-07-29  d-halluin  <d-halluin@lrde.epita.fr>

	Add eval benchmark.

	* configure.ac: Add Makefile.
	* src/bench/Makefile.am,
	* src/bench/generate_bench.sh: Add directory.
	* src/bench/eval/Makefile.bench,
	* src/bench/eval/eval_aut_b_bench.hh,
	* src/bench/eval/eval_aut_ladybird_bench.hh,
	* src/bench/eval/eval_aut_ladybird_determinized_bench.hh:
	New. Implementation

362
363
364
365
366
367
2009-07-16  d-halluin  <d-halluin@lrde.epita.fr>

	Update .gitignore in benchmarks.

	* src/bench/.gitignore: Update.

368
369
370
371
372
373
374
375
376
377
378
2009-07-15  d-halluin  <d-halluin@lrde.epita.fr>

	Add determinize benchmark on ladybird.

	* src/bench/common/README_AUTOMATA,
	* src/bench/common/bench_constructs.hh: Add ladybird.
	* src/bench/determinization/Makefile.bench: Add case.
	* src/bench/determinization/determinization_aut_ladybird_bench.hh,
	* src/bench/determinization/determinization_aut_ladybird_openfst_bench.hh:
	New.  Implementation.

Florent D'Halluin's avatar
Florent D'Halluin committed
379
380
381
382
383
384
385
2009-07-15  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

	CBS version: d0cef86a72e495219ff5e3d63d081b9baefe2cf2.
	See cbs/Changelog.

386
387
388
389
390
391
2009-07-15  d-halluin  <d-halluin@lrde.epita.fr>

	Add README_AUTOMATA in EXTRA_DIST.

	* src/bench/common/Makefile.am: Do that.

Florent D'Halluin's avatar
Florent D'Halluin committed
392
393
394
395
396
397
398
399
400
401
402
2009-06-19  d-halluin  <d-halluin@lrde.epita.fr>

	Add benchmark for product.

	* configure.ac,
	* src/bench/Makefile.am,
	* src/bench/generate_bench.sh: Add new makefiles/directories.
	* src/bench/product/Makefile.bench,
	* src/bench/product/product_aut_b_bool_bench.hh,
	* src/bench/product/product_aut_b_z_bench.hh: New. Implementation.

403
404
405
406
407
408
409
410
2009-06-19  d-halluin  <d-halluin@lrde.epita.fr>

	Benchmarks: rename aut_ab into aut_b.

	* src/bench/common/bench_constructs.hh,
	* src/bench/quotient/quotient_bool_bench.hh,
	* src/bench/quotient/quotient_z_bench.hh: Do that.

411
412
413
414
415
416
417
418
2009-06-19  d-halluin  <d-halluin@lrde.epita.fr>

	Update accessible benchmark.

	* src/bench/accessible/Makefile.bench: Adjust benchmark values.
	* src/bench/accessible/accessible_bench.hh,
	* src/bench/common/bench_constructs.hh: Move automaton creation.

419
420
421
422
423
424
425
2009-06-19  d-halluin  <d-halluin@lrde.epita.fr>

	Benchmarks: add documentation.

	* src/bench/README,
	* src/bench/common/README_AUTOMATA: Update.

Florent D'Halluin's avatar
Florent D'Halluin committed
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
2009-06-17  d-halluin  <d-halluin@lrde.epita.fr>

	Update benchmarks.

	This is a compound patch that can hardly be divided into separate
	patches.  It includes:


	1. OpenFST integration.

	  If OpenFST is present, OpenFST benchmarks are made for some
	  algorithms.

	2. Some (incomplete) documentation.

	  Describe the benchmarking process, input automata, and results.

	3. Clean up & name consistency.

	  Move existing benchmarks into directories with consistent names
	  (the benchmarked algorithms), store results in a specific
	  directory according to input and other parameters.


	Patch details:

	1. OpenFST integration:

	* configure.ac: Add --with-openfst option.
	* src/bench/common/alpha.syms: Add missing line.
	* src/bench/common/bench.mk: Fix -DVCSN_SRC_DIR flag.
	* src/bench/common/bench_macros.hh: Add convenient macros

	* src/bench/determinization/Makefile.bench: Add OpenFST bench.
	* src/bench/determinization/determinization_aut_2n_openfst_bench.hh:
	New (OpenFST benchmark program).

	* src/bench/minimization/Makefile.bench: New (add OpenFST bench).
	* src/bench/minimization/minimization_aut_2n_openfst_bench.hh:
	New (OpenFST benchmark program).
	* src/bench/minimization/minimization_aut_debruijn_openfst_bench.hh,
	New (OpenFST benchmark program).

	2. Some (incomplete) documentation:

	* src/bench/README: New.  General information.
	* src/bench/common/README: New.
	* src/bench/common/README_AUTOMATA: New.

	3. Clean up & name consistency:

	* configure.ac: Add/remove makefiles.
	* src/bench/Makefile.am: Add/remove directories.
	* src/bench/generate_bench.sh: Add/remove directories.

	* src/bench/common/Makefile.am: Clean up.
	* src/bench/common/bench_automaton.hh: Remove (unused).
	* src/bench/common/bench_constructs.hh: Clean up, add automata.

	Move accessible to its own directory:

	* src/bench/accessible/Makefile.bench: New.
	* src/bench/iterators/accessible_bench.hh:
	Rename into src/bench/accessible/accessible_bench.hh.

	Clean up composition:

	* src/bench/composition/Makefile.bench,
	* src/bench/composition/normalized_composition_bench.hh: Consistency.
	* src/bench/composition/rw_composition_bench.hh: Rename into
	src/bench/composition/realtime_composition_bench.hh.

	Clean up derived-terms:

	* src/bench/derived_terms/Makefile.bench,
	* src/bench/derived_terms/derived_terms_bench.hh: Consistency.

	Clean up determinization:

	* src/bench/determinization/Makefile.bench: Consistency.
	* src/bench/determinization/determinization_bench.hh: Rename into
	src/bench/determinization/determinization_aut_2n_bench.hh.
	* src/bench/determinization/determinization_bench_fsm.cc:
	Remove (unused).

	Clean up eps_removal:

	* src/bench/eps_removal/Makefile.bench,
	* src/bench/eps_removal/eps_removal_bench.hh: Consistency.

	Clean up iterators:

	* src/bench/iterators/Makefile.bench,
	* src/bench/iterators/iterator_bench.hh: Consistency.

	Clean up quotient:

	* src/bench/quotient/Makefile.bench,
	* src/bench/quotient/quotient_bool_bench.hh,
	* src/bench/quotient/quotient_z_bench.hh: Consistency.

	Clean up minimization:

	* src/bench/minimization/Makefile.bench: New (merge from
	minimization_2n and minimization_debruijn).
	* src/bench/minimization_2n/Makefile.bench: Remove (unused).
	* src/bench/minimization_debruijn/Makefile.bench: Remove (unused).

	* src/bench/minimization_2n/minimization_2n_brzozowski_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_2n_brzozowski_bench.hh.
	* src/bench/minimization_2n/minimization_2n_hopcroft_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_2n_hopcroft_bench.hh.
	* src/bench/minimization_2n/minimization_2n_moore_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_2n_moore_bench.hh.
	* src/bench/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_debruijn_brzozowski_bench.hh.
	* src/bench/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_debruijn_hopcroft_bench.hh.
	* src/bench/minimization_debruijn/minimization_debruijn_moore_bench.hh:
	Rename into
	src/bench/minimization/minimization_aut_debruijn_moore_bench.hh.

Florent D'Halluin's avatar
Florent D'Halluin committed
553
554
555
556
557
558
559
2009-06-17  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

	CBS version: f2cc74d682bddc0da7386a5ce1017b591c2c6e47.
	See cbs/Changelog.

Florent D'Halluin's avatar
Florent D'Halluin committed
560
561
562
563
564
565
566
2009-06-14  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

	CBS version: 17a18a174536d6b05c5364dd5f96f420b5ca75ef.
	See cbs/Changelog.

567
568
569
570
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* bootstrap: Update to mention cbs/ instead of argp/.

571
572
573
574
575
576
2009-05-05  d-halluin  <d-halluin@lrde.epita.fr>

	Fix call graph export in taf-kit.

	* taf-kit/src/main.cc: Use the correct variable.

577
578
579
580
581
582
583
584
585
2009-05-01  d-halluin  <d-halluin@lrde.epita.fr>

	Adjust bench to complete in a reasonable time.

	* src/bench/minimization_2n/Makefile.bench: Do not bench
	minimization_brzozowski past n=12 (already 8min on seattle).

	* src/bench/eps_removal/Makefile.bench: Bench up to 200.

Florent D'Halluin's avatar
Florent D'Halluin committed
586
587
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

588
	Fix composition bench.
Florent D'Halluin's avatar
Florent D'Halluin committed
589

590
591
592
	* src/bench/composition/normalized_composition_bench.hh,
	* src/bench/composition/rw_composition_bench.hh:
	Add missing CBS parameter (n).
Florent D'Halluin's avatar
Florent D'Halluin committed
593

594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Fix quotient bench automaton.

	The previous automaton made no sense to Jacques and looked like
	there has been a fishy copy/paste.

	It now is:

	A -a-> A
	A -b-> A
	A -b-> B
	B -a-> B
	B -b-> B

	* src/bench/quotient/quotient_bool_bench.hh: Do that.

611
612
613
614
615
616
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Enable callgraph in benchmark dot output.

	* src/bench/common/bench_macros.hh: Fix macro.

Florent D'Halluin's avatar
Florent D'Halluin committed
617
618
619
620
621
622
623
2009-04-28  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

	CBS version: aef3055d95b926d6242ebbce64a128df044cbba2.
	See cbs/Changelog.

624
625
626
627
628
629
630
631
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Optimize quotient on boolean automata.

	(As mentioned during the meeting on April 10th)

	* include/vaucanson/algorithms/minimization_hopcroft.hxx: Do that.

632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Fix quotient bench automaton.

	The previous automaton made no sense to Jacques and looked like
	there has been a fishy copy/paste.

	It now is:

	A -a-> A
	A -b-> A
	A -b-> B
	B -a-> B
	B -b-> B

	* src/bench/quotient/quotient_bool_bench.hh: Do that.

649
650
651
652
653
654
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Enable callgraph in benchmark dot output.

	* src/bench/common/bench_macros.hh: Fix macro.

Florent D'Halluin's avatar
Florent D'Halluin committed
655
656
657
658
659
660
661
2009-04-28  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

	CBS version: aef3055d95b926d6242ebbce64a128df044cbba2.
	See cbs/Changelog.

Florent D'Halluin's avatar
Florent D'Halluin committed
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
2009-04-16  d-halluin  <d-halluin@lrde.epita.fr>

	Fix make check.

	Use CBS in demos, disable CBS in tests (for faster
	compilation/link), disable CBS in vaucanswig.

	* src/demos/algorithms/Makefile.am,
	* src/demos/one_rule_rewriting/Makefile.am,
	* src/demos/vgrep/Makefile.am:
	Add cbs include dir, link with libbench.la.

	* src/tests/xml/Makefile.am,
	* src/tests/check/check-flags.mk,
	* src/tests/sanity/Makefile.am:
	Add cbs include dir. Disable bench (-DBENCH_DISABLED).

	* vaucanswig/expand.sh,
	* vaucanswig/meta/Makefile.am:
	Add cbs include dir. Disable bench (-DBENCH_DISABLED).

Florent D'Halluin's avatar
Florent D'Halluin committed
683
684
685
686
2009-04-09  d-halluin  <d-halluin@lrde.epita.fr>

	Update cbs.

687
	CBS version: e97a404a44e5b5d19d4a869aa1f43524386c5b09.
Florent D'Halluin's avatar
Florent D'Halluin committed
688
689
	See cbs/Changelog.

Florent D'Halluin's avatar
Florent D'Halluin committed
690
691
692
693
694
695
696
697
698
699
2009-04-10  d-halluin  <d-halluin@lrde.epita.fr>

	Link taf-kit, libs and benches with $(benchlib).

	* vaucanson.mk: Define benchlib.
	* lib/generate_libvcsn.rb,
	* taf-kit/src/Makefile.am,
	* src/bench/generate_bench.sh: Use it.

2009-04-10  d-halluin  <d-halluin@lrde.epita.fr>
700

701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
	Replace timer and global_timer with cbs.

	Note: bencher and global_bencher remain.

	4 steps:
	1) Remove the timer system.
	2) Fix taf-kit.
	3) Disable bench in data/automata.
	4) Use cbs in algorithms/*.hxx and tools/*.hxx.

	Most modifications were only macro renaming.

	Tests:
	/!\ make check should be done on this patch.
	Taf-kit was quickly tested.
	make bench was quickly tested as well.

	Files patched:

	1) Remove the timer system:

	* include/vaucanson/misc/global_bencher.hh: New.
	Gather bencher-related macros.  Bench using the timer from cbs.
	* include/vaucanson/misc/global_timer.hh: Removed.
	Remove timer-related macros, put the rest in global_bencher.hh.
	* include/vaucanson/misc/usual_macros.hh: Include the proper files.
	* include/Makefile.am: Add/remove files.
	* include/vaucanson/misc/global_timer.hh,
	* include/vaucanson/misc/timer.cc,
	* include/vaucanson/misc/timer.hh,
	* include/vaucanson/misc/timer.hxx,
	* include/vaucanson/misc/timer_internal_gathering.cc,
	* include/vaucanson/misc/timer_internal_gathering.hh,
	* include/vaucanson/misc/timer_internal_gathering.hxx,
	* include/vaucanson/misc/timer_internal_graph.cc,
	* include/vaucanson/misc/timer_internal_graph.hh,
	* include/vaucanson/misc/timer_internal_graph.hxx: Removed.

	2) Fix taf-kit:

	* taf-kit/src/common.hh,
	* taf-kit/src/main.cc: Remove global_timer. Fix macros.

	3) Disable bench in data/automata:

	* data/automata/char-b/Makefile.am,
	* data/automata/char-fmp-b/Makefile.am,
	* data/automata/char-z/Makefile.am:
	Set -DBENCH_DISABLED in AM_CPPFLAGS.

	4) Use cbs in algorithms/*.hxx and tools/*.hxx:

	* include/vaucanson/algorithms/accessible.hxx,
	* include/vaucanson/algorithms/aci_canonical.hxx,
	* include/vaucanson/algorithms/aut_projection.hxx,
	* include/vaucanson/algorithms/aut_to_exp.hxx,
	* include/vaucanson/algorithms/berry_sethi.hxx,
	* include/vaucanson/algorithms/brzozowski.hxx,
	* include/vaucanson/algorithms/complement.hxx,
	* include/vaucanson/algorithms/complete.hxx,
	* include/vaucanson/algorithms/composition_cover.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/domain.hxx,
	* include/vaucanson/algorithms/eps_removal.hxx,
	* include/vaucanson/algorithms/eps_removal_sp.hxx,
	* include/vaucanson/algorithms/eval.hxx,
	* include/vaucanson/algorithms/evaluation_fmp.hxx,
	* include/vaucanson/algorithms/extension.hxx,
	* include/vaucanson/algorithms/finite_support_conversion.hxx,
	* include/vaucanson/algorithms/fmp_to_rw.hxx,
	* include/vaucanson/algorithms/image.hxx,
	* include/vaucanson/algorithms/invert.hxx,
	* include/vaucanson/algorithms/is_ambiguous.hxx,
	* include/vaucanson/algorithms/is_deterministic.hxx,
	* include/vaucanson/algorithms/is_ltl.hxx,
	* include/vaucanson/algorithms/is_normalized.hxx,
	* include/vaucanson/algorithms/isomorph.hxx,
	* include/vaucanson/algorithms/letter_to_letter_composition.h,
	* include/vaucanson/algorithms/ltl_to_pair.hxx,
	* include/vaucanson/algorithms/minimization_hopcroft.hxx,
	* include/vaucanson/algorithms/minimization_moore.hxx,
	* include/vaucanson/algorithms/normalized.hxx,
	* include/vaucanson/algorithms/pair_to_fmp.hxx,
	* include/vaucanson/algorithms/product.hxx,
	* include/vaucanson/algorithms/projection.hxx,
	* include/vaucanson/algorithms/realtime.hxx,
	* include/vaucanson/algorithms/rw_composition.hxx,
	* include/vaucanson/algorithms/search.hxx,
	* include/vaucanson/algorithms/standard.hxx,
	* include/vaucanson/algorithms/sub_automaton.hxx,
	* include/vaucanson/algorithms/sub_normalize.hxx,
	* include/vaucanson/algorithms/transpose.hxx,
	* include/vaucanson/algorithms/trim.hxx,
	* include/vaucanson/tools/io.hxx: Replace TIMER_SCOPED with
	BENCH_TASK_SCOPED.
799

Florent D'Halluin's avatar
Florent D'Halluin committed
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
2009-04-11  d-halluin  <d-halluin@lrde.epita.fr>

	Equip bench with CBS

	Note: Squash previous related patches with this one.

	3 Steps:

	1) Use CBS files.
	2) Remove obsolete tools.
	3) Equip all benches.

	1) Use CBS files:

	* src/bench/common/bench_macros.hh: New.
	Include cbs/bench/bench.hh, define handy macros.
	* src/bench/common/Makefile.am: Add file.
	* src/bench/generate_bench.sh: Include common/bench_macros.hh in
	generated Makefiles.

	2) Remove obsolete tools:

	* include/vaucanson/tools/bencher.hh,
	* include/vaucanson/tools/bencher.hxx: Deleted.
	Served the same purpose as the cbs timer, with less flexibility.

	3) Equip all benches:

	Replace macros VCSN_BENCH_XXX with the CBS equivalent.
	Add parameters and results when applicable (all the info
	previously printed on cout/cerr are now parameters and results).

	3 files are generated for each bench.  There are between 5 and 10
	benches per file below.  See common/bench_macros.hh to change that.

	* src/bench/composition/normalized_composition_bench.hh,
	* src/bench/composition/rw_composition_bench.hh,
	* src/bench/derived_terms/derived_terms_bench.hh,
	* src/bench/determinization/determinization_bench.hh,
	* src/bench/eps_removal/eps_removal_bench.hh,
	* src/bench/iterators/accessible_bench.hh,
	* src/bench/iterators/iterator_bench.hh,
	* src/bench/minimization_2n/minimization_2n_brzozowski_bench.h,
	* src/bench/minimization_2n/minimization_2n_hopcroft_bench.hh,
	* src/bench/minimization_2n/minimization_2n_moore_bench.hh,
	* src/bench/minimization_debruijn/minimization_debruijn_brzozo,
	* src/bench/minimization_debruijn/minimization_debruijn_hopcro,
	* src/bench/minimization_debruijn/minimization_debruijn_moore_,
	* src/bench/quotient/quotient_bool_bench.hh,
	* src/bench/quotient/quotient_z_bench.hh: Do that.

Florent D'Halluin's avatar
Florent D'Halluin committed
851
852
853
854
855
856
857
858
2009-04-06  d-halluin  <d-halluin@lrde.epita.fr>

	Add cbs (libbench).

	* cbs: Add directory.
	* configure.ac: Add AC_CONFIG_SUBDIRS for cbs.
	* Makefile.am: Add cbs subdir.

859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Update to gnulib 567f85cfcdb0a63cf96730d0858581b013765d59.

	* gnulib/Makefile.am, gnulib/argp-fmtstream.c, gnulib/getopt1.c,
	gnulib/gettext.h, gnulib/progname.c, gnulib/stdint.in.h ,
	gnulib/stdio.in.h, gnulib/stdlib.in.h, gnulib/strerror.c ,
	gnulib/unistd.in.h, gnulib/vasnprintf.c, gnulib/wchar.in.h ,
	gnulib/xmalloc.c, m4/alloca.m4, m4/argp.m4 ,
	m4/double-slash-root.m4, m4/errno_h.m4, m4/extensions.m4 ,
	m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4 ,
	m4/include_next.m4, m4/inline.m4, m4/intmax_t.m4 ,
	m4/inttypes_h.m4, m4/longlong.m4, m4/malloc.m4, m4/mempcpy.m4 ,
	m4/printf.m4, m4/size_max.m4, m4/stdbool.m4, m4/stdint.m4 ,
	m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4, m4/strcase.m4 ,
	m4/strchrnul.m4, m4/strndup.m4, m4/strnlen.m4, m4/unistd_h.m4 ,
	m4/vasnprintf.m4, m4/wchar.m4, m4/wchar_t.m4, m4/wint_t.m4 ,
	m4/xsize.m4: Update.
	m4/00gnulib.m4, m4/multiarch.m4: New files.

879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Add the pair-to-fmp command to TAF-Kit.

	* taf-kit/src/Makefile.am (vcsn_char_fmp_b_LDADD,
	vcsn_char_fmp_z_LDADD, vcsn_int_fmp_b_LDADD,
	vcsn_int_fmp_z_LDADD): Add the corresponding pair automaton
	library.
	* taf-kit/src/fmp_commands.cc (pair_to_fmp): New command.
	* taf-kit/src/getters.hxx (get_pair_aut): New function.
	* taf-kit/src/pipe_getters.hh, taf-kit/src/pipe_getters.hxx
	(pair_automaton_getter): New class.
	* taf-kit/tests/vcsn-char-fmp-b.test,
	taf-kit/tests/vcsn-int-fmp-z.test: Add more tests for ltl-to-pair
	and pair-to-fmp.

895
896
897
898
899
900
901
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make pair_to_fmp() available in FMP contexts.

	* include/vaucanson/contexts/fmp_transducer_functions.thh:
	include pair_to_fmp.hh.

902
903
904
905
906
907
908
909
910
911
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make mute_ltl_to_pair<S,T>::make_automaton available.

	* include/vaucanson/algorithms/ltl_to_pair.hxx (make_automaton):
	Move the code...
	* include/vaucanson/algorithms/ltl_to_pair.hh (make_automaton):
	... here, so it is available even if VCSN_USE_INTERFACE_ONLY
	is defined.

912
913
914
915
916
917
918
919
920
921
922
923
924
925
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Introduce contexts for char-char-z and int-int-z automata.

	* include/vaucanson/automata/generic_contexts/char_char_z_automaton.hh,
	include/vaucanson/automata/generic_contexts/char_char_z_automaton_structures.hh,
	include/vaucanson/automata/generic_contexts/int_int_z_automaton.hh,
	include/vaucanson/automata/generic_contexts/int_int_z_automaton_structures.hh:
	New files.
	* include/Makefile.am (nobase_include_HEADERS): Add them.
	* lib/generate_libvcsn.rb: Adjust to build int-int-z and
	char-char-z contexts.
	* lib/Makefile.am: Include the new libraries' makefiles.

926
927
928
929
930
931
932
933
934
935
936
937
938
2009-03-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove Vaucanswig.

	* vaucanswig/: Delete.
	* Makefile.am (SUBDIRS): Adjust.
	* build-aux/vcsn-internal.m4: Delete.
	* build-aux/Makefile.am (EXTRA_DIST): Adjust.
	* configure.ac: Remove Python and Swig checks.
	* vaucanson.spec, debian/rules: Remove --disable-vaucanswig and
	--disable-build-demos.
	* bootstrap: Do not call vaucanswig/expand.sh.

939
940
941
942
943
944
945
946
947
948
2009-06-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	BOOST_CPPFLAGS were ignored while compiling lib/.

	* lib/src/libcommon.mk: Do not overwrite AM_CPPFLAGS with a list
	of include directories that is less complete than the one in
	vaucanson.mk, use...
	(libvcsn_common_la_CPPFLAGS, libvcsn_common_ex_la_CPPFLAGS):
	... these variable to augmant AM_CPPFLAGS instead.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
949
950
951
952
953
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac: Bump version to 1.3.0a.
	* doc/manual/taf-kit-manual.tex: Likewise.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
954
955
956
957
958
959
960
961
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Release 1.3.

	* configure.ac: Bump version to 1.3.
	* doc/manual/taf-kit-manual.tex: Likewise.
	* doc/NEWS.txt: Update for 1.3.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
962
963
964
965
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Typo.

966
967
968
969
970
971
972
2009-05-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Typo in src/tests/check/Makefile.am.

	* src/tests/check/Makefile.am (libcheck_a_LIBADD): Rename as ...
	(libcheck_la_LIBADD): ... this.

973
974
975
976
977
978
979
980
981
982
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Use libvcsn-common.la for all demos.

	* src/demos/demo.mk (LDADD): Define globally.
	* src/demos/algorithms/Makefile.am (aut_are_equivalent_LDADD,
	exp_are_equivalent_LDADD): Remove.
	* src/demos/one_rule_rewriting/Makefile.am (LDADD): Likewise.
	* src/demos/vgrep/Makefile.am (LDADD): Likewise.

983
984
985
986
987
2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/NEWS.txt: Make clearer that the documentation is incomplete.
	Suggested by Jacques Sakarovitch.

988
989
2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

990
991
992
993
994
995
996
997
998
999
1000
1001
	Rename d2.xml as d1.xml.

	* data/automata/char-z/d2.cc: Rename as...
	* data/automata/char-z/d1.cc: ... this.
	* data/automata/char-z/Makefile.am: Adjust to build d1 and create
	d1.xml
	* taf-kit/tests/vcsn-char-z.test: Adjust to use d1.xml.
	* doc/manual/taf-kit-manual.tex: Rename d2.xml as d1.xml.

2009-05-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>


1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
	Document left and right weight multiplications.

	* doc/manual/taf-kit-manual.tex (Writing Rational Expressions):
	Rename as ...
	(Writing (Weighted) Rational Expressions): ... this.
	(Rational operators): Show the result of the are-equivalent
	example.
	(Weights): Document left and right weights using text from
	Jacques Sakarovitch.
	(Trivial Identities): Write "weighted rational expression"
	instead of "rational expression" to avoid ambiguities.

1014
1015
1016
1017
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Update references to the Taf-Kit manual.

1018
1019
1020
1021
2009-05-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* AUTHORS: Update Sylvain's email.

1022
1023
1024
1025
1026
1027
1028
1029
1030
2009-05-13  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	abs() no longer works with g++ 4.4., we must write std::abs().

	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
	include/vaucanson/misc/random.hxx: Use std::abs() instead of abs().
	* include/vaucanson/algebra/implementation/semiring/rational_number.hxx:
	Likewise, and also include <cstdlib> for abs(int).

1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
2009-05-13  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	Introduce libvcsn-common-ex.la in addition to libvcsn-common.la
	to decide whether exceptions should be used in preconditions.

	This fixes errors in taf-kit's test-suite when compiled with GCC
	4.4.  The code was making the bogus assumption that the inline
	function trap() was not inlined in the context libraries (compiled
	without exceptions) and could therefore be overwritten as a weak
	symbol in TAF-Kit (to use exceptions).

	* include/vaucanson/misc/contract.hh (vcsn::misc::contract::trap):
	Leave only a declaration and move the definition...
	* src/misc/contract.cc: ... in this new file.
	* lib/src/libcommon.mk: Adjust for contract.cc and build two
	libraries: libvcsn-common.la (with abort()) and
	libvcsn-common-ex.la (with exceptions).
	* data/automata/char-b/Makefile.am,
	data/automata/char-fmp-b/Makefile.am,
	data/automata/char-z/Makefile.am, taf-kit/src/Makefile.am,
	vaucanswig/meta/Makefile.am, src/tests/sanity/Makefile.am,
	src/tests/xml/Makefile.am: Link with libvcsn-common.la or
	libvcsn-common-ex.la.
	* taf-kit/src/common.hh (EXCEPTION_TRAPS): Remove #define.
	* src/bench/common/bench.mk (AM_CPPFLAGS): Remove useless
	-DEXCEPTION_TRAPS.
	* vaucanswig/expand.sh: Likewise.
	* src/tests/check/Makefile.am: Build libcheck.la instead
	of libcheck.a, so we can depend on libvcsn-common-ex.la
	* src/tests/check/check.mk: Use libcheck.la and
	libvcsn-common-ex.la.
	* src/tests/test-suites/test-suite.mk: Don't define
	EXCEPTION_TRAPS and don't add libvcsn-common-ex.la to LDADD
	(check.mk already does it).

1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
2009-05-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename libkrat_exp.la as libvcsn_common.la, and move lib/krat_exp/
	to lib/src/krat_exp/, so that we can later integrate more code
	into libvcsn_common.la.

	* bootstrap: Don't run bison, the Makefile will do it.
	* lib/krat_exp/krat_exp_bison.yy: Move ...
	* lib/src/krat_exp/krat_exp_bison.yy: ... here.
	* lib/krat_exp/libkrat_exp.mk: Rename as ...
	* lib/src/libcommon.mk: ... this, and adjust to the new names.
	* src/demos/algorithms/Makefile.am,
	src/demos/one_rule_rewriting/Makefile.am,
	src/demos/vgrep/Makefile.am, src/tests/xml/Makefile.am,
	taf-kit/src/Makefile.am, lib/Makefile.am: Change all references to
	libkrat_exp.la into libvcsn-common.la.

1083
1084
1085
1086
1087
1088
1089
2009-05-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix errors reported by g++ 4.4.0.

	* include/vaucanson/algebra/implementation/series/transpose.hh:
	Do not name a argument T when T is also a template parameter.

Jérôme Galtier's avatar
Jérôme Galtier committed
1090
1091
1092
1093
1094
1095
2009-05-11  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Remove the vcs directory.

	* vcs/vaucanson.rb: Remove.

1096
1097
1098
1099
1100
1101
1102
2009-05-11  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Fix out of tree building for the TAF-Kit manual.

	* doc/manual/Makefile.am: Correct the path to taf-kit-manual.tex by
	prefixing the old path with $(srcdir).

1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
2009-05-10  Jrme Galtier  <jerome.galtier@lrde.epita.fr>

	Add support for boost multi-index >= 1.36.

	* include/vaucanson/automata/implementation/bmig/bmig_handlers.hh
	(operator==, operator!=, operator<, operator>, operator<=)
	(operator>=): Remove the last template parameter.
	* include/vaucanson/automata/implementation/bmig/bmig_handlers_op.hxx:
	Update the macro HOPERATOR for <, >, <=, >= and the one for ==, !=.

1113
1114
1115
1116
1117
2009-05-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac: Bump to 1.2.96a.
	* doc/manual/taf-kit-manual.tex: Likewise.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1118
1119
1120
1121
1122
1123
1124
1125
2009-05-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Release 1.2.96.

	* configure.ac: Bump to 1.2.96.
	* doc/manual/taf-kit-manual.tex: Likewise.
	* doc/NEWS.txt: Document 1.2.96.

1126
1127
1128
1129
1130
1131
1132
1133
2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

	Optimize quotient on boolean automata.

	(As mentioned during the meeting on April 10th)

	* include/vaucanson/algorithms/minimization_hopcroft.hxx: Do that.

1134
1135
1136
1137
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* data/automata/char-z/d2.cc: Really add this file.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1138
1139
1140
1141
1142
1143
1144
1145
1146
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Introduce d2.xml.

	* data/automata/char-z/d2.cc: New file.
	* data/automata/char-z/Makefile.am: Build d2.xml.
	* taf-kit/tests/vcsn-char-z.test: Test d2.xml.
	* doc/manual/taf-kit-manual.tex (d2.xml): New section.

1147
1148
1149
1150
1151
1152
1153
1154
1155
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove dev3base10.xml: it is not a pertinent example of Z automaton.

	* data/automata/char-z/divkbaseb.cc: Delete.
	* data/automata/char-z/Makefile.am,
	taf-kit/tests/vcsn-char-z.test: Adjust.
	* doc/manual/taf-kit-manual.tex (div3base10.xml): Remove.

1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Use alphabet {0,1} for c1.xml.

	* data/automata/char-z/c1.cc: Rewrite using alphabet {0,1} instead
	of {a,b}.
	* taf-kit/tests/vcsn-char-z.test: Adjust test.
	* doc/manual/taf-kit-manual.tex (c1.xml): Adjust and document
	the figure.

1166
1167
1168
1169
1170
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/taf-kit-manual.tex: Minor corrections from Jacques
	Sakarovitch.

1171
1172
1173
1174
1175
1176
1177
1178
1179
2009-04-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Turn the Vaucanson User's manual into a Taf-Kit documentation.

	* doc/manual/vaucanson-manual.tex: Rename as ...
	* doc/manual/taf-kit-manual.tex: ... this.  And change
	the title to "Taf-Kit Documentation"
	* doc/manual/Makefile.am, lrde-upload.sh: Adjust.

1180
2009-04-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
1181
1182
1183
1184

	* src/tests/test-suites/algebra_numerical_semiring_int.defs: Add a
	newline at EOF to kill a GCC warning.

1185
1186
1187
1188
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/HACKING.txt: Use *this* for italics, not `this`.

1189
1190
1191
1192
1193
1194
1195
1196
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix spurious calls to find_tests.sh and potential race conditions.

	* build-aux/find_tests.sh: Use $$ in temporary files to prevent
	races if this script is run more than once.
	* Makefile.am (build-aux/tests.m4): Always touch the output.

1197
1198
1199
1200
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/vaucanson-manual.tex (Trivial Identities): New section.

1201
1202
1203
1204
1205
2009-04-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/vaucanson-manual.tex: Fix some typos and reword some
	phrases.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1206
1207
1208
1209
1210
1211
1212
1213
2009-04-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	More documentation.

	* doc/manual/vaucanson-manual.tex: Fill the automaton repository.
	Add some words about weights.  Kill the old examples from the doc
	except the part about Z-automata.

1214
1215
1216
1217
1218
2009-04-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lrde-upload.sh: Do not use git to compute the name of the
	branch.  Buildbot will now pass the branch name as first argument.

1219
1220
1221
1222
1223
2009-04-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh:
	Add header guards.

1224
1225
1226
1227
1228
2009-04-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lib/krat_exp/krat_exp_bison.yy: Use "%name-prefix=" instead
	of "%name-prefix " to please Bison < 2.4.

1229
1230
1231
1232
1233
1234
1235
1236
1237
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename the yy:: namespace into vcsnyy:: to prevent potential
	conflicts with a user defined parser.

	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
	include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh,
	lib/krat_exp/krat_exp_bison.yy: Rename yy as vcsnyy.

1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Factor the two definitions of yy::krat_exp_parser in a single place.

	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	(yy::krat_exp_parser): Move to...
	* include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh:
	This new file.
	* include/Makefile.am: Distribute and install the new file.
	* lib/krat_exp/krat_exp_bison.yy (yy::krat_exp_parser): Delete
	and include krat_exp_parser_private.hh instead.

1250
1251
1252
1253
1254
1255
1256
1257
1258
2009-04-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix spurious "the token ' ' is already defined as a word" messages.

	* include/vaucanson/algebra/implementation/letter/int_letter.hxx
	(literal_to_letter): Do not skip spaces when translating numbers.
	* taf-kit/tests/vcsn-int-b.test: Add a test case.
	Thanks to Jrme for the help.

1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
2009-04-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make a new section of rational expressions.

	* doc/manual/vaucanson-manual.tex (Writing Rational Expression):
	New section.
	(Empty word and null series): Move into the previous section.
	(Interactive Definition of Automata): Create a new section out of...
	(Boolean automata): ... some text from here, and delete the rest.
	(Automaton Repository): Complete.

1270
1271
1272
1273
2009-04-09  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	* doc/manual/vaucanson-manual.tex (\tafkit) More text.

1274
1275
1276
1277
1278
1279
1280
1281
2009-04-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rework the TAF-Kit introduction.

	* doc/manual/vaucanson-manual.tex (The \Vauc toolkit): Rename
	as...
	(\tafkit): ... this and add more text.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1282
1283
1284
1285
1286
1287
1288
2009-04-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	More administrativia.

	* doc/manual/vaucanson-manual.tex (Installation): Rename as...
	(Administrativia): ... this, and add more text.

1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Manual: some work on the title page and the introduction.

	* doc/manual/vaucanson-manual.tex (\TFK,\TFKv): Remove these
	unused macros.
	(\title,\author): Remove and replace by a custom titlepage.
	Also change the title from "The Vaucanson TAF-Kit 1.2.95"
	to "Vaucanson User's Manual".
	(Introduction): Rewrite to introduce the library, TAF-Kit, and
	the automata repository.
	(Automaton Library): Rename as ...
	(Automaton Repository): ... to avoid ambiguities with Vaucanson
	being an Automaton Library too.

1304
1305
1306
1307
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* lrde-upload.sh: Update to take Git branches into account.

1308
1309
1310
1311
1312
1313
1314
1315
1316
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Replace check_doc.py by a call to grep.

	* doc/manual/Makefile.am (maintainer-check): Replace the
	call to check_doc.py by a simple call to grep.
	(CLEANFILES, check_doc.py): Do not build check_doc.py anymore.
	* doc/manual/check_doc.py.in: Delete.

1317
1318
1319
1320
2009-04-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/FAQ.txt: Really delete it, as intended on 2009-01-23.

1321
1322
1323
1324
1325
1326
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Copy some sections from developer.tex into HACKING.txt

	* doc/HACKING.txt (Tools): New section.

1327
1328
1329
1330
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: python-docutils is not needed by end-users.

1331
1332
1333
1334
1335
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* Makefile.am (maintainer-check): Call maintainer-check in
	doc/manual.

1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Remove some unused Makefile rules.

	* Makefile.am (install-epita): Remove.
	* doc/manual/Makefile.am (install-epita, deep-clean,
	vcsndldir_data): Remove.
	(EXTRA_DIST): Do not distribute the manual a second time, it
	is already in dist_pdf_DATA.

1346
1347
1348
1349
1350
2009-04-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/manual/Makefile.am (check_doc.py): Add missing $(srcdir)/
	on dependency.

1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
2009-04-02  Alexandre Duret-Lutz  <adl@va-et-vient.net>

	More developer documentation.

	* doc/HACKING.txt (Version control): New section to discuss Git
	and how to work with Git.
	(Parallel make): Remove Fixme and simplify command.
	(distcc, ccache): More text
	(Improve the build system): Remove.

1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
2009-04-02  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Move the user manual check from check to maintainer-check.

	* configure.ac: Only check for python when building vaucanswig.
	* doc/.gitignore: Remove check_doc.py.
	* doc/manual/Makefile.am: Do not distribute check_doc.py and
	check_doc.py.in. Only run check_doc.py when invoking the
	maintainer-check target.
	* doc/HACKING.txt: Add a step when making a release.

1372
1373
1374
1375
1376
1377
1378
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup command display in the user manual.

	* doc/manual/vaucanson-manual.tex: Use $ as prompt in the shell
	environments. Convert all verbatim environments to shell ones.

1379
1380
1381
1382
1383
1384
1385
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update the automaton TikZ style in the user manual.

	* doc/manual/vaucanson-manual.tex: Make states bolder, and loops
	larger (code by Alexandre Duret-Lutz).

Jerome Galtier's avatar
Jerome Galtier committed
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Remove share dependencies.

	* doc/manual/developer.tex, doc/README.txt, doc/HACKING.txt: Remove
	references to share.
	* doc/Makefile.am: Remove the share-up target. Use texi2pdf.
	* doc/manual/Makefile.am: Remove the variables share_dir,
	share_bin_dir, share_style_dir and share_bib_dir. Do not use the
	--dvipdf flag (TikZ is used instead of Vaucanson-G so plain DVI
	compilation is no more required).
	* doc/manual/vaucanson-manual.tex: Convert all Vaucanson-G pictures to
	TikZ ones. Use babel, hyperref, tikz instead of mybabel, myhyperref,
	Vaucanon-G respectively. Do not include myacronym, texi and misc.
	Include xspace. Many tweaks.
	* doc/share/README, doc/share/bib/vaucanson.bib,
	doc/share/bin/texi2dvi, doc/share/styles/VCpatch-pstricks-1-10.tex,
	doc/share/styles/Vaucanson-G.tex, doc/share/styles/hevea.sty,
	doc/share/styles/ldf/stl.sty, doc/share/styles/ldf/vaucanson.sty,
	doc/share/styles/misc.hva, doc/share/styles/misc.sty,
	doc/share/styles/myacronym.hva, doc/share/styles/myacronym.sty,
	doc/share/styles/mybabel.hva, doc/share/styles/mybabel.sty,
	doc/share/styles/mycxx.sty, doc/share/styles/myhyperref.hva,
	doc/share/styles/myhyperref.sty, doc/share/styles/myifthen.hva,
	doc/share/styles/myifthen.sty, doc/share/styles/myindex.hva,
	doc/share/styles/myindex.sty, doc/share/styles/texi.hva,
	doc/share/styles/texi.sty, doc/share/styles/vaucanson-g.sty: Remove.

Jerome Galtier's avatar
Jerome Galtier committed
1414
1415
1416
1417
1418
1419
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update .gitignore.

	* .gitignore: Add NEWS and README.

1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Do not depend on version.tex in the user manual.

	* configure.ac: Always check for python.
	* doc/.gitignore: Remove version.tex, add check_doc.py.
	* doc/manual/Makefile.am: Do not generate version.tex at build
	time. Use a script (check_doc.py.in) to check the user manual.
	* doc/manual/vaucanson-manual.tex: Add the VcsnVersion tag. Let
	\maketitle build the date.
	* doc/manual/check_doc.py.in: New.

1432
1433
1434
1435
1436
1437
1438
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup the user manual further.

	* doc/manual/vaucanson-manual.tex: Remove sections from the old
	developer manual.

1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
2009-04-01  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Only use one tex file for the user manual.

	* doc/manual/Makefile.am: Remove introduction.tex, installation.tex,
	taf-kit.tex, theory.tex, automata.tex, xml.tex, specification.tex from
	the distribution.
	* doc/manual/automata.tex, doc/manual/installation.tex,
	doc/manual/introduction.tex, doc/manual/specification.tex,
	doc/manual/taf-kit.tex, doc/manual/theory.tex, doc/manual/xml.tex:
	Remove.
	* doc/manual/vaucanson-manual.tex: Merge the previously named files
	into this one.

Jerome Galtier's avatar
Jerome Galtier committed
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
2009-03-30  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Streamline the user manual.

	* doc/manual/Makefile.am: Remove the minidist target. Remove
	library.tex from the sources.
	* doc/manual/extex.pl, doc/manual/extex.mk, doc/manual/library.tex,
	doc/manual/generate-automata.sh: Remove.
	* doc/manual/vaucanson-manual.tex: Do not include library.tex.

1463
2009-03-30  Jerome Galtier  <jerome.galtier@lrde.epita.fr>
1464

Jérôme Galtier's avatar
Jérôme Galtier committed
1465
	Remove make dist dependency on make (Close #140).
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477

	* doc/.gitignore: Remove automata.tex and manual.ext as they are no
	more generated.
	* doc/manual/Makefile.am: Disable the extraction of commands in
	taf-kit.tex, and the generation of automata.tex.
	* doc/manual/automata.tex: New.
	* doc/manual/taf-kit.tex: Replace each occurrence of execcaption by a
	verbatim environment. Remove each occurrence of includegenerateddot.
	* doc/manual/vaucanson-manual.tex: Remove the commands
	includegenerated, includegenerateddot, execcaption and execdisplay. Do
	not use vaucanswig.tex and developer.tex.

1478
1479
1480
1481
1482
1483
1484
1485
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix a distcheck failure.

	* src/tests/test-suites/Makefile.am ($(srcdir)/subdirs.mk): Do
	not run am--refresh in the srcdir, the makefile is in the buildir.
	Also touch the destination file.

1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Rename has_succ_comp() to is_useless() and reverse its result.

	* include/vaucanson/algorithms/has_succ_comp.hh,
	include/vaucanson/algorithms/has_succ_comp.hxx (has_succ_comp):
	Rename as...
	* include/vaucanson/algorithms/is_useless.hh,
	include/vaucanson/algorithms/is_useless.hxx (is_useless): ... this.
	* include/Makefile.am, include/vaucanson/standard_algorithms.hh,
	taf-kit/src/b_commands.cc, taf-kit/src/common_commands.hh,
	taf-kit/src/fmp_commands.cc, taf-kit/src/r_commands.cc,
	taf-kit/src/z_commands.cc, taf-kit/tests/vcsn-char-b.test: Adjust
	all uses.

1501
1502
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

1503
1504
1505
1506
1507
1508
	* taf-kit/src/common_automaton_commands.hh: Rename co-accessible
	as coaccessible.

2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>


1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
	Hide minimize-moore and eps-removal-sp from --list-commands.  Show
	them only with the new --list-all-commands option.

	* taf-kit/src/common_automaton_commands.hh (eps_removal_sp):
	Declare as EXPERT.
	* taf-kit/src/b_commands.cc (minimize-moore): Declare as EXPERT.
	* taf-kit/src/commands.hh (command_t::expert): New field.
	* taf-kit/src/commands_macros.hh (COMMAND_ENTRY_CN_,
	COMMAND_ENTRY_CN, COMMAND_ENTRY, COMMAND_GROUP): Fill the expert
	field with 0.
	(COMMAND_ENTRY_EXPERT, COMMAND_ENTRY_EXPERT_CN): New entries.
	* taf-kit/src/interface.hh, taf-kit/src/interface.cc
	(list_commands): Take a boolean as an argument to decide whether
	to show expert functions.
	* taf-kit/src/main.cc (options): Add a --list-all-commands
	option.

1526
1527
1528
1529
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Typo.

1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make it possible to override the writing data of an XML rat_exp.

	* taf-kit/src/getters.hxx (get_exp): Overwrite the writing data
	with any data supplied on the command line after reading the
	rat_exp_t.
	* taf-kit/src/getters.hh, taf-kit/src/getters.hxx
	(set_writing_data): New function for rat_exp_t.
	* taf-kit/tests/vcsn-char-b.test: Add more tests.

1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Make it possible to read a XML rat_exp from a Unix pipe.

	* taf-kit/src/getters.hxx (get_exp): Pass the input format
	to the rat_exp_getter.
	* taf-kit/src/pipe_getters.hh, taf-kit/src/pipe_getters.hxx
	(rat_exp_getter::f, rat_exp_getter::rat_exp_getter) Store the
	input format.
	(rat_exp_getter::operator): Add support for reading XML from
	string or pipe, depending on the input format.
	* taf-kit/tests/vcsn-char-b.test: Test the external pipe.

1554
1555
1556
1557
1558
1559
1560
1561
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not force --alphabet to be used with rat_exps on internal pipe.

	* taf-kit/src/getters.hxx (get_exp): Do not force calls
	to get_alphabet when reading from "-".
	* taf-kit/tests/vcsn-char-b.test: Add a test case.

1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
2009-03-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Preserve the representations in standard_of and thompson_of.

	* include/vaucanson/contexts/automaton_maker.thxx (do_standard_of,
	do_thompson_of): Preserve the representations.
	* taf-kit/src/ratexp_commands.hh (standard_of, thompson_of,
	derived_term_automaton): Do not call set_writing_data, we simply
	keep the writing data of the rational expression.

1572
1573
1574
1575
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/pipe_command_sequence.hh: Remove useless includes.

1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Merge KEEP_AUTOMATON with KEEP in Taf-Kit.

	* taf-kit/src/commands_macros.hh (KEEP_AUTOMATON): Remove.
	* taf-kit/src/commands_macros.hh, common_automaton_commands.hh,
	taf-kit/src/common_commands.hh, taf-kit/src/fmp_commands.cc,
	taf-kit/src/ratexp_commands.hh: Replace all uses of KEEP_AUTOMATON
	by uses of KEEP.

1586
1587
1588
1589
1590
1591
1592
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/getters.hxx, taf-kit/src/commands_macros.hh,
	taf-kit/src/common.hh, taf-kit/src/main.cc: replace the
	GLOBAL_RESULT macro and the associated variable
	last_command_output, by the variable global_result.

1593
1594
1595
1596
1597
2009-03-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/commands_macros.hh, taf-kit/src/getters.hxx: Get rid
	of all GLOBAL_RESULT "#ifdef"s.

1598
1599
1600
1601
1602
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Add more tests for rational
	expressions and writing data.

1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not read the alphabet from the command line with a rational
	expression has just been read.  Use the alphabet from the
	expression instead.

	* taf-kit/src/getters.hh, taf-kit/src/getters.hxx (get_alphabet):
	New overload to retrieve the alphabet of a rat_exp_t.
	* taf-kit/src/ratexp_commands.hh (standard_of, thompson_of):
	Do not call make_automaton and get_alphabet.
	(derived_term_automaton): retrieve the alphabet of the expression
	that has been read, do not request it from the command line.

1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
2009-03-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Replace <typedRegExp><label>...</label></typedRegExp> by
	<typedRegExp>...</typedRegExp> in the XML output of rational
	expressions.

	* include/vaucanson/xml/builders.hh,
	include/vaucanson/xml/builders.hxx (create_regexp_node): Take
	a root_name argument, and use it to replace the	<label> tag.
	* include/vaucanson/xml/printers.hxx (RegExpPrinter<RE>::print):
	Do not create the <typedRegExp> tag, instead call create_regexp_node()
	with "typedRegExp" as root_name.

1629
1630
1631
1632
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* configure.ac (Swig check): Do not mention SVN in the warning.

1633
1634
1635
1636
1637
1638
1639
1640
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Do not use the SCM revision in the version of Vaucanson.
	Let's keep the source code as independent of the SCM as we can.

	* configure.ac (VCSN_PRE_RELEASE): Don't call.
	(VCSN_PRE_RELEASE, VCSN_DETECT_SVN_REVISION): Remove.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1641
1642
1643
1644
2009-03-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* AUTHORS: Add Maurice.

1645
1646
1647
1648
1649
1650
1651
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

	Fix tests of Standard and Thompson.
	* src/tests/include/tests/automata/algos/labeled_graphs/thompson_test.hh:
	Modify Thompson Tests for product to respect the right behavior. Add
	a test of equivalence between "ab" and "a.b".
	* src/tests/include/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh:
1652
1653
	Fix a bug using two times the same automaton to be filled without it
	being emptied before.
1654
1655
	* src/tests/include/tests/context_headers/automata/global_consistency_test.hh:
	Same fix as above.
1656

1657
1658
1659
1660
1661
1662
1663
1664
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

	Optimization of Standard visitor.
	* include/vaucanson/algorithms/standard_of.hh: Add information
	about the function's behavior.
	* include/vaucanson/algorithms/standard_of.hxx: Improve Standard
	visitor by preventing creation of several useless automata.

1665
1666
2009-03-10  Alex Hamelin  <hamelin@lrde.epita.fr>

1667
	Factorize and document Standard algorithm.
1668
1669
1670
1671
1672
	* include/vaucanson/algorithms/standard.hh: Add link to Trac's page
	speaking about standard automata.
	* include/vaucanson/algorithms/standard.hxx: Factorize functions' body
	for standard_of modifications.

Alex Hamelin's avatar
Alex Hamelin committed
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
2009-03-08  Alex Hamelin  <hamelin@lrde.epita.fr>

	Thompson Optimization.
	* include/vaucanson/algorithms/thompson.hxx: Improve Thompson
	Visitor by preventing creation of multiple useless automata.
	Correct a bug in product construction by adding a spontaneous
	transition.
	* include/vaucanson/algorithms/thompson.hh: Add documentation about
	thompson_of behavior.

1683
1684
1685
1686
1687
1688
1689
1690
1691
2009-02-18  Maurice Audin  <audin@lrde.epita.fr>

	Add two new TAF-Kits, char-zmin and char-zmax, with basic tests.
	* configure.ac: Add new files and wrappers.
	* taf-kit/src/Makefile.am: Add two new contexts.
	* taf-kit/tests/Makefile.am: Add tests for the new contexts.
	* taf-kit/tests/vcsn-char-zmax.test,
	* taf-kit/tests/vcsn-char-zmin.test: Add two basic tests (non-determinist automata include).

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1692
1693
1694
1695
1696
2009-02-13  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/aci_canonical.hh (canonical):
	Document it.

Jerome Galtier's avatar
Jerome Galtier committed
1697
1698
1699
1700
1701
1702
2009-02-18  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Update HACKING.txt.
	* doc/HACKING.txt: Remove the example as it does not improve the
	  build time further.

1703
1704
1705
1706
1707
1708
1709
1710
2009-02-11  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Add XML support for rational expressions in TAF-Kit.
	Now, it is possible to execute things like:
	./vcsn-char-b -o XML --alphabet=ab identity-exp "(a+b)*.a.(a+b)*"
	./vcsn-char-b -i XML identity-exp exp1.xml
	./vcsn-char-b -i XML -o XML identity-exp exp1.xml

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1711
	* taf-kit/src/common.hh: Split input_type into input_exp_type and
1712
1713
1714
1715
1716
1717
1718
	    input_aut_type (Allow XML by default for aut and EXP for regexp).
	* taf-kit/src/getters.hxx: Add XML input for rat_exp.
	* taf-kit/src/main.cc: input_exp_type/input_aut_type.
	* taf-kit/src/pipe.hh: input_exp_type/input_aut_type.
	* taf-kit/src/pipe.hxx: input_exp_type/input_aut_type.
	* taf-kit/src/pipe_writers.hxx: Add XML output for rat exp.

1719
1720
1721
1722
1723
1724
1725
2009-02-11  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Fix XML support of rational expressions.
	* xml/handlers.hxx: Here.
	* xml/regexp.hh: Here.
	* xml/regexp.hxx: Here.

1726
1727
1728
1729
2009-02-10  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Add XML support for rational expressions.
	We can now load and save rational expressions following the same
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1730
	syntax used for automata, using regexp_loader and regexp_saver
1731
1732
1733
1734
1735
	instead of automaton_loader and automaton_saver.

	The code added might definitely be optimized:
	  - Some parts of the code could definitely be merged.
	  - It might not be necessary to have TransitionConverter and
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1736
	    Format in regexp_loader, since we (currently) have only this
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
	    way to print rational expressions.
	  - The names were arbitrarily chosen. (Especially: It now exists
	    a RegExpHandler and a RegexpHandler [-> typedRegExpHandler ?])

	Not yet done: an exhaustive list of tests.

	* include/vaucanson/algebra/concept/series_base.hh,
	* include/vaucanson/algebra/concept/series_base.hxx: Added some typedefs
	  and some functions so that Series could have a behavior closer to
	  automata (it allows to factorize the code when printing the rational
	  expression).
	* include/vaucanson/tools/io.hh: Add regexp_saver mechanism.
	* include/vaucanson/tools/io.hxx: Add regexp_saver mechanism.
	* include/vaucanson/xml/XML.hh: Specialize operator() with the provided
	  loader/saver.
	* include/vaucanson/xml/XML.hxx: Specialize operator() with the
	  provided loader/saver.
	* include/vaucanson/xml/builders.hxx: Simplified.
	* include/vaucanson/xml/contexts/fmp.hxx: Simplified.
	* include/vaucanson/xml/contexts/rw.hxx: Simplified.
	* include/vaucanson/xml/handlers.hh: Add DocAutHandler,
	  DocRegExpHandler, RegExpHandler.
	* include/vaucanson/xml/handlers.hxx: Add DocAutHandler,
	  DocRegExpHandler, RegExpHandler.
	* include/vaucanson/xml/parsers.hh: Add RegExpParser.
	* include/vaucanson/xml/parsers.hxx: Add RegExpParser.
	* include/vaucanson/xml/printers.hh: Add RegExpPrinter.
	* include/vaucanson/xml/printers.hxx: AddRegExpPrinter.

Florian Lesaint's avatar
Florian Lesaint committed
1766
1767
1768
1769
1770
1771
1772
2009-02-10  Florian Lesaint  <florian.lesaint@lrde.epita.fr>

	Fix bug in XML support.
	A counter was not initialized which could make it impossible
	to read XML files with <star> tokens...
	* include/vaucanson/xml/regexp.hxx: Initialize a value...

1773
1774
1775
1776
1777
1778
1779
2009-01-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/Makefile.am (TEXI2DVI_FLAGS): Do not hardcode the build
	directory to prevent race conditions during parallel builds of
	several PDF files.
	(mostlyclean-local): Delete all *.t2d directories.

Jerome Galtier's avatar
Jerome Galtier committed
1780
1781
1782
1783
1784
2009-01-26  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix NEWS.txt.
	* doc/NEWS.txt: Be more precise about the new features.

1785
1786
1787
1788
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/NEWS.txt: Mention realtime-exp and fix a typo.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/FAQ.txt: Delete.  Of the three entries that was in this
	FAQ two are obsolete (NAN and getopt), and one is not really a
	FAQ.
	(VCSN_DEFAULT_GRAPH_IMPL): Move this documentation ...
	* doc/HACKING.txt: ... here.
	* doc/README.txt: Do not mention de FAQ.
	* doc/Makefile.am (EXTRA_DIST, dist_pdf_DATA): Update.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
2009-01-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/README.txt: Remove the date as it hasn't been updated since
	2006.
	(Overview): Mention weighted finite automata.
	(Additional features): Mention --default-graph-impl=listg
	(Layout of the tarball): Update to reflect recent changes.
	(Requirements): Make it clearer that Xerces and Graphviz are
	not optional.
	(See Also): Delete obsolete items.
	(Contacts): Fix contact addresses.


1812
1813
1814
1815
1816
1817
2009-01-22  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Set the correct rights in lrde-upload.sh.
	* lrde-upload.sh: Add read permissions for everyone on
	  `vaucanson-manual.pdf'.

Alex Hamelin's avatar
Alex Hamelin committed
1818
1819
1820
1821
1822
2009-01-22  Alex Hamelin  <hamelin@lrde.epita.fr>

	Release 1.2.95.
	* AUTHORS: Add new author.
	* configure.ac: Change version number.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1823
	* doc/NEWS.txt: Update for release.
Alex Hamelin's avatar
Alex Hamelin committed
1824
1825
	* doc/share/styles/myacronym.sty,
	* doc/share/styles/misc.hva: make share-up.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1826

1827
1828
1829
1830
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hh: More doc.

1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hxx (ALPHABET_ASCII,
	ALPHABET_AZ, ALPHABET_AZAZ, ALPHABET_DIGITS): Get rid of these
	macros.
	(predefined_alphabets): Define the alphabets directly inside
	the structure.
	(shortdef): Add a readable definition of the alphabet so that we
	can ...
	(build_predefined_string): ... loop over the predefined_alphabets
	to create the help string.
	* taf-kit/tests/vcsn-char-b.test, taf-kit/tests/vcsn-char-fmp-b.test,
	taf-kit/tests/vcsn-char-fmp-z.test,
	taf-kit/tests/vcsn-char-z.test: Adjust the test to the slightly
	different output.

1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hh,
	taf-kit/src/predefined_alphabets.hxx (alphabet_lookup): New function.
	* taf-kit/src/main.cc (parse_opt): Use alphabet_lookup()
	to simplify the detection of predefined alphabet.
	(alphabet): Move this structure...
	* taf-kit/src/predefined_alphabets.hxx (alphabet): ... here.
	* taf-kit/src/predefined_alphabets.hh (ALPHABET_ASCII,
	ALPHABET_AZ, ALPHABET_AZAZ, ALPHABET_DIGITS): Move these
	definitions...
	* taf-kit/src/predefined_alphabets.hxx: ... here.

1860
1861
1862
1863
1864
1865
1866
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add preconditions and remove debug code.
	* include/vaucanson/algorithms/reduce.hh,
	* include/vaucanson/algorithms/reduce.hxx: Add preconditions and
	  remove debug code.

Jerome Galtier's avatar
Jerome Galtier committed
1867
1868
1869
1870
1871
1872
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Remove dead code.
	* include/Makefile.am: Remove file from the distribution.
	* include/vaucanson/design_pattern/factory.hh: Remove.

1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Comment and add directions for reduce algorithm..
	* include/vaucanson/algorithms/reduce.hh: Add comments about reduce
	  algorithm.
	* include/vaucanson/algorithms/reduce.hxx: replace backward by
	  right_left and forward by left_right.
	* include/vaucanson/misc/direction.hh: add left_right and right_left
	  directions.

1883
1884
1885
1886
1887
1888
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Use std::abs instead of fabs / fabsf ...
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  std::abs does the dispatch.

1889
1890
1891
1892
1893
1894
2009-01-21  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Use fabs / fabsf instead of abs.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  Replace abs by fabs and fabsf in op_eq for float and double.

Jerome Galtier's avatar
Jerome Galtier committed
1895
1896
1897
1898
1899
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in the ChangeLog.
	* ChangeLog: Fix an email address.

1900
1901
1902
1903
1904
1905
1906
1907
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/predefined_alphabets.hxx (build_predefined_string):
	Write "empty word" not "epsilon".
	* taf-kit/tests/vcsn-char-b.test, taf-kit/tests/vcsn-char-fmp-b.test,
	taf-kit/tests/vcsn-char-fmp-z.test, taf-kit/tests/vcsn-char-z.test,
	taf-kit/tests/vcsn-int-b.test: Likewise.

1908
1909
1910
1911
1912
1913
1914
1915
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/main.cc (predefined_string): Compute it at startup...
	(main) ... not here.
	* taf-kit/src/predefined_alphabets.hxx,
	taf-kit/src/predefined_alphabets.hh (build_predefined_string):
	Return a pointer to a static string.

Jerome Galtier's avatar
Jerome Galtier committed
1916
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
1917
1918
1919
1920
1921
1922
1923

	* build-aux/vcsn-xml.m4, include/vaucanson/xml/internal/ios.hh,
	include/vaucanson/xml/internal/ios.hxx: Change the Xerces version
	check not to print "Bad version" (the fact we do not support a
	version does not mean that version is bad) and not disallow future
	versions.

1924
1925
1926
1927
1928
2009-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Augment the test for two spaces
	to make sure we can really use two spaces.

1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: Fix a bug for transitions with a polynomial in R.
	Reported by Sylvain Lombardy.
	* include/vaucanson/algorithms/internal/evaluation.hh: Improve
	  documentation. Cosmetic changes.
	* include/vaucanson/algorithms/internal/evaluation.hxx
	  (do_partial_evaluation): Be more precise when receiving dispatch
	  by requiring the first argument to be a `Series'. Call
	  `standard_of' on the whole input expression instead of just the
	  first element in the support. (partial_evaluation): Update
	  according to the new dispatch of `do_partial_evaluation'.
	* include/vaucanson/algorithms/rw_composition.hh: Update the
	  documentation.
	* include/vaucanson/algorithms/rw_composition.hxx: Include the
	  header file `realtime.hh' required by `is_realtime'.
	  (do_rw_composition): Add a precondition on `S'. Improve comments
	  and cosmetic changes. Update the algorithm according to the change
	  to `partial_evaluation'.
	* src/tests/include/Makefile.am: Add a new test to the distribution.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/rw_composition_test.hh:
	  New regression test.

1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: Fix a bug in partial_evaluation.
	* include/vaucanson/algorithms/internal/evaluation.hxx
	  (do_partial_evaluation): Iterate through all the states in `Sp'
	  instead of only the initial ones.
	* src/tests/include/Makefile.am: Add new file to the distribution.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/partial_evaluation_test.hh:
	  New regression test.

1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Factor more code in ORR_iterate, fix typos.
	* src/demos/one_rule_rewriting/ORR_iterate.cc: Remove all the
	  references to the macro `DEBUG'. Do not include
	  `tools/dot_display.hh' anymore. Include the header
	  `one_rule_rewriting.hh', and subsequently remove all the redundant
	  function definitions (prefsuf, alpha_convert, alpha_map,
	  replace_left and replace_right). Sanitize namespace usages.
	  (usage): Remove the help about the argument `name'. (main): Do not
	  use argv[4]. Simplify the code by removing the use of the
	  auxiliary function `string_to_int'. Add more comments, and
	  cosmetic changes. Fix the initialization of the loop. Add some
	  code to dump the `iter_ima' variable. When printing informations
	  about automaton: use the already defined `operator<<'.

1978
1979
1980
1981
1982
1983
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Cleanup shortest.hh to be more in line with vcsn.
	* src/demos/one_rule_rewriting/shortest.hh: Add the Copyright
	  notice. Add guards. Cosmetic changes.

1984
1985
1986
1987
1988
1989
1990
1991
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Demos: Fix a typo in ORR_demo.
	* src/demos/one_rule_rewriting/ORR_demo.cc (main): Call
	  `realtime_here' on `right_auto' as it is passed as the second
	  argument of `rw_composition', and there is a `is_realtime'
	  precondition on this argument.

1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	rw_composition: New evaluation_rw algorithm.
	* include/Makefile.am: Add new files to the distribution.
	* include/vaucanson/algorithms/evaluation_rw.hh: New.
	* include/vaucanson/algorithms/evaluation_rw.hxx: New.
	* include/vaucanson/algorithms/internal/evaluation.hxx: Move the
	  functions `evaluation' and `do_evaluation' to `evaluation_rw' and
	  `do_evaluation_rw' respectively (see `evaluation_rw.hh'). Cleanup
	  included headers.
	* include/vaucanson/algorithms/rw_composition.hxx: Include the header
	  file `internal/evaluation.hh'.
	* include/vaucanson/contexts/transducer_functions.thh,
	* include/vaucanson/contexts/transducer_maker.thxx: Include
	  `evaluation_rw.hh' instead of `internal/evaluation.hh'. Call
	  `evaluation_rw' instead of `evaluation'.

2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Fix the epsilon of predefined alphabets in --help.
	* taf-kit/src/Makefile.am: Add new file to the distribution.
	* taf-kit/src/main.cc: Only include the `predefined_alphabets.hh'
	  header if relevant. Remove any reference to the `DEFAULT_EPSILON'
	  macro. New variable `predefined_string', to hold the dynamically
	  calculated string displayed when using --help.
	  (main) [!NO_PREDEF_ALPHABETS]: Call the new
	  `build_predefined_string' to populate `predefined_string'.
	* taf-kit/src/predefined_alphabets.hh: Include the
	  `parser_options.hh' header file. Remove the definition of
	  `DEFAULT_EPSILON'. Declare new function `build_predefined_string'.
	* taf-kit/src/predefined_alphabets.hxx: New: Add the implementation
	  of the `build_predefined_string'.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-z.test: Add the regression test.

2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Disable predefined alphabets for pair contexts.
	* taf-kit/src/Makefile.am: Define `NO_PREDEF_ALPHABETS' for the
	  `vcsn-char-char-b', `vcsn-char-int-b' and `vcsn-int-int-b'
	  executables.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-int-b.test,
	* taf-kit/tests/vcsn-char-z.test,
	* taf-kit/tests/vcsn-int-b.test,
	* taf-kit/tests/vcsn-int-fmp-b.test,
	* taf-kit/tests/vcsn-int-fmp-z.test,
	* taf-kit/tests/vcsn-int-int-b.test,
	* taf-kit/tests/vcsn-int-z.test: Check whether or not a predefined
	  alphabet is defined.

2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Add support for xerces-c 3.0 (Close #193).
	* build-aux/vcsn-xml.m4: Update the macro `_VCSN_CHECK_XML' to check
	  for xerces-c version x such as 2.3 <= x <= 3. Update the C++ ABI
	  check with code from `internal/ios.hh'.
	* include/Makefile.am: Update distributed files.
	* include/vaucanson/xml/parsers.hxx: Include `xml/internal/ios.hh'
	  instead of `xml/ios.hh'.
	* include/vaucanson/xml/printers.hxx (AutPrinter::print): Use the
	  new `print_xml' function declared in `internal/ios.hh'.
	* include/vaucanson/xml/ios.hh,
	* include/vaucanson/xml/ios.hxx,
	* include/vaucanson/xml/xml_xerces_stream.hh,
	* include/vaucanson/xml/xml_xerces_stream.hxx: Merge these files in
	  the new internal `ios.hh' and `ios.hxx'.
	* include/vaucanson/xml/internal/ios.hh,
	* include/vaucanson/xml/internal/ios.hxx: These files declare all
	  the low level stream handling of Vaucanson, and xerces-c major
	  version dependent code: New `print_xml' function to hide from user
	  level code the XERCES_VERSION_MAJOR macro.
	  (BinCxxInputStream::curPos, BinCxxInputStream::readBytes,
	  XMLXercesStream::writeChars): Update prototype to use `XMLSize_t'
	  and `XERCES_FILEPOS'.

2073
2074
2075
2076
2077
2078
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Factor more code with create_element.
	* include/vaucanson/xml/xml_exp_visitor.hxx: Replace each call of
	  `createElement' by a corresponding call of `create_element'.

2079
2080
2081
2082
2083
2084
2085
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	XML: Use createElementNS when creating DOM nodes.
	* include/vaucanson/xml/tools.hxx (create_element): Use the proper
	  name-space aware function `createElementNS' as Vaucanson has its
	  own name-space.

Jerome Galtier's avatar
Jerome Galtier committed
2086
2087
2088
2089
2090
2091
2092
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Cleanup dead code.
	* include/Makefile.am: Remove files from the distribution.
	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hh: Remove.
	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hxx: Remove.

2093
2094
2095
2096
2097
2098
2099
2100
2101
2009-01-21  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a segfault when handling more than one space (Close #180).
	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx
	  (Lexer::Lexer): Reserve seven elements only for `token_tab_'.
	  Rewrite a loop using an STL idiom.
	* taf-kit/tests/vcsn-char-b.test: Add the regression test for this
	  bug.

2102
2103
2104
2105
2106
2107
2009-01-16  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Prevent vaucanswig from compiling reduce algorithm.
	* vaucanswig/expand.sh: Prevent vaucanswig from compiling reduce
	  algorithm.

Vivien Delmon's avatar
Vivien Delmon committed
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2009-01-15  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Merge of the reduction branch.
	* ChangeLog: .
	* configure.ac: .
	* include/Makefile.am: .
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh: .
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx: .
	* include/vaucanson/algorithms/reduce.hh: New.
	* include/vaucanson/algorithms/reduce.hxx: New.
	* include/vaucanson/contexts/automaton_functions.thh: .
	* include/vaucanson/design_pattern/element_ops.hxx: .
	* lib/generate_libvcsn.rb: .
	* taf-kit/src/Makefile.am: .
	* taf-kit/src/r_commands.cc: New.
	* taf-kit/tests/Makefile.am: .
	* taf-kit/tests/vcsn-char-r.test: New.

2126
2127
2128
2129
2130
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/src/ratexp_commands.hh (realtime_exp): New command.
	* taf-kit/tests/vcsn-char-z.test: Add some tests.

2131
2132
2133
2134
2135
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* include/vaucanson/algorithms/derived_term_automaton.hxx
	(DERIVATES_TRACE_DEBUG): Send traces to cerr, not cout.

2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2008-12-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Fix the << operator for PartialExp.  Since 2008-10-22 we cannot
	output rational expressions without knowing their structural
	element.

	* include/vaucanson/algorithms/internal/partial_rat_exp.hxx
	(operator<<): Build a rational expression with a structural
	element, for printing.

2146
2147
2148
2149
2150
2151
2152
2153
2008-12-16  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a wrapper for vcsn-char-r and a first test for reduce.
	* configure.ac: Generate vcsn-char-r wrapper.
	* taf-kit/tests/Makefile.am,
	* taf-kit/tests/vcsn-char-r.test: Add test on the equivalence of two
	  R-automata using reduce.

2154
2155
2156
2157
2158
2159
2160
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	End of reduce algorithm implementation.
	* include/vaucanson/algorithms/reduce.hh,
	* include/vaucanson/algorithms/reduce.hxx: Add building of the new
	  automaton from the matrix version

2161
2162
2163
2164
2165
2166
2167
2168
2169
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a new taf-kit for r_automaton and add reduce to libvcsn-r.
	* lib/generate_libvcsn.rb: Add reduce to libvcsn-r.
	* include/vaucanson/contexts/automaton_functions.thh: Add reduce.
	* taf-kit/src/Makefile.am,
	* taf-kit/src/r_commands.cc,
	* taf-kit/tests/Makefile.am: Generate tafkit for Real semiring.

Vivien Delmon's avatar
Vivien Delmon committed
2170
2171
2172
2173
2174
2175
2176
2008-12-12  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Revert part of r2578.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh:
	  revert.

2177
2178
2179
2180
2181
2182
2183
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix a typo in normalized and subnormalized composition tests.
	* src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh:
	  Replace `y' by `v'.

2184
2185
2186
2187
2188
2189
2190
2191
2192
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix make_rat_exp function calls in the test-suite.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
	* src/tests/include/tests/automata/algos/fmp_transducers/subnormalized_composition_test.hh:
	  Use the proper representations while building the ratexp.

2193
2194
2195
2196
2197
2198
2008-12-11  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix invert-test for boolean_rw_transducers.
	* src/tests/include/tests/automata/algos/boolean_rw_transducers/invert_test.hh:
	  Do not generate invalid alphabets.

Vivien Delmon's avatar
Vivien Delmon committed
2199
2200
2201
2202
2203
2204
2205
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add reduce algorithm.
	* include/Makefile.am: Add reduce.h{h,xx}.
	* include/vaucanson/algorithms/reduce.hh: New.
	* include/vaucanson/algorithms/reduce.hxx: New.

2206
2207
2208
2209
2210
2211
2212
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add a specialisation of std::swap to help gcc.
	* include/vaucanson/design_pattern/element_ops.hxx: The other
	  specialisation with a template T1 for the first element and a
	  template T2 for the second was ambigous for gcc.

2213
2214
2215
2216
2217
2218
2219
2008-12-10  Vivien Delmon  <vivien.delmon@lrde.epita.fr>

	Add op_neg and op_div to real semirings.
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
	  Add op_neg and op_div functions to real semirings.

2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix some algorithms interfaces.
	* include/vaucanson/algorithms/krat_exp_derivation.hh: Disable
	  the remaining interface as it do not work with Vaucanswig.
	* include/vaucanson/algorithms/eval.hh: Enable the interfaces as the
	  `Word' pseudo-type is handled correctly by Vaucanswig.
	* include/vaucanson/algorithms/krat_exp_constant_term.hh,
	* include/vaucanson/algorithms/krat_exp_derivation.hh,
	* include/vaucanson/algorithms/krat_exp_flatten.hh,
	* include/vaucanson/algorithms/krat_exp_linearize.hh: Replace
	  `*e' by `e' as rat exp need not be dereferenced.
	* include/vaucanson/algorithms/extension.hh: Disable the interfaces
	  as the `Transducer' pseudo-type cannot be handled by Vaucanswig
	  (Vaucanswig do not work for transducers).
	* vaucanswig/expand.sh: Add support for the `Letter' pseudo
	  type.

2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix constant for rat::exp (Close #196).
	* include/vaucanson/algebra/implementation/series/krat.hxx
	  (op_assign): Name the first argument, so that it is used
	  subsequently. (op_series_set): Use `op_convert' instead of
	  manually calling `constant' (factor more code). Pass the series to
	  various `op_convert' calls. Cosmetic changes.
	* src/tests/include/tests/algebra/series/misc/series_test.hh: Add
	  regression test.

Jerome Galtier's avatar
Jerome Galtier committed
2249
2250
2251
2252
2253
2254
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix global_consistency test.
	* src/tests/include/tests/context_headers/automata/global_consistency_test.hh:
	  Be more generic with respect to series representations.

2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2008-12-10  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix op_convert for string based monoid (Close #198).
	* include/vaucanson/algebra/implementation/monoid/str_words.hh,
	* include/vaucanson/algebra/implementation/monoid/str_words.hxx:
	  Remove `op_convert' as its meaning may be ambiguous when the word
	  implementation is the same as the literal implementation.
	* src/tests/include/tests/algebra/free_monoid/free_monoid_test.hh:
	  New regression test. Fix a typo.
	* src/tests/include/tests/algebra/series/misc/series_test.hh: Fix
	  some typos so that errors are more meaningful.
	* src/tests/xml/xml_int_trans_tester.cc,
	* src/tests/xml/xml_int_z_trans_tester.cc,
	* src/tests/include/tests/automata/algos/pair_automata/pair_to_fmp_test.hh:
	  Adjust by calling `parse_word'.

2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Use type abbreviations for delta_iterators.
	AUTOMATION_TYPES defines types for delta_iterator
	and rdelta_iterator, so use them.
	* include/vaucanson/algorithms/accessible.hxx,
	* include/vaucanson/algorithms/aut_to_exp.hxx,
	* include/vaucanson/algorithms/complete.hxx,
	* include/vaucanson/algorithms/determinize.hxx,
	* include/vaucanson/algorithms/eps_removal.hxx,
	* include/vaucanson/algorithms/eps_removal_sp.hxx,
	* include/vaucanson/algorithms/eval.hxx,
	* include/vaucanson/algorithms/internal/evaluation.hxx,
	* include/vaucanson/algorithms/internal/has_neighbour.hxx,
	* include/vaucanson/algorithms/internal/outsplitting.hxx,
	* include/vaucanson/algorithms/is_deterministic.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/product.hxx,
	* include/vaucanson/algorithms/rw_composition.hxx,
	* include/vaucanson/algorithms/search.hxx,
	* include/vaucanson/algorithms/standard.hxx,
	* include/vaucanson/algorithms/sum.hxx,
	* include/vaucanson/automata/concept/automata_base.hh,
	* include/vaucanson/tools/fsm_dump.hxx,
	* include/vaucanson/tools/gen_random.hxx: Here.

2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Add INTERFACEs and some new pseudo-types.
	The uses of the new pseudo-types are disabled, as they would
	presumably not work with vaucanswig.
	* include/vaucanson/algorithms/cut_up.hh: Add interfaces.
	* include/vaucanson/algorithms/eval.hh: Add disabled interfaces.
	* include/vaucanson/algorithms/extension.hh: Add interfaces.
	* include/vaucanson/algorithms/krat_exp_constant_term.hh: Add
	  interfaces.
	* include/vaucanson/algorithms/krat_exp_derivation.hh: Add an
	  interface and a disabled interface.
	* include/vaucanson/algorithms/krat_exp_flatten.hh: Add interface.
	* include/vaucanson/algorithms/krat_exp_linearize.hh: Add a disabled
	  interface.
	* include/vaucanson/algorithms/krat_exp_realtime.hh: Add an interface.
	* lib/generate_libvcsn.rb: Add the LinExp and Word pseudo-types. Their
	  uses are currently disabled.

Reuben Thomas's avatar
Reuben Thomas committed
2319
2320
2321
2322
2323
2324
2008-12-08  Reuben Thomas  <rrt@sc3d.org>

	Whitespace correction.
	* include/vaucanson/misc/usual_macros.hh: Make new iterator
	  types line up with everything else.

Jerome Galtier's avatar
Jerome Galtier committed
2325
2326
2327
2328
2329
2330
2331
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix typo.
	* ChangeLog: Fix ChangeLog entry of r2565.
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Fix
	  English typo. Rephrase the sentence about `adaptive behavior'.

2332
2333
2334
2335
2336
2008-12-03  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* taf-kit/tests/vcsn-char-b.test: Do not build two
	empty automata in the same file.

2337
2338
2339
2340
2341
2342
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Add comments about r2553.
	* taf-kit/src/ratexp_commands.hh: Here.
	* taf-kit/tests/vcsn-char-b.test: New regression test.

Jerome Galtier's avatar
Jerome Galtier committed
2343
2344
2345
2346
2347
2348
2349
2350
2351
2352
2353
2354
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Fix a bug.
	* taf-kit/src/parser_options.hh (definition): New attribute
	  `first_space_'.
	* taf-kit/src/parser_options.hxx (push_space): Do not use a static
	  flag as more than one parser_options are used for FMP.
	* taf-kit/tests/automata/char-fmp-b/wd-full.xml: New.
	* taf-kit/tests/defs.in: New XML file.
	* taf-kit/tests/vcsn-char-fmp-b.test: New regression test.
	* taf-kit/tests/Makefile.am: Add new file to the distribution.

2355
2356
2357
2358
2359
2360
2361
2362
2363
2364
2365
2366
2367
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Add tests for writing data and fix a bug.
	* taf-kit/tests/vcsn-char-b.test,
	* taf-kit/tests/vcsn-char-char-b.test,
	* taf-kit/tests/vcsn-char-fmp-b.test,
	* taf-kit/tests/vcsn-char-fmp-z.test,
	* taf-kit/tests/vcsn-char-int-b.test,
	* taf-kit/tests/vcsn-char-z.test,
	* taf-kit/tests/vcsn-int-b.test,
	* taf-kit/tests/vcsn-int-fmp-b.test,
	* taf-kit/tests/vcsn-int-fmp-z.test,
	* taf-kit/tests/vcsn-int-int-b.test,
Jerome Galtier's avatar
Jerome Galtier committed
2368
	* taf-kit/tests/vcsn-int-z.test: Test handling of writing data.
2369
2370
2371
2372
	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Fix
	  a bug: New `split_monoid_()', update FMP constructors. Add
	  more comments.

2373
2374
2375
2376
2377
2378
2379
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Homogenize XML output.
	* taf-kit/src/edition_commands.hxx: Do not append an `std::endl'
	  after calling `automaton_saver'.
	* taf-kit/tests/vcsn-char-b.test: Regression test.

Jerome Galtier's avatar
Jerome Galtier committed
2380
2381
2382
2383
2384
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	Fix ChangeLog for [2543].
	* ChangeLog: Be more precise about what has been done.

2385
2386
2387
2388
2389
2390
2391
2008-12-03  Jerome Galtier  <jerome.galtier@lrde.epita.fr>

	TAF-Kit: Update a test about quot3base2.xml.
	* taf-kit/tests/vcsn-char-fmp-b.test: Check that `div3base2.xml' and
	  the domain of `quot3base2.xml' are equivalent (suggested by
	  Alexandre Duret-Lutz).

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
2392
2393
2394
2395
2396
2397
2398
2399
2400
2008-12-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Finish Florian's change.

	* include/vaucanson/xml/builders.hxx (create_type_writingData_node):
	Use weightOpening and weightClosing.
	* include/vaucanson/xml/cont