ChangeLog 5.39 KB
Newer Older
1
2
3
4
5
6
2007-09-19  Alexandre Duret-Lutz  <adl@gnu.org>

	* src/kernel.c (bdd_default_gbchandler): Log garbage collection to
	stderr, not stdout.  Reported by Kristin Yvonne Rozier
	<kyrozier@cs.rice.edu>.

7
8
2004-07-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>

9
	* configure.ac: Call AC_LIBTOOL_WIN32_DLL
10
11
	* src/Makefile.am (libbdd_la_LDFLAGS): Add -no-undefined.

12
13
14
15
16
2004-07-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>

	* examples/bddcalc/parser.yxx (actionSeq, varlist): Rewrite as
	left-recursive rules.

Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
17
18
19
20
21
22
23
24
25
26
27
28
29
30
2004-06-28  Alexandre Duret-Lutz  <adl@src.lip6.fr>

	Merge BuDDy 2.3.
	* examples/calculator/, examples/internal/: Were renamed as ...
	* examples/bddcalc/, examples/bddtest/: ... these.
	* configure.ac: Adjust version and output Makefiles.
	* examples/Makefile.am (SUBDIRS): Adjust subdir renaming.
	* examples/cmilner/milner.c, examples/fdd/statespace.cxx: Were
	renamed as ...
	* examples/cmilner/cmilner.c, examples/fdd/fdd.cxx: ... these.
	* examples/cmilner/Makefile.am, examples/fdd/Makefile.am: Adjust
	accordingly.
	* src/Makefile.am (AM_CPPFLAGS): Define VERSION.

31
32
33
34
35
36
2004-01-07  Alexandre Duret-Lutz  <adl@src.lip6.fr>

	* src/bddop.c (bdd_support): Free supportSet if it needs to be
	reallocated.  This fixes a memory leak reported by
	Souheib.Baarir@lip6.fr.

37
38
39
40
2003-11-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>

	* examples/Makefile.def (AM_CPPFLAGS): Add -I$(srcdir).

41
42
2003-08-06  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

43
44
45
46
	* doc/Makefile.am (EXTRA_DIST): Replace buddy.ps by buddy.pdf
	(the latter has been rebuilt and on Jrn's request it explicitly
	mentions the differences with the 2.2 manual).

47
48
	* src/bddop.c (bdd_forallcomp, bdd_uniquecomp): Fix documentation.

49
50
2003-07-17  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

Alexandre Duret-Lutz's avatar
typo    
Alexandre Duret-Lutz committed
51
	* src/bdd.h (bdd_existcomp, bdd_forallcomp,
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
	bdd_uniquecomp, bdd_appexcomp, bdd_appallcomp,
	bdd_appunicomp): Declare for C and C++.
	* src/bddop.c (CACHEID_EXISTC, CACHEID_FORALLC,
	CACHEID_UNIQUEC, CACHEID_APPEXC, CACHEID_APPALC,
	CACHEID_APPUNCC): New macros.
	(quatvarsetcomp): New variables.
	(varset2vartable): Take a second argument to indicate negation,
	set quatvarsetcomp.
	(INVARSET): Honor quatvarsetcomp.
	(quantify): New function, extracted from bdd_exist, bdd_forall,
	and bdd_appunicomp.
	(bdd_exist, bdd_forall, bdd_appunicomp): Use quantify.
	(bdd_existcomp, bdd_forallcomp, bdd_appunicompcomp): New functions.
	(appquantify): New function, extracted from bdd_appex, bdd_appall,
	and bdd_appuni.
	(bdd_appex, bdd_appall, bdd_appuni): Use appquantify.
	(bdd_appexcomp, bdd_appallcomp, bdd_appunicomp): New functions.

	* src/bddop.c (bdd_support): Return bddtrue when the support
	is empty, because variable sets are conjunctions.

73
74
2003-05-22  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

75
76
77
78
79
80
81
	* src/pairs.c (bdd_mergepairs): New function.
	(bdd_copypair): Revert 2003-05-20's change.  Use bdd_addref
	to copy result variables.
	* src/bdd.h (BDD_INVMERGE): New error code.
	(bdd_mergepairs): Declare.
	* src/kernel.c (errorstrings): Add string of BDDINV.

82
83
	* src/bddop.c (bdd_simplify): Typo in doc, s/domaine/domain/.

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

86
87
	* src/pairs.c (bdd_copypair): Use memcpy to copy from->result,
	and correctly copy p->last from from->last.
88

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

91
92
93
94
95
96
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.

97
98
99
100
2003-05-12  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

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

101
102
103
104
2003-05-07  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

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

105
106
2003-05-05  Alexandre Duret-Lutz  <aduret@src.lip6.fr>

107
108
109
110
	* configure.ac: Output config.h.
	* src/kernel.h: Include it.
	* src/Makefile.am (AM_CPPFLAGS): New variable.

111
	* configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am,
112
	examples/Makefile.am, examples/Makefile.def,
113
	examples/adder/Makefile.am, examples/calculator/Makefile.am,
114
	examples/cmilner/Makefile.am, examples/fdd/Makefile.am,
115
116
117
118
119
120
121
122
123
124
	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.
125
	* examples/adder/adder.cxx, examples/fdd/statespace.cxx,
126
	examples/internal/bddtest.cxx, examples/milner/milner.cxx,
127
	examples/money/money.cxx, examples/queen/queen.cxx,
128
129
130
131
132
133
134
135
136
137
	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.
138
	* examples/calculator/slist.h
139
140
141
142
	(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.