1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
|
2004-07-22 haimcohen <haimcohen@users.sourceforge.net>
* NEWS 1.2, ChangeLog 1.4: *** empty log message ***
* examples/solitare/Makefile.am 1.3, examples/solitare/expected 1.2, examples/solitare/runtest 1.2:
Solitare will not be included in the regression since it takes too much time to run
2004-07-21 haimcohen <haimcohen@users.sourceforge.net>
* ChangeLog 1.3, examples/bddcalc/expected 1.2:
*** empty log message ***
* src/depend.inf 1.2:
we do not need this file anymore since autotools are being used
* examples/solitare/Makefile.am 1.2: readme was added to distribution
* doc/Makefile.am 1.2: buddy.ps and tech.txt were added to distribution
2004-07-14 haimcohen <haimcohen@users.sourceforge.net>
* ChangeLog 1.2, tools/.cvsignore 1.1: *** empty log message ***
* examples/solitare/expected 1.1:
This file is empty in purpose. The solitare test takes too much memory
than I can afford. Until I generate this file somehow, the solitare
test should not be run.
* examples/milner/expected 1.1: *** empty log message ***
* examples/queen/expected 1.1, examples/bddcalc/expected 1.1, examples/bddtest/expected 1.1, examples/cmilner/expected 1.1, examples/fdd/expected 1.1, examples/money/expected 1.1, examples/adder/expected 1.1:
These files are part of the new regression suite. Each file contains
the expected result of a test.
* examples/cmilner/Makefile.am 1.1, examples/fdd/Makefile.am 1.1, examples/milner/Makefile.am 1.1, examples/money/Makefile.am 1.1, examples/queen/Makefile.am 1.1, examples/solitare/Makefile.am 1.1:
Added to support autotools
* examples/fdd/makefile 1.2, examples/milner/makefile 1.2, examples/money/makefile 1.2, examples/queen/makefile 1.2, examples/solitare/makefile 1.2, examples/adder/makefile 1.2, examples/bddtest/makefile 1.2, examples/cmilner/makefile 1.2:
We don't need the makefles anymore since we are using autotools now,
thanks to Alexandre's contribution.
* examples/bddcalc/lexer.lxx 1.1, examples/bddcalc/parser.yxx 1.1, examples/bddcalc/parser_.h 1.1, examples/bddcalc/lexer.l 1.2, examples/bddcalc/makefile 1.3, examples/bddcalc/parser.h 1.2, examples/bddcalc/parser.y 1.3:
*** empty log message ***
* examples/runregression 1.1:
2004-07-13 haimcohen <haimcohen@users.sourceforge.net>
* examples/fdd/runtest 1.1, examples/money/runtest 1.1, examples/queen/runtest 1.1, examples/solitare/runtest 1.1:
A simple script to run a regression test and generate output
* examples/milner/runtest 1.1: *** empty log message ***
* examples/adder/runtest 1.1, examples/bddcalc/runtest 1.1, examples/bddtest/runtest 1.1, examples/cmilner/runtest 1.1:
A simple script to run a regression test and generate output
* examples/Makefile.am 1.1, examples/Makefile.def 1.1, examples/adder/Makefile.am 1.1, examples/bddcalc/Makefile.am 1.1, examples/bddtest/Makefile.am 1.1:
Support for autotools
* examples/solitare/.cvsignore 1.1, examples/.cvsignore 1.1, examples/adder/.cvsignore 1.1, examples/bddcalc/.cvsignore 1.1, examples/bddtest/.cvsignore 1.1, examples/cmilner/.cvsignore 1.1, examples/fdd/.cvsignore 1.1, examples/milner/.cvsignore 1.1, examples/money/.cvsignore 1.1, examples/queen/.cvsignore 1.1:
*** empty log message ***
* src/kernel.c 1.2: Changed the returned BuDDy version format.
* src/kernel.h 1.2:
The default value DEFAULT_CLOCK is now defined in the file instead of in the makefile. It can be changed using parameter to configure. By Alexandre.
* src/.cvsignore 1.1, src/Makefile.am 1.1, src/makefile 1.2:
for autoconf support
2004-07-12 haimcohen <haimcohen@users.sourceforge.net>
* doc/makefile 1.2, doc/.cvsignore 1.1: *** empty log message ***
* doc/tech.txt 1.1: From the original BuDDy distribution
* doc/Makefile.am 1.1: Added to enable autoconf
* m4/debug.m4 1.1: *** empty log message ***
* README 1.3: Modified to exaplin how to use configure. By Alexandre.
* config 1.2, makefile 1.2, .cvsignore 1.1: *** empty log message ***
* CHANGES 1.2:
Empty file - autoconf require CHANGES file. Changes will appear in the NEWS file, and changes for developers will be in the ChangeLog.
* AUTHORS 1.1, ChangeLog 1.1, Makefile.am 1.1, NEWS 1.1, README.CVS 1.1, configure.ac 1.1:
Added for configure support
2004-07-02 haimcohen <haimcohen@users.sourceforge.net>
* examples/bddcalc/makefile 1.2:
tokens.h was added to the 'clean' target as it is generated by yacc
* examples/bddcalc/parser.y 1.2:
Tokens were separated by spaces instead of commas to comply with POSIX standard.
Patch was supplied by Alexandre Duret-Lutz <aduret@src.lip6.fr>
2004-07-01 haimcohen <haimcohen@users.sourceforge.net>
* examples/bddcalc/parser.hxx 1.2, examples/bddcalc/tokens.h 1.2:
File removed since it did not have to be in CVS from the beginning - this file is generated by yacc.
2004-06-25 haimcohen <haimcohen@users.sourceforge.net>
* README 1.2: Change Haim Cohens Email to the one in Source Forge
* src/depend.inf 1.1.1.1, src/makefile 1.1.1.1, src/tree.c 1.1.1.1:
Initial import
* src/depend.inf 1.1, src/makefile 1.1, src/tree.c 1.1: New file.
* src/reorder.c 1.1.1.1: Initial import
* src/reorder.c 1.1: New file.
* src/prime.h 1.1.1.1: Initial import
* src/prime.h 1.1: New file.
* src/prime.c 1.1.1.1: Initial import
* src/prime.c 1.1: New file.
* src/kernel.c 1.1.1.1, src/kernel.h 1.1.1.1, src/pairs.c 1.1.1.1:
Initial import
* src/kernel.c 1.1, src/kernel.h 1.1, src/pairs.c 1.1: New file.
* src/imatrix.c 1.1.1.1, src/imatrix.h 1.1.1.1: Initial import
* src/imatrix.c 1.1, src/imatrix.h 1.1: New file.
* src/fdd.c 1.1.1.1, src/fdd.h 1.1.1.1: Initial import
* src/fdd.c 1.1, src/fdd.h 1.1: New file.
* src/cppext.cxx 1.1.1.1: Initial import
* src/cppext.cxx 1.1: New file.
* src/bvec.c 1.1.1.1, src/bvec.h 1.1.1.1, src/cache.c 1.1.1.1, src/cache.h 1.1.1.1:
Initial import
* src/bvec.c 1.1, src/bvec.h 1.1, src/cache.c 1.1, src/cache.h 1.1:
New file.
* src/bddtest.cxx 1.1.1.1, src/bddtree.h 1.1.1.1: Initial import
* src/bddtest.cxx 1.1, src/bddtree.h 1.1: New file.
* src/bddop.c 1.1.1.1: Initial import
* src/bddop.c 1.1: New file.
* src/bddio.c 1.1.1.1: Initial import
* src/bddio.c 1.1: New file.
* src/bdd.h 1.1.1.1: Initial import
* src/bdd.h 1.1: New file.
* examples/bddcalc/examples/c3540.cal 1.1.1.1, examples/bddcalc/examples/c432.cal 1.1.1.1:
Initial import
* examples/bddcalc/examples/c3540.cal 1.1, examples/bddcalc/examples/c432.cal 1.1:
New file.
* examples/bddcalc/examples/c1355.cal 1.1.1.1, examples/bddcalc/examples/c499.cal 1.1.1.1:
Initial import
* examples/bddcalc/examples/c1355.cal 1.1, examples/bddcalc/examples/c499.cal 1.1:
New file.
* examples/bddcalc/examples/c1908.cal 1.1.1.1, examples/bddcalc/examples/c2670.cal 1.1.1.1, examples/bddcalc/examples/readme 1.1.1.1:
Initial import
* examples/bddcalc/examples/c1908.cal 1.1, examples/bddcalc/examples/c2670.cal 1.1, examples/bddcalc/examples/readme 1.1:
New file.
* examples/bddcalc/parser.hxx 1.1.1.1, examples/bddcalc/slist.h 1.1.1.1, examples/bddcalc/tokens.h 1.1.1.1:
Initial import
* examples/bddcalc/parser.hxx 1.1, examples/bddcalc/slist.h 1.1, examples/bddcalc/tokens.h 1.1:
New file.
* examples/bddcalc/parser.y 1.1.1.1, examples/bddcalc/readme 1.1.1.1:
Initial import
* examples/bddcalc/parser.y 1.1, examples/bddcalc/readme 1.1: New file.
* examples/bddcalc/parser.h 1.1.1.1: Initial import
* examples/bddcalc/parser.h 1.1: New file.
* examples/adder/adder.cxx 1.1.1.1, examples/adder/makefile 1.1.1.1, examples/bddcalc/example.cal 1.1.1.1, examples/bddcalc/hashtbl.cxx 1.1.1.1, examples/bddcalc/hashtbl.h 1.1.1.1, examples/bddcalc/lexer.l 1.1.1.1, examples/bddcalc/makefile 1.1.1.1, examples/bddtest/bddtest.cxx 1.1.1.1, examples/bddtest/makefile 1.1.1.1, examples/cmilner/cmilner.c 1.1.1.1, examples/fdd/fdd.cxx 1.1.1.1, examples/fdd/makefile 1.1.1.1, examples/money/makefile 1.1.1.1, examples/money/money.cxx 1.1.1.1, examples/queen/makefile 1.1.1.1, examples/queen/queen.cxx 1.1.1.1, examples/solitare/makefile 1.1.1.1, examples/solitare/readme 1.1.1.1, examples/solitare/solitare.cxx 1.1.1.1:
Initial import
* examples/adder/adder.cxx 1.1, examples/adder/makefile 1.1, examples/bddcalc/example.cal 1.1, examples/bddcalc/hashtbl.cxx 1.1, examples/bddcalc/hashtbl.h 1.1, examples/bddcalc/lexer.l 1.1, examples/bddcalc/makefile 1.1, examples/bddtest/bddtest.cxx 1.1, examples/bddtest/makefile 1.1, examples/cmilner/cmilner.c 1.1, examples/fdd/fdd.cxx 1.1, examples/fdd/makefile 1.1, examples/money/makefile 1.1, examples/money/money.cxx 1.1, examples/queen/makefile 1.1, examples/queen/queen.cxx 1.1, examples/solitare/makefile 1.1, examples/solitare/readme 1.1, examples/solitare/solitare.cxx 1.1:
New file.
* doc/bddnotes.ps 1.1.1.1, doc/makefile 1.1.1.1, examples/cmilner/makefile 1.1.1.1, examples/cmilner/readme 1.1.1.1, examples/milner/makefile 1.1.1.1, examples/milner/milner.cxx 1.1.1.1, examples/milner/readme 1.1.1.1:
Initial import
* doc/bddnotes.ps 1.1, doc/makefile 1.1, examples/cmilner/makefile 1.1, examples/cmilner/readme 1.1, examples/milner/makefile 1.1, examples/milner/milner.cxx 1.1, examples/milner/readme 1.1:
New file.
* doc/buddy.ps 1.1.1.1: Initial import
* doc/buddy.ps 1.1: New file.
* CHANGES 1.1.1.1, README 1.1.1.1, config 1.1.1.1, makefile 1.1.1.1:
Initial import
* CHANGES 1.1, README 1.1, config 1.1, makefile 1.1: New file.
|
