ChangeLog 2.28 KB
Newer Older
1
2
3
4
2003-05-20  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

	* src/pairs.c (bdd_setbddpair): Fix prototype in documentation.

5
6
7
8
9
10
2003-05-19  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

	* src/bdd.h: Declare bdd_copypair().
	* src/pairs.c (bdd_copypair, bdd_pairalloc): New functions.
	(bdd_newpair): Use bdd_pairalloc.

11
12
13
14
2003-05-12  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

	* src/kernel.c (bdd_default_errhandler): Call abort(), not exit(1).

15
16
17
18
2003-05-07  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

	* src/bddop.c (bdd_allsat): Fix description.

19
20
2003-05-05  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

21
22
23
24
	* configure.ac: Output config.h.
	* src/kernel.h: Include it.
	* src/Makefile.am (AM_CPPFLAGS): New variable.

25
	* configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am,
26
	examples/Makefile.am, examples/Makefile.def,
27
	examples/adder/Makefile.am, examples/calculator/Makefile.am,
28
	examples/cmilner/Makefile.am, examples/fdd/Makefile.am,
29
30
31
32
33
34
35
36
37
38
	examples/internal/Makefile.am, examples/milner/Makefile.am,
	examples/money/Makefile.am, examples/queen/Makefile.am,
	examples/solitar/Makefile.am, m4/debug.m4, m4/gccwarns.m4,
	ChangeLog, INSTALL: New files.
	* config, makefile, src/makefile, doc/makefile,
	examples/adder/makefile, examples/calculator/makefile
	examples/cmilner/makefile, examples/fdd/makefile,
	examples/internal/makefile, examples/milner/makefile,
	examples/money/makefile, examples/queen/makefile,
	examples/solitare/makefile : Delete.
39
	* examples/adder/adder.cxx, examples/fdd/statespace.cxx,
40
	examples/internal/bddtest.cxx, examples/milner/milner.cxx,
41
	examples/money/money.cxx, examples/queen/queen.cxx,
42
43
44
45
46
47
48
49
50
51
	examples/solitare/solitare.cxx: Include iostream.
	* examples/calculator/parser.y: Rename as ...
	* examples/calculator/parser.yxx: ... this.  Remove spurious
	comas in %token, %right, and %left arguments.
	* examples/calculator/parser.h: Rename as ...
	* examples/calculator/parser_.h: ... this, because the bison
	rule with output parser.h (not tokens.h) from parser.y.
	* examples/calculator/lexer.l: Rename as ...
	* examples/calculator/lexer.lxx: ... this.  Include parser.h
	instead of tokens.h.
52
	* examples/calculator/slist.h
53
54
55
56
	(voidSList::voisSListElem, SList::ite): Fix friend usage.
	* src/kernel.h (DEFAULT_CLOCK): Default to 60 if not already
	defined.
	* README: Update build instruction, and file listing.