source: to-imperative/trunk/ChangeLog @ 1018

Last change on this file since 1018 was 1018, checked in by luba, 18 years ago

* empty log message *

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 69.7 KB
Line 
12003-07-17  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
2
3        * library/include/refal/Dos.hh:
4        - declarations for Dos functions
5
6        * samples/Dos/Makefile, samples/Dos/exit.rf, samples/Dos/time.rf:
7        - tests for Time and Exit functions
8
9        * samples/Makefile:
10        - Dos functions tests are added
11
12        * library/Dos/Makefile, library/Dos/exit.cc, library/Dos/time.cc:
13        - Time, Exit library functions
14
15        * library/Makefile:
16        - Dos library is added to Makefile
17
182003-07-15  Andrey Slepuhin  <pooh@msu.ru>
19
20        * library/Arithm/mult.cc, runtime/rf_common.hh,
21        runtime/rf_core.cc, runtime/rf_integer.cc, runtime/rf_integer.hh,
22        runtime/rf_integer.ih, runtime/rf_string.cc, runtime/rf_types.hh,
23        samples/samples.mk:
24        - More work on long arithmetic.
25
262003-07-14  Andrey Slepuhin  <pooh@msu.ru>
27
28        * samples/check.sh:
29        - Changed to provide non-gnu and older gnu sed compatibility.
30
312003-07-12  Anton Orlov  <orlov@mccme.ru>
32
33        * compiler/rfp_clashes.rfi, compiler/rfp_compile.rf,
34        compiler/rfp_format.rf, compiler/rfp_lex.rf,
35        compiler/rfp_vars.rfi, compiler/rfp_clashes.rf:
36        - Implemented composition of sources for clashes.
37        - Some silly bugs are fixed.
38        - Some comments.
39
402003-07-10  Svetlana Ponomareva  <psm@kbse.botik.ru>
41
42        * samples/Table/loop.rf:
43        - Test for TABLE is added.
44
45        * runtime/rf_table.hh, runtime/rf_table.ih, runtime/rf_table.cc:
46        - Format of functions is changed.
47
48        * library/Table/bind.cc, library/Table/domain.cc,
49        library/Table/in_table.cc, library/Table/lookup.cc,
50        library/Table/replace_table.cc, library/Table/table_copy.cc,
51        library/Table/unbind.cc:
52        - Correction of function.
53
542003-07-09  Andrey Slepuhin  <pooh@msu.ru>
55
56        * runtime/rf_integer.cc:
57        - Temporary stub to fix tests compilation.
58
59        * runtime/rf_common.ih, runtime/rf_core.cc,
60        runtime/rf_memory_chunk.hh, runtime/rf_object.hh,
61        runtime/rf_object.ih, runtime/rf_object_ref.ih,
62        runtime/rf_result.hh, runtime/rf_stack.hh, runtime/rf_term.cc:
63        - Fixed includes problems.
64
65        * runtime/rf_integer.ih:
66        - Fixed a typo in the previous changeset.
67
68        * runtime/rf_arg.hh, runtime/rf_integer.ih:
69        - Added missing includes.
70
71        * runtime/rf_expr.ih, runtime/rf_core.cc:
72        - Fixed compilation warnings for 64-bit architectures.
73
74        * libp++/pxx_stream_socket.ih:
75        - Added missing include.
76
77        * libp++/pxx_heap_allocator.cc:
78        - Compilation warnings on 64-bit systems fixed.
79
80        * runtime/Makefile, runtime/rf_core.cc, runtime/rf_core.hh,
81        runtime/rf_integer.cc, runtime/rf_integer.hh,
82        runtime/rf_integer.ih, runtime/rf_types.hh:
83        - Started long integer arithmetic implementation.
84
85        * library/StdIO/Makefile, library/StdIO/close_channel.cc:
86        - Added Close-Channel implementation.
87
88        * config.mk:
89        - Removed -lsupc++ from LDLIBS, because it is alreadey included
90        in samples.mk.  Double inclusion of -lsupc++ breaks correct
91        exception handling on x86_64.
92
932003-07-09  Svetlana Ponomareva  <psm@kbse.botik.ru>
94
95        * runtime/rf_table.cc, runtime/rf_table.hh, runtime/rf_table.ih:
96        - Function format is changed.
97
982003-07-08  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
99
100        * samples/Class/Makefile:
101        - Makefile for renamed tests
102
103        * samples/Class/box_q.out, samples/Class/char_q.out,
104        samples/Class/digit_q.out, samples/Class/int_q.out,
105        samples/Class/letter_q.out, samples/Class/letter_q.rf,
106        samples/Class/string_q.rf, samples/Class/word_q.out,
107        samples/Class/word_q.rf, samples/Class/box_q.rf,
108        samples/Class/digit_q.rf, samples/Class/int_q.rf:
109        - renamed tests for renamed functions
110
111        * library/Class/Makefile:
112        - Makefile for renamed functions
113
114        * library/Class/digit_q.cc, library/Class/func_q.cc,
115        library/Class/int_q.cc, library/Class/letter_q.cc,
116        library/Class/string_q.cc, library/Class/table_q.cc,
117        library/Class/vector_q.cc, library/Class/word_q.cc,
118        library/Class/box_q.cc, library/Class/channel_q.cc,
119        library/Class/char_q.cc:
120        - renamed files for Class library
121
1222003-07-08  Svetlana Ponomareva  <psm@kbse.botik.ru>
123
124        * compiler/rfp_asail_optim.rf:
125        - Correction for syntax-modification (TERM-EQ).
126
127        * samples/Table/bind.out, samples/Table/domain.out,
128        samples/Table/lookup.out, samples/Table/table.out,
129        samples/Table/table_copy.out:
130        - Adding of out-files.
131
1322003-07-07  Svetlana Ponomareva  <psm@kbse.botik.ru>
133
134        * library/Table/table.cc:
135        - Correction of function.
136
137        * library/Table/replace_table.cc, library/Table/table.cc,
138        library/Table/table_copy.cc, library/Table/unbind.cc,
139        library/Table/Makefile, library/Table/bind.cc,
140        library/Table/domain.cc, library/Table/in_table.cc,
141        library/Table/lookup.cc:
142        - RF_FUNC for TABLE.
143
144        * runtime/rf_table.cc, runtime/rf_table.hh, runtime/rf_table.ih:
145        - Class TABLE.
146
147        * samples/Table/Makefile, samples/Table/table.rf,
148        samples/Table/table_copy.rf, samples/Table/bind.rf,
149        samples/Table/domain.rf, samples/Table/lookup.rf:
150        - Tests for Table.
151
1522003-07-06  Anton Orlov  <orlov@mccme.ru>
153
154        * samples/Box/Makefile, samples/Box/put1.out, samples/Box/put1.rf:
155        - Another test for the Box::Store() function.
156
157        * compiler/rfp_compile.rfi, compiler/rfp_format.rf,
158        compiler/rfp_vars.rf, compiler/rfp_as2as.rf,
159        compiler/rfp_check.rf, compiler/rfp_compile.rf:
160        - Improved generation of names for auxiliary variables.
161        - Print-Error function is moved from rfp_compile to rfp_check.
162        - A bug in Split-Re function which caused $const'ants to be
163        disclosed too early in some cases is fixed.
164
165        * compiler/rfp_asail_optim.rf:
166        - Converted to unix format.
167
1682003-07-04  Anton Orlov  <orlov@mccme.ru>
169
170        * library/Compare/compare.cc:
171        - Some simplification of implementation.
172
1732003-07-03  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
174
175        * samples/Compare/compare.out, samples/Compare/compare.rf:
176        - test and  .out file for compare function
177
178        * samples/Compare/Makefile:
179        - test for Compare function is added
180
181        * library/Compare/Makefile:
182        - Compare function is added
183
184        * library/Compare/compare.cc:
185        - Compare library function
186
187        * library/Class/Makefile:
188        - Makefile for renamed functions
189
190        * samples/Class/int_q.out, samples/Class/int_q.rf,
191        samples/Class/char_q.out: *** empty log message ***
192
193        * samples/Class/Makefile:
194        - Makefile for renamed files
195
1962003-07-02  Anton Orlov  <orlov@mccme.ru>
197
198        * library/Compare/gt_eq.cc, library/Compare/lt_eq.cc:
199        - Implementation has been simplified a little bit.
200
201        * samples/Compare/gt_eq.out:
202        - Fixed out-files.
203
204        * samples/Compare/Makefile:
205        - Makefile for compare tests.
206
207        * library/include/refal/Compare.hh:
208        - Header file for Compare library.
209
2102003-07-01  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
211
212        * samples/Compare/s_eq.rf:
213        - "/=" test is corrected
214
215        * samples/Compare/lt_eq.out, samples/Compare/s_eq.out,
216        samples/Compare/eq.out, samples/Compare/eq.rf,
217        samples/Compare/gt.out, samples/Compare/gt.rf,
218        samples/Compare/gt_eq.out, samples/Compare/gt_eq.rf,
219        samples/Compare/gt_new.rf, samples/Compare/lt.out,
220        samples/Compare/lt.rf, samples/Compare/lt_eq.rf,
221        samples/Compare/s_eq.rf:
222        - Compare functions tests
223
224        * samples/Makefile:
225        - Compare functions tests are added
226
227        * samples/Class/char_q.out, samples/Class/char_q.rf:
228        - tests for Class functions
229
230        * samples/Class/int_q.out, samples/Class/int_q.rf:
231        - test for Int? function
232
233        * runtime/rf_char.ih:
234        - is_letter() method is corected
235
2362003-07-01  Svetlana Ponomareva  <psm@kbse.botik.ru>
237
238        * runtime/rf_table.cc, runtime/rf_table.hh, runtime/rf_table.ih:
239        - Code formatting.
240
2412003-07-01  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
242
243        * runtime/rf_char.hh, runtime/rf_char.ih:
244        - is_letter() method is added
245
246        * library/Makefile:
247        - Compare is added
248
249        * library/Compare/Makefile, library/Compare/eq.cc,
250        library/Compare/gt.cc, library/Compare/gt_eq.cc,
251        library/Compare/lt.cc, library/Compare/lt_eq.cc,
252        library/Compare/s_eq.cc:
253        - Compare library functions
254
2552003-07-01  Anton Orlov  <orlov@mccme.ru>
256
257        * samples/Syntax/Makefile, samples/Syntax/trap1.rf:
258        - $trap--$with test.
259
260        * compiler/rfp_vars.rf, compiler/rfp_vars.rfi,
261        compiler/rfp_asail.rf, compiler/rfp_clashes.rf,
262        compiler/rfp_compile.rf:
263        - Fixed compilation of $error's.
264
2652003-06-30  Anton Orlov  <orlov@mccme.ru>
266
267        * library/Makefile, runtime/rf_table.cc, runtime/rf_table.hh,
268        runtime/rf_table.ih, samples/Makefile:
269        - Get the project successfully build.
270
271        * library/include/refal/Table.hh:
272        - Automatically generated header file.
273
274        * samples/Convert/to_int.bug11.out:
275        - Output for the test when using new runtime.
276
277        * library/Class/Makefile, library/Makefile,
278        samples/Class/Makefile, samples/Makefile:
279        - Compare library is removed from Makefiles.
280        - Class library functions are added.
281        - -O0 compiler option is used for compiling Class tests.
282
2832003-06-30  Svetlana Ponomareva  <psm@kbse.botik.ru>
284
285        * samples/Table/Makefile, samples/Table/table1.rf,
286        samples/Table/table2.rfi:
287        - Adding Table-test.
288
289        * library/Table/bind.cc, library/Table/domain.cc,
290        library/Table/in_table.cc, library/Table/lookup.cc,
291        library/Table/table.cc, library/Table/unbind.cc,
292        library/Table/Makefile, library/include/refal/Table.hh,
293        runtime/rf_table.cc, runtime/rf_table.hh, runtime/rf_table.ih,
294        runtime/Makefile, runtime/rf_core.cc, runtime/rf_core.hh:
295        - Adding Table (testing).
296
2972003-06-30  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
298
299        * library/Convert/to_int.cc:
300        - To_m_Int function is corrected
301
302        * docs/flist.txt:
303        - list of functions in R+ library
304
305        * library/Makefile, samples/Makefile: *** empty log message ***
306
307        * samples/Class/Makefile:
308        - Makefile for Class functions
309
310        * samples/Class/char_q.out:
311        - .out files for tests Class functions
312
313        * samples/Class/char_q.rf, samples/Class/int_q.rf:
314        - tests for Class library functions
315
3162003-06-29  Anton Orlov  <orlov@mccme.ru>
317
318        * samples/Syntax/Makefile, samples/Syntax/const1.rf,
319        samples/Syntax/const2.rfi:
320        - New test for using $const'ants.
321
322        * samples/Box/Makefile, samples/samples.mk:
323        - Rule for generating hh-files from rfi-files has been moved
324        to samples.mk.
325
326        * compiler/rfp_format.rf:
327        - Fixes concerning formats with $const'ants.
328
329        * library/String/create_string.hh, runtime/Makefile:
330        - Fixes for getting string sample compile.
331
332        * library/include/refal/Access.hh,
333        library/include/refal/Arithm.hh, library/include/refal/Box.hh,
334        library/include/refal/Class.hh, library/include/refal/Convert.hh,
335        library/include/refal/StdIO.hh, library/include/refal/String.hh:
336        - String.hh is added.
337        - Module names have started with "__refal__" component.
338
339        * compiler/rfpc.rf:
340        - Include path in a C++ header-file name.
341
3422003-06-29  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
343
344        * runtime/rf_core.cc, runtime/rf_core.hh:
345        - type String is registered
346
347        * library/Makefile:
348        - Class is added
349
350        * library/Class/Makefile:
351        - Class library function
352
353        * library/include/refal/Class.hh:
354        - Class library functions description
355
356        * library/String/Makefile, library/Makefile, samples/Makefile,
357        samples/String/Makefile: *** empty log message ***
358
359        * samples/String/string.out, samples/String/string.rf:
360        - test for String function
361
362        * library/String/create_string.hh, library/String/string.cc:
363        - String library function
364
365        * runtime/rf_string.cc, runtime/rf_string.hh,
366        runtime/rf_string.ih:
367        - String class
368
3692003-06-29  Anton Orlov  <orlov@mccme.ru>
370
371        * library/Access/r.cc:
372        - Misprint in the error message is corrected.
373
374        * samples/StdIO/Makefile, samples/Syntax/Makefile,
375        samples/Convert/Makefile, samples/Convert/bytes_to_chars.out,
376        samples/Convert/bytes_to_chars.rf,
377        samples/Convert/bytes_to_chars_inval.out,
378        samples/Convert/to_int.bug10.out,
379        samples/Convert/to_int.bug11.out,
380        samples/Convert/to_int.bug12.out,
381        samples/Convert/to_int.bug3.out, samples/StdIO/open_file_inv1.out,
382        samples/StdIO/open_file_inv2.out, runtime/rf_core.cc,
383        runtime/rf_macros.hh, samples/Access/Makefile,
384        samples/Access/l_inval1.out, samples/Access/left_inval.out,
385        samples/Access/middle_inval.out, samples/Access/r_inval1.out,
386        samples/Access/right_inval.out, samples/Arithm/Makefile,
387        samples/Box/Makefile, samples/Box/box1.out:
388        - Fixes for the proper work of "make check".
389        - Most out-files are generated with old (1.8.7) compiler.
390
391        * runtime/rf_expr.hh, runtime/rf_expr.ih:
392        - sym_eq is renamed to term_eq.
393
394        * compiler/rfp_compile.rfi, compiler/rfp_vars.rf,
395        compiler/rfp_asail.rf, compiler/rfp_clashes.rf,
396        compiler/rfp_compile.rf:
397        - Generation of FLAT-EQ is removed and generation of TERM-EQ
398        is added.
399
4002003-06-28  Anton Orlov  <orlov@mccme.ru>
401
402        * runtime/rf_term.hh, runtime/rf_term.ih, runtime/rf_expr.hh:
403        - Methods for flat expressions equality checks have been removed.
404
405        * runtime/rf_core.cc, runtime/rf_expr.hh, runtime/rf_expr.ih,
406        runtime/rf_object.cc, runtime/rf_object.hh,
407        runtime/rf_object_ref.cc, runtime/rf_object_ref.hh,
408        runtime/rf_object_ref.ih, runtime/rf_short_int.cc,
409        runtime/rf_term.hh, runtime/rf_term.ih, runtime/rf_vector.ih,
410        runtime/Makefile:
411        ----- Branch: parenth_term -----
412        - Result of merge from main trunk.
413
4142003-06-26  Anton Orlov  <orlov@mccme.ru>
415
416        * runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
417        runtime/rf_expr.hh, runtime/rf_expr.ih:
418        - Method Expr::compare.
419
4202003-06-25  Anton Orlov  <orlov@mccme.ru>
421
422        * samples/Convert/Makefile, samples/Convert/to_int.bug10.rf,
423        samples/Convert/to_int.bug11.rf, samples/Convert/to_int.bug12.rf:
424        - New tests for bugs in the To-Int function.
425
426        * library/Convert/to_int.cc:
427        - Some additional comments.
428
4292003-06-25  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
430
431        * library/Convert/to_int.cc:
432        - comments are corrected;
433
4342003-06-23  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
435
436        * runtime/rf_short_int.cc:
437        - ShortInt::create_expr(pxx::WString& ) method is corrected
438
439        * library/Convert/to_int.cc:
440        - To_m_Int function creates a string which consists only of
441        acceptable terms
442        - from the sourse expression
443
4442003-06-22  Anton Orlov  <orlov@mccme.ru>
445
446        * library/Box/get.cc, library/Box/put.cc,
447        library/StdIO/open_file.cc, library/StdIO/print_e_.cc,
448        library/StdIO/write_e_.cc:
449        - Use Term::cast_to() instead of Term::get_object() and
450        dynamic_cast.
451
452        * runtime/Makefile, runtime/rf_core.cc, runtime/rf_expr.ih,
453        runtime/rf_object.cc, runtime/rf_object.hh,
454        runtime/rf_object_ref.cc, runtime/rf_object_ref.hh,
455        runtime/rf_object_ref.ih, runtime/rf_short_int.cc,
456        runtime/rf_term.hh, runtime/rf_term.ih, runtime/rf_vector.ih:
457        - Objects are referenced through ObjectRef (instead of Ref)
458        which is derived from Term.
459        - Term::get_type() returns concrete type of the object.
460        - Method Term::cast_to() can be used to check that term has a
461        certain type and cast it to that type simultaneously.
462
4632003-06-21  Anton Orlov  <orlov@mccme.ru>
464
465        * runtime/rf_expr.ih, runtime/rf_term.cc, runtime/rf_term.hh,
466        runtime/rf_term.ih, runtime/rf_expr.hh:
467        - Improved eq functions.
468
469        * runtime/rf_short_int.hh, runtime/rf_short_int.ih,
470        runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
471        runtime/rf_types.hh, runtime/rf_word.cc, runtime/rf_word.hh,
472        runtime/rf_word.ih, runtime/rf_char.ih, runtime/rf_core.cc,
473        runtime/rf_core.hh, runtime/rf_expr.hh, runtime/rf_expr.ih,
474        runtime/rf_macros.hh, runtime/rf_object.cc, runtime/rf_object.hh,
475        runtime/rf_short_int.cc, runtime/Makefile, runtime/rf_channel.cc,
476        runtime/rf_channel.hh, runtime/rf_channel.ih, runtime/rf_char.cc,
477        runtime/rf_char.hh:
478        - Result of merge from main trunk.
479
4802003-06-20  Andrey Slepuhin  <pooh@msu.ru>
481
482        * runtime/rf_expr.ih:
483        - Enable writing expressions with `-' unquoted.
484
4852003-06-20  Anton Orlov  <orlov@mccme.ru>
486
487        * samples/Makefile, samples/StdIO/Makefile,
488        samples/StdIO/open_file_inv1.rf, samples/StdIO/open_file_inv2.rf:
489        - Tests for the Open-File function.
490
4912003-06-16  Anton Orlov  <orlov@mccme.ru>
492
493        * compiler/rfpc.rfi, compiler/rfpc.rf:
494        - Add /usr/local/include/refal-plus to the default include path.
495
496        * createlog:
497        - gawk is changed to awk.
498
4992003-06-10  Andrey Slepuhin  <pooh@msu.ru>
500
501        * samples/check.sh, samples/Syntax/const4.out,
502        samples/Convert/chars_to_bytes.out,
503        samples/Convert/to_int.bug1.out, samples/Convert/to_int.bug2.out,
504        samples/Convert/to_int.bug3.out, samples/Convert/to_int.bug4.out,
505        samples/Convert/to_int.bug5.out, samples/Convert/to_int.bug6.out,
506        samples/Convert/to_int.bug7.out, samples/Convert/to_int.bug8.out,
507        samples/Convert/to_int.bug9.out, samples/Convert/to_int.out,
508        samples/Convert/to_int2.out, samples/Convert/to_int3.out,
509        samples/Convert/to_int_inval.out, samples/Convert/to_word.out,
510        samples/Convert/tochars.out, samples/Convert/tolower.out,
511        samples/Convert/toupper.out, samples/Syntax/Makefile,
512        samples/Syntax/assign2.out, samples/Syntax/clash4.out,
513        samples/Access/left_inval.out, samples/Access/length.out,
514        samples/Access/middle.out, samples/Access/middle_inval.out,
515        samples/Access/r1.out, samples/Access/r_inval1.out,
516        samples/Access/right.out, samples/Access/right_inval.out,
517        samples/Arithm/Makefile, samples/Arithm/add.out,
518        samples/Arithm/div.out, samples/Arithm/div_rem.out,
519        samples/Arithm/gcd.out, samples/Arithm/mult.out,
520        samples/Arithm/rem.out, samples/Arithm/sub.out,
521        samples/Box/Makefile, samples/Box/box1.out,
522        samples/Convert/Makefile, samples/Convert/bytes_to_chars.out,
523        samples/Convert/bytes_to_chars_inval.out, Makefile,
524        rules.mk, samples/Access/Makefile, samples/Access/l1.out,
525        samples/Access/l_inval1.out, samples/Access/left.out,
526        samples/Makefile, samples/samples.mk:
527        - Reorganized samples and tests making process.
528        - Added new make targets `samples', `tests' and `check'.
529
530        * library/StdIO/Makefile, library/StdIO/print.cc,
531        library/StdIO/print_e_.cc, library/StdIO/write.cc,
532        library/StdIO/write_e_.cc, runtime/rf_channel.hh,
533        runtime/rf_channel.ih, runtime/rf_expr.hh, runtime/rf_expr.ih:
534        - Implemented missing StdIO::Print* and StdIO::Write* functions.
535
536        * library/StdIO/Makefile, library/StdIO/open_file.cc,
537        runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_term.ih:
538        - StdIO::Open-File implemented.
539
540        * config.mk, library/StdIO/Makefile, library/StdIO/write.cc,
541        runtime/rf_expr.ih, runtime/rf_short_int.ih, samples/Makefile,
542        samples/samples.mk:
543        - Expr::write() rewriting. StdIO::WriteLN() added.
544
545        * runtime/rf_expr.ih, runtime/rf_term.hh, runtime/rf_term.ih:
546        - Fixed Expr::print() bug caused by last change.
547
5482003-06-09  Andrey Slepuhin  <pooh@msu.ru>
549
550        * runtime/rf_term.ih, runtime/rf_types.hh, runtime/rf_vector.ih,
551        runtime/rf_word.cc, runtime/rf_word.hh, runtime/rf_word.ih,
552        runtime/rf_macros.hh, runtime/rf_object.cc, runtime/rf_object.hh,
553        runtime/rf_short_int.cc, runtime/rf_short_int.hh,
554        runtime/rf_short_int.ih, runtime/rf_term.cc, runtime/rf_term.hh,
555        runtime/rf_char.cc, runtime/rf_char.hh, runtime/rf_char.ih,
556        runtime/rf_core.cc, runtime/rf_expr.hh, runtime/rf_expr.ih:
557        - A notion of term class is completely removed. All term methods
558        now depend only on a term type.
559
560        * runtime/rf_channel.cc, runtime/rf_channel.hh,
561        runtime/rf_channel.ih:
562        - First bits of Channel implementation.
563
5642003-06-06  Andrey Slepuhin  <pooh@msu.ru>
565
566        * library/StdIO/Makefile, library/StdIO/channel.cc,
567        library/StdIO/std_channels.cc, runtime/Makefile,
568        runtime/rf_core.cc, runtime/rf_core.hh, runtime/rf_types.hh:
569        - First bits of Channel implementation.
570
571        * runtime/rf_core.cc:
572        - Improved error handling.
573
5742003-06-04  Svetlana Ponomareva  <psm@kbse.botik.ru>
575
576        * compiler/rfp_asail_optim.rf:
577        - Modified for ASAIL-change: FOR and logic conditions.
578
5792003-06-04  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
580
581        * samples/Convert/to_word.rf:
582        - test for To_Word function;
583
584        * samples/Convert/Makefile, samples/Convert/to_int.bug2.rf,
585        samples/Convert/to_int.bug3.rf, samples/Convert/to_int.rf:
586        - tests for То_m_Int function;
587
588        * runtime/rf_short_int.cc, runtime/rf_short_int.hh,
589        runtime/rf_word.cc, runtime/rf_word.hh, runtime/rf_word.ih:
590        - ShortInt::create_expr(WString& ) method is added for Тo_m_Int
591        - function;
592        - Word::create_expr(Expr& ) method is added for То_Word function;
593
594        * library/Convert/Makefile, library/Convert/to_int.cc,
595        library/Convert/to_word.cc:
596        - To_m_Int function is rewritten using WString;
597        - To_m_Word function;
598
5992003-06-04  Anton Orlov  <orlov@mccme.ru>
600
601        * runtime/rf_expr.ih, runtime/rf_term.hh, runtime/rf_term.ih:
602        - Improved eq functions.
603
6042003-06-03  Anton Orlov  <orlov@mccme.ru>
605
606        * runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_term.cc:
607        - Added counting of references to parentheses.
608
6092003-06-02  Anton Orlov  <orlov@mccme.ru>
610
611        * library/Access/Makefile, library/Arithm/Makefile,
612        library/Box/Makefile, library/Convert/Makefile,
613        library/StdIO/Makefile, rules.mk:
614        - Possibility to avoid old dependencies.
615
6162003-06-02  Andrey Slepuhin  <pooh@msu.ru>
617
618        * compiler/Makefile, rules.mk:
619        - Avoid generating unnecessary dependencies for some targets.
620
6212003-06-02  Anton Orlov  <orlov@mccme.ru>
622
623        * runtime/Makefile, runtime/rf_char.cc, runtime/rf_char.ih,
624        runtime/rf_core.cc, runtime/rf_expr.hh, runtime/rf_expr.ih,
625        runtime/rf_short_int.ih, runtime/rf_term.cc, runtime/rf_term.hh,
626        runtime/rf_term.ih, runtime/rf_types.hh, runtime/rf_vector.ih,
627        runtime/rf_word.ih:
628        - Returning to the unboxed parentheses representation on the
629        main CVS branch.
630
631        * runtime/Makefile, runtime/rf_term.hh, runtime/rf_term.ih,
632        runtime/rf_types.hh, runtime/rf_vector.ih, runtime/rf_word.ih,
633        runtime/rf_char.cc, runtime/rf_char.ih, runtime/rf_core.cc,
634        runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_short_int.ih,
635        runtime/rf_term.cc:
636        - Parentheses are inherited from general Term.
637
6382003-06-01  Anton Orlov  <orlov@mccme.ru>
639
640        * runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
641        runtime/rf_types.hh, runtime/rf_vector.ih, runtime/rf_word.ih,
642        runtime/Makefile, runtime/rf_char.cc, runtime/rf_char.ih,
643        runtime/rf_core.cc, runtime/rf_expr.hh, runtime/rf_expr.ih,
644        runtime/rf_short_int.ih:
645        - Parentheses are inherited from general Term.
646
6472003-05-30  Anton Orlov  <orlov@mccme.ru>
648
649        * samples/Convert/Makefile, samples/Convert/to_int.bug4.rf,
650        samples/Convert/to_int.bug5.rf, samples/Convert/to_int.bug6.rf,
651        samples/Convert/to_int.bug7.rf, samples/Convert/to_int.bug8.rf,
652        samples/Convert/to_int.bug9.rf:
653        - Bugs in the To-Int function.
654
655        * runtime/rf_expr.hh, runtime/rf_expr.ih:
656        - Variants of eq for constant expressions.
657
658        * samples/Convert/Makefile:
659        - Makefile fix.
660
661        * runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_term.hh,
662        runtime/rf_term.ih:
663        - Added specialized eq functions for various cases.
664
665        * compiler/rfp_vars.rf:
666        - Misprint concerning flatness is corrected.
667
668        * compiler/rfp_asail.rf, compiler/rfp_compile.rf,
669        compiler/rfp_helper.rf, compiler/rfp_helper.rfi,
670        compiler/rfp_vars.rf:
671        - Argument names are fixed again.
672        - Changed formats of EQ and FLAT-EQ forms.
673        - Flatness information are now extracted not from expression
674        structure but from symbol types.
675
6762003-05-29  Anton Orlov  <orlov@mccme.ru>
677
678        * compiler/rfp_as2as.rf, compiler/rfp_compile.rf:
679        - Corrected argument names generation.
680
6812003-05-29  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
682
683        * samples/Convert/to_int.rf, samples/Convert/to_int3.rf:
684        - tests for To_m_Int function are corrected
685
686        * runtime/rf_char.ih, runtime/rf_short_int.cc, runtime/rf_char.hh:
687        - result of is_space() method is corrected;
688        - evaluating of a number in create_expr (Expr&, int) for Char
689        terms is
690          corrected
691
692        * runtime/rf_word.ih, runtime/rf_word.hh:
693        - has_spaces() is_number() methods are corrected;
694        - result of is_number function is represented by enum;
695
696        * library/Convert/to_int.cc:
697        - To_m_Int function is corrected;
698
6992003-05-28  Andrey Slepuhin  <pooh@msu.ru>
700
701        * runtime/rf_expr.ih, runtime/rf_term.ih, runtime/rf_word.cc,
702        runtime/rf_word.ih:
703        - More fixes to make Word working.
704
705        * runtime/rf_char.cc:
706        - More fixes in Char::create_expr().
707
708        * runtime/rf_char.cc, runtime/rf_term.hh, runtime/rf_term.ih:
709        - Added ability to create flat expressions. Fixed
710        Char::create_expr().
711
7122003-05-28  Anton Orlov  <orlov@mccme.ru>
713
714        * samples/Makefile, samples/iter.rf:
715        - Factorial through triple $iter.
716
717        * compiler/rfp_as2as.rf:
718        - Corrected renaming of variables in $iter.
719
7202003-05-28  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
721
722        * samples/Convert/to_int2.rf, samples/Convert/to_int3.rf,
723        samples/Convert/Makefile:
724        - tests for То_m_Int function are added
725
726        * runtime/rf_word.hh, runtime/rf_word.ih:
727        - is_number() method is corrected;
728        - has_spaces() method is added;
729
730        * library/Convert/to_int.cc:
731        - Processing of spaces in words is corrected;
732        - comments are added;
733
7342003-05-28  Anton Orlov  <orlov@mccme.ru>
735
736        * samples/Syntax/Makefile, samples/Syntax/clash4.rf:
737        - A test for clashes compilation.
738
739        * compiler/rfp_asail.rf, compiler/rfp_clashes.rf,
740        compiler/rfp_clashes.rfi, compiler/rfp_compile.rf,
741        compiler/rfp_compile.rfi:
742        - Some work on clashes.
743        - FOR format in ASAIL is changed.
744        - Gathering flatness information.
745
7462003-05-27  Anton Orlov  <orlov@mccme.ru>
747
748        * library/Convert/to_int.cc:
749        - Some comments.
750
7512003-05-27  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
752
753        * library/Convert/to_int.cc:
754        - Comments to the function are added
755
7562003-05-26  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
757
758        * runtime/rf_short_int.cc:
759        - creating number from terms of type Word is corrected
760
761        * runtime/rf_word.hh, runtime/rf_word.ih:
762        - constructor in NumIterator class and is_number() method are
763        modified
764          for processing spaces in terms of type Word
765
7662003-05-26  Anton Orlov  <orlov@mccme.ru>
767
768        * samples/perm.rf, samples/select.rf, samples/select1.rf,
769        samples/select2.rf, samples/select3.rf:
770        - Code formatting.
771
772        * compiler/rfp_compile.rfi, compiler/rfp_helper.rf,
773        compiler/rfp_helper.rfi, compiler/rfp_vars.rf,
774        compiler/rfp_vars.rfi, compiler/Makefile, compiler/rfp_as2as.rf,
775        compiler/rfp_asail.rf, compiler/rfp_clashes.rf,
776        compiler/rfp_clashes.rfi, compiler/rfp_compile.rf:
777        - Work towards clashes compilation.  All examples are compiled
778        in the right code now.
779
7802003-05-25  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
781
782        * samples/Convert/to_int.rf, samples/Convert/to_int2.rf:
783        - test for To_m_Int function is added
784        - tests in to_int2.rf are corrected
785
786        * runtime/rf_char.ih, runtime/rf_char.hh:
787        - method is_not_space() is added
788
789        * runtime/rf_short_int.cc:
790        - processing of terms of Char type is corrected (spaces around
791        the digits are ignored)
792
793        * runtime/rf_word.hh, runtime/rf_word.ih:
794        - is_number() method is corrected
795
796        * library/Convert/to_int.cc:
797        - processing of spaces before and after Char terms is added
798
7992003-05-23  Anton Orlov  <orlov@mccme.ru>
800
801        * compiler/rfp_asail.rf, samples/Convert/Makefile,
802        samples/Convert/to_int2.rf:
803        - Example demonstrating where spaces are allowed in the To-Int
804        argument.
805
8062003-05-22  Anton Orlov  <orlov@mccme.ru>
807
808        * compiler/rfp_asail.rf, compiler/rfp_compile.rf:
809        - Work towards clashes compilation.
810
811        * compiler/rfp_compile.rf:
812        - Removed variables in cyclic restrictions.
813
8142003-05-21  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
815
816        * runtime/rf_word.hh, runtime/rf_word.ih:
817        - return type of operator *() in NumIterator class is corrected
818
8192003-05-21  Anton Orlov  <orlov@mccme.ru>
820
821        * samples/Box/Makefile, samples/Makefile, samples/Syntax/Makefile:
822        - Updated samples reflecting changes in the compiler.
823
824        * compiler/rfp_compile.rf, compiler/rfp_vars.rf:
825        - Work towards clashes compilation.
826
8272003-05-21  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
828
829        * runtime/rf_word.hh, runtime/rf_word.ih:
830        - type of operator * in NumIterator class is corrected
831
832        * samples/Convert/to_int.rf:
833        - tests with expression consisting of one word are added
834
835        * runtime/rf_short_int.cc:
836        - create_expr(Expr&, int) method is modified to process terms
837        of type word
838
839        * runtime/rf_word.hh, runtime/rf_word.ih:
840        - method is_number() is corrected
841
842        * library/Convert/to_word.cc, library/Convert/to_int.cc:
843        - expressions consisting of words are processed by the function
844
8452003-05-20  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
846
847        * runtime/rf_word.ih: -file formatting is corrected
848
849        * runtime/rf_word.hh, runtime/rf_word.ih:
850        - file formatting is corrected, modificator const is added
851        to methods
852
8532003-05-17  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
854
855        * runtime/rf_word.hh, runtime/rf_word.ih:
856        - Class NumIterator as element of class Word is added
857
8582003-05-16  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
859
860        * runtime/rf_char.ih, runtime/rf_core.cc, runtime/rf_core.hh,
861        runtime/rf_word.cc, runtime/rf_word.hh, runtime/rf_word.ih:
862        - type word is registered
863
864        * library/Convert/to_int.cc:
865        - term type word processing is added to the function
866
8672003-05-11  Svetlana Ponomareva  <psm@kbse.botik.ru>
868
869        * docs/ASAIL-syntax-long.tex:
870        - Correction ASAIL-text: DECL-OBJ, INT-var, logic term.
871
872        * compiler/rfp_asail_optim.rf:
873        - Correction for new asail-syntax (initialization of INT-var,
874        CONST definition, logic condition !=).
875
8762003-05-06  Anton Orlov  <orlov@mccme.ru>
877
878        * compiler/rfp_compile.rf:
879        - Removed generation of empty condition terms.
880
8812003-05-05  Anton Orlov  <orlov@mccme.ru>
882
883        * library/Convert/to_int.cc, samples/Convert/tochars.rf,
884        runtime/rf_char.hh, runtime/rf_short_int.cc,
885        runtime/rf_short_int.hh, runtime/rf_short_int.ih,
886        runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
887        runtime/rf_types.hh, runtime/rf_word.cc, runtime/rf_word.hh,
888        runtime/rf_char.cc:
889        - Reworked Char::to_chars() method.
890
891        * compiler/rfp_const.rf, samples/Syntax/static1.rf:
892        - Corrected bug in the static expression generation algorithm.
893
894        * library/Convert/to_int.cc, runtime/rf_short_int.cc,
895        samples/Arithm/add.rf, runtime/rf_short_int.hh:
896        - Maximum length of ShortInt number is now static constant
897        initialized at run-time.
898
8992003-05-03  Anton Orlov  <orlov@mccme.ru>
900
901        * samples/Syntax/Makefile, samples/Syntax/const4.rf:
902        - Test for $const'ants compilation.
903
904        * samples/Box/Makefile, samples/Box/box1.rf, samples/Box/box2.rfi,
905        samples/Makefile:
906        - Box library test.
907
908        * samples/samples.mk:
909        - Auto-rebuild binaries when Refal source changes.
910
911        * compiler/rfp_asail.rf, compiler/rfp_compile.rf,
912        compiler/rfp_const.rf, compiler/rfp_const.rfi,
913        compiler/rfp_vars.rf, compiler/rfp_vars.rfi:
914        - Added support for objects.  DECL-OBJ form in ASAIL.
915        - Added INT form in ASAIL for defining integer variables.
916        - Worked on clashes compilation (not finished yet).
917
9182003-05-02  Anton Orlov  <orlov@mccme.ru>
919
920        * runtime/rf_short_int.cc:
921        - Corrected bug in to_string() method.
922
9232003-05-01  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
924
925        * library/Convert/to_int.cc:
926        - Error is generated when the length of a number is more than
927        the length of UINTPTR_MAX.
928
9292003-04-30  Andrey Slepuhin  <pooh@msu.ru>
930
931        * runtime/rf_char.cc, runtime/rf_char.hh, runtime/rf_short_int.cc,
932        runtime/rf_short_int.hh, runtime/rf_term.cc, runtime/rf_types.hh,
933        runtime/rf_word.cc, runtime/rf_word.hh, runtime/rf_word.ih,
934        runtime/Makefile, runtime/rf_common.cc, runtime/rf_common.hh,
935        runtime/rf_common.ih:
936        - Started Word implementation.
937
9382003-04-30  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
939
940        * library/Convert/to_int.cc:
941        - length of the number is compared with maximum length of
942        UINTPTR_MAX now
943
9442003-04-30  Svetlana Ponomareva  <psm@kbse.botik.ru>
945
946        * docs/ASAIL-syntax-long.tex:
947        - Modified ASAIL-syntax: CONSTEXPR, DECL-CONST, t.var.
948
9492003-04-29  Svetlana Ponomareva  <psm@kbse.botik.ru>
950
951        * compiler/rfp_asail_optim.rf:
952        - Corrected t.var.
953
954        * compiler/rfp_asail_optim.rf:
955        - Modified for new format t.var (TVAR, SVAR, STATIC etc.)
956
9572003-04-29  Andrey Slepuhin  <pooh@msu.ru>
958
959        * samples/Access/Makefile, samples/Arithm/Makefile,
960        samples/Convert/Makefile, samples/Makefile, samples/samples.mk:
961        - Samples makefiles structure simplified.
962
9632003-04-29  Anton Orlov  <orlov@mccme.ru>
964
965        * compiler/rfp_vars.rf, compiler/rfp_vars.rfi,
966        compiler/rfp_asail.rf, compiler/rfp_asail_optim.rf,
967        compiler/rfp_compile.rf:
968        - Added parentheses around t.label int the LABEL form in ASAIL.
969        - Corrected Expr-variables defenitions.
970
971        * samples/Makefile:
972        - Added Arithm and Syntax subdirectories.
973
974        * samples/Syntax/Makefile, samples/Syntax/assign2.rf:
975        - Test for assignments of function results.
976
977        * samples/Convert/to_int_inval.rf, samples/Convert/tochars.rf,
978        samples/Convert/tolower.rf, samples/Convert/toupper.rf,
979        samples/Access/Makefile, samples/Access/l1.rf,
980        samples/Access/left.rf, samples/Access/middle.rf,
981        samples/Access/r1.rf, samples/Access/right.rf:
982        - All Words are changed to Chars sequences, so tests work with
983        the current runtime version.
984
9852003-04-28  Anton Orlov  <orlov@mccme.ru>
986
987        * runtime/rf_result.hh:
988        - Uncommented Stack& Stack::operator , (Result&).
989
9902003-04-27  Anton Orlov  <orlov@mccme.ru>
991
992        * compiler/rfp_compile.rf:
993        - Removed debugging output.
994
995        * samples/Convert/Makefile, samples/Access/Makefile:
996        - Removed *.cc files.  All of them can be generated by new
997        compiler version.
998
999        * compiler/rfpc.rf, compiler/rfpc.rfi, compiler/Makefile,
1000        compiler/reserved-c++.rf, compiler/reserved-c++.rfi,
1001        compiler/rfp-filt.rf, compiler/rfp-filt.rfi,
1002        compiler/rfp-synhl.rf, compiler/rfp-synhl.rfi,
1003        compiler/rfp_as2as.rf, compiler/rfp_as2as.rfi,
1004        compiler/rfp_asail.rf, compiler/rfp_asail.rfi,
1005        compiler/rfp_asail_optim.rfi, compiler/rfp_check.rf,
1006        compiler/rfp_check.rfi, compiler/rfp_compile.rf,
1007        compiler/rfp_compile.rfi, compiler/rfp_const.rf,
1008        compiler/rfp_const.rfi, compiler/rfp_err.rf, compiler/rfp_err.rfi,
1009        compiler/rfp_format.rf, compiler/rfp_format.rfi,
1010        compiler/rfp_helper.rf, compiler/rfp_helper.rfi,
1011        compiler/rfp_lex.rf, compiler/rfp_lex.rfi, compiler/rfp_list.rf,
1012        compiler/rfp_list.rfi, compiler/rfp_mangle.rf,
1013        compiler/rfp_mangle.rfi, compiler/rfp_parse.rf,
1014        compiler/rfp_parse.rfi, compiler/rfp_src.rf, compiler/rfp_src.rfi,
1015        compiler/rfp_vars.rf, compiler/rfp_vars.rfi:
1016        - Main compiler loop has been rewritten in a much more clear
1017        way with a lot of comments.
1018        - Variable uses analysis is temporarily removed to reappear in
1019        the as2as transformations phase.
1020        - Constant expressions are compiled into static objects rather
1021        then variables as was before.
1022        - Difference between R+ and R6 notions for = is supported on the
1023        level of AS.  R6 = should be parsed in NOFAIL.  For supplying R+
1024        = abstract syntax terms BLOCK, BLOCK?, and CUTALL are provided.
1025        - Yet, compilation of cyclic clashes DOESN'T WORK.  So nothing
1026        interesting can be compiled by this version.  Use previous one
1027        for that purposes.
1028
1029        * samples/Syntax/static1.rf:
1030        - Test for the correctness of constant static expressions
1031        initializing.
1032
1033        * samples/Syntax/assign1.rf:
1034        - Test for the assignments compilation correctness
1035
10362003-04-26  Anton Orlov  <orlov@mccme.ru>
1037
1038        * samples/Convert/to_int.rf:
1039        - Some additional tests.
1040
1041        * runtime/rf_short_int.cc:
1042        - More elegant version of ShortInt::create_expr (Expr& _expr,
1043        int _flag) method.
1044
1045        * samples/Convert/Makefile, samples/Convert/to_int.bug3.rf:
1046        - Bug in the To-Int library function.
1047
10482003-04-26  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1049
1050        * runtime/rf_short_int.cc: *** empty log message ***
1051
1052        * library/Convert/to_int.cc:
1053        - examinig first symbol in input expression is corrected
1054
1055        * samples/Convert/Makefile, samples/Convert/to_int_inval.rf:
1056        - tests for corrected To-Int function
1057
10582003-04-25  Anton Orlov  <orlov@mccme.ru>
1059
1060        * samples/Convert/Makefile, samples/Convert/to_int.bug2.rf:
1061        - Bug in the To-Int library function.
1062
1063        * samples/Convert/Makefile:
1064        - Added to_int_inval test to Makefile.
1065
10662003-04-25  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1067
1068        * samples/Convert/Makefile: *** empty log message ***
1069
1070        * runtime/rf_char.hh, runtime/rf_char.ih:
1071        - to_wchar_t() method is added
1072
10732003-04-25  Svetlana Ponomareva  <psm@kbse.botik.ru>
1074
1075        * docs/option-compiling.tex:
1076        - Modified: added option "-rfp-heapsize"
1077
1078        * docs/ASAIL-to-C++.tex:
1079        - Modified: correction of FOR-operator
1080
1081        * docs/ASAIL-syntax-long.tex:
1082        - Modified: t.label replaced to t.label-empty (for, block-label)
1083
1084        * compiler/rfp_asail.rf:
1085        - Modified: empty label (FOR, LABEL).
1086
1087        * compiler/rfp_asail_optim.rf:
1088        - Modified: deleting unused label
1089
10902003-04-24  Svetlana Ponomareva  <psm@kbse.botik.ru>
1091
1092        * docs/rfp-report.tex:
1093        - Modified: added of subsection  "reserved-c++"
1094
1095        * docs/rfp-report.ps:
1096        - PS-file (24.04.03)
1097
1098        * docs/split-compiling.tex:
1099        - Correction of text format
1100
1101        * docs/reserved-c++.tex:
1102        - Added description of reserved c++-const and symbol table
1103        (rfp_mangle).
1104
1105        * docs/option-compiling.tex:
1106        - Added compiler option (-no)
1107
1108        * docs/example-compiling.tex:
1109        - Correction of text format
1110
1111        * docs/ASAIL-to-C++.tex:
1112        - Correction of text (max -> pxx_max, min -> pxx_mo
1113
1114        * docs/ASAIL-syntax-long.tex:
1115        - Correction of text format
1116
11172003-04-24  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1118
1119        * samples/Convert/to_int.rf:
1120        - tests for corrected To-Int function
1121
1122        * runtime/rf_short_int.cc:
1123        - create_expr for Тo-Int function is corrected
1124
1125        * library/Convert/to_int.cc:
1126        - errors were corrected in To-Int function
1127
11282003-04-22  Anton Orlov  <orlov@mccme.ru>
1129
1130        * samples/Convert/Makefile, samples/Convert/to_int.bug1.rf:
1131        - Bug in the To-Int library function.
1132
11332003-04-18  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1134
1135        * samples/Convert/to_int.rf:
1136        - tests for To-Int function
1137
1138        * runtime/rf_short_int.cc:
1139        - ShortInt::create_expr(Expr&, int) is corrected
1140
11412003-04-14  Svetlana Ponomareva  <psm@kbse.botik.ru>
1142
1143        * compiler/rfp_asail_optim.rfi:
1144        - Added *.rfi module for asail-optimization.
1145
1146        * compiler/rfp_asail_optim.rf:
1147        - Added module of asail-optimization.
1148
1149        * compiler/Makefile:
1150        - Modified for asail-optimization.
1151
1152        * compiler/rfpc.rf:
1153        - Added call of asail-optimization-module (rfp_asail_optim.rf)
1154          Option "-no" (rfpc -no ...) ignore this optimization.
1155
11562003-04-12  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1157
1158        * runtime/rf_char.ih, runtime/rf_char.hh:
1159        - to_uint() method is added
1160
11612003-04-11  Anton Orlov  <orlov@mccme.ru>
1162
1163        * runtime/rf_short_int.cc:
1164        - Code formatting.
1165
1166        * library/Makefile:
1167        - Added Arithm subdirectory.
1168
1169        * runtime/rf_short_int.ih, runtime/rf_char.cc:
1170        - Code formatting.
1171
11722003-04-08  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1173
1174        * library/Convert/to_int.cc:
1175        - to_int.cc is corrected: checking for negative numbers in input
1176        expression is added
1177
1178        * samples/Convert/Makefile: *** empty log message ***
1179
11802003-04-07  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1181
1182        * samples/Convert/Makefile:
1183        - to_int.cc and to_int_inval.cc are added to Makefile
1184
1185        * samples/Convert/to_int_inval.rf:
1186        - test for To-Int library function
1187
1188        * samples/Convert/to_int.rf:
1189        - tests for To-Int library function
1190
1191        * runtime/rf_short_int.cc, runtime/rf_short_int.hh,
1192        runtime/rf_short_int.ih:
1193        - create_expr(Expr&, int) method for To-Int function is added.
1194
1195        * library/Convert/Makefile:
1196        -  to_int.cc is added to Makefile
1197
1198        * library/Convert/to_int.cc:
1199        - To-Int library function
1200
12012003-03-27  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1202
1203        * runtime/rf_char.cc:
1204        - bytes_to_chars method is corrected
1205
1206        * runtime/rf_char.cc:
1207        - chars_to_bytes and bytes_to_chars methods are corrected.
1208
1209        * samples/Convert/bytes_to_chars.rf:
1210        - tests
1211
12122003-03-24  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1213
1214        * samples/Convert/Makefile: *** empty log message ***
1215
1216        * samples/Convert/bytes_to_chars.rf:
1217        - test for Bytes-To-Chars function
1218
1219        * samples/Convert/chars_to_bytes.rf:
1220        - test for Chars-to-Bytes function
1221
1222        * library/Convert/Makefile: *** empty log message ***
1223
1224        * library/Convert/chars_to_bytes.cc:
1225        - Chars-To-Bytes function is corrected
1226
1227        * runtime/rf_char.ih, runtime/rf_char.cc, runtime/rf_char.hh:
1228        - chars_to_bytes method is added
1229
12302003-03-17  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1231
1232        * runtime/rf_short_int.cc, samples/Convert/Makefile: *** empty
1233        log message ***
1234
1235        * samples/Convert/bytes_to_chars.rf,
1236        samples/Convert/bytes_to_chars_inval.rf:
1237        - arguments in tests for Bytes-To-Chars are divided for valid
1238        and invalid
1239
1240        * runtime/rf_char.cc:
1241        - bytes_to_chars method is added
1242
1243        * library/Convert/bytes_to_chars.cc:
1244        - Bytes-To-Chars function
1245
1246        * samples/Convert/bytes_to_chars.rf:
1247        - test for Bytes-To-Chars
1248
12492003-03-17  Anton Orlov  <orlov@mccme.ru>
1250
1251        * runtime/rf_short_int.cc:
1252        - to_string is corrected.
1253
12542003-03-14  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1255
1256        * samples/Convert/Makefile: *** empty log message ***
1257
1258        * samples/Convert/bytes_to_chars.rf:
1259        - example of using bytes_to_chars function
1260
1261        * library/Convert/Makefile: *** empty log message ***
1262
1263        * library/Convert/bytes_to_chars.cc:
1264        - Bytes_m_To_m_Chars function
1265
1266        * runtime/rf_char.cc, runtime/rf_char.hh:
1267        - bytes_to_chars static method is added
1268
12692003-03-12  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1270
1271        * samples/Arithm/Makefile:
1272        - Makefile for Arithm tests
1273
1274        * samples/Arithm/rem.rf, samples/Arithm/sub.rf,
1275        samples/Arithm/add.rf, samples/Arithm/div.rf,
1276        samples/Arithm/div_rem.rf, samples/Arithm/gcd.rf,
1277        samples/Arithm/mult.rf:
1278        - tests for Arithm functions
1279
1280        * library/Arithm/Makefile:
1281        - Makefile for Arithm functions
1282
1283        * library/Arithm/div_rem.cc, library/Arithm/gcd.cc,
1284        library/Arithm/mult.cc, library/Arithm/rem.cc,
1285        library/Arithm/sub.cc, library/Arithm/add.cc,
1286        library/Arithm/div.cc:
1287        - Arithm functions were rewritten
1288
1289        * library/include/refal/Arithm.hh:
1290        - Arithm library functions declarations
1291
1292        * runtime/rf_short_int.cc:
1293        - to_string method is added
1294
12952003-03-05  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1296
1297        * samples/Access/left.rf, samples/Access/left_inval.rf,
1298        samples/Access/middle.rf, samples/Access/middle_inval.rf,
1299        samples/Access/r_inval1.rf, samples/Access/right.rf,
1300        samples/Access/right_inval.rf:
1301        - tests for Access functions
1302
1303        * library/Access/right.cc, library/Access/left.cc,
1304        library/Access/middle.cc, library/Access/r.cc:
1305        - some changes in Access functions
1306
13072003-03-05  Andrey Slepuhin  <pooh@msu.ru>
1308
1309        * samples/Access/Makefile, samples/Makefile:
1310        - Makefiles fixes.
1311
1312        * runtime/rf_vector.cc, runtime/rf_vector.hh,
1313        runtime/rf_vector.ih, runtime/Makefile, runtime/rf_core.cc,
1314        runtime/rf_core.hh:
1315        - Vector implementation added.
1316
13172003-03-03  Anton Orlov  <orlov@mccme.ru>
1318
1319        * library/Access/left.cc, library/Access/middle.cc,
1320        library/Access/r.cc, library/Access/right.cc:
1321        - Some comments and minor code formatting improvements.
1322
13232003-03-03  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1324
1325        * library/Access/Makefile:
1326        - Makefile for Access functions
1327
1328        * samples/Access/Makefile:
1329        - Makefile for Access functions tests
1330
1331        * samples/Access/length.rf:
1332        - tests for Access::Length function
1333
1334        * samples/Access/middle.rf:
1335        - tests for Access::Middle function
1336
1337        * samples/Access/left.rf:
1338        - tests for Access::L function
1339
1340        * samples/Access/right.rf:
1341        - tests for Access::Right function
1342
1343        * samples/Access/r1.rf:
1344        - tests for Access::R function
1345
1346        * library/Access/left.cc, library/Access/length.cc,
1347        library/Access/middle.cc, library/Access/r.cc,
1348        library/Access/right.cc:
1349        - Changes were added to Access library functions
1350
13512003-02-27  Anton Orlov  <orlov@mccme.ru>
1352
1353        * samples/Makefile:
1354        - Automatic making of subdirectories.
1355
1356        * samples/Access/l1.rf:
1357        - More complete test.
1358
13592003-02-26  Anton Orlov  <orlov@mccme.ru>
1360
1361        * samples/Convert/.cvsignore: *** empty log message ***
1362
1363        * samples/Access/Makefile:
1364        - Makefile for Access tests.
1365
1366        * samples/Access/.cvsignore, samples/Access/l1.rf,
1367        samples/Access/l_inval1.rf:
1368        - Test files for L function.
1369
1370        * samples/Convert/tolower.rf, samples/Convert/toupper.rf,
1371        samples/Convert/Makefile, samples/Convert/tochars.rf,
1372        samples/Makefile:
1373        - Convert test files.
1374
1375        * samples/Makefile:
1376        - Convert test files are moved to Convert subdirectory.
1377
1378        * runtime/rf_core.cc, runtime/rf_expr.ih, runtime/rf_macros.hh,
1379        runtime/rf_short_int.cc, runtime/rf_short_int.hh,
1380        runtime/rf_short_int.ih, runtime/rf_term.hh, runtime/rf_term.ih,
1381        runtime/rf_types.hh:
1382        - SymbolType enum was removed.
1383        - From Term class methods is_char() and get_char() were removed.
1384        - type_number was replaced by type_int and type_short_int.
1385        - Static method ShortInt::create_expr(intptr_t) was added.
1386
1387        * library/Access/Makefile, library/Access/l.cc, library/Makefile:
1388        - Function L has been developed to the working one.
1389
1390        * compiler/rfpc.rf:
1391        - Print error message when can't open a file for writing.
1392
1393        * library/include/refal/Access.hh,
1394        library/include/refal/Convert.hh:
1395        - Headers generated by compiler from .rfi files.
1396
13972003-02-26  Andrey Slepuhin  <pooh@msu.ru>
1398
1399        * Developers:
1400        - Minor changes to fix ChangeLog generation.
1401
14022003-02-26  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1403
1404        * runtime/rf_short_int.ih, runtime/rf_short_int.hh:
1405        - to_uint() element function is added
1406
1407        * library/include/refal/Access.hh:
1408        - Declarations for Access library functions
1409
1410        * library/Access/Makefile:
1411        - makefile for L, R functions
1412
1413        * library/Access/r.cc:
1414        - R function
1415
1416        * library/Access/l.cc:
1417        - L function
1418
14192003-02-25  Svetlana Ponomareva  <psm@kbse.botik.ru>
1420
1421        * docs/comp-sheme.eps:
1422        - Drawing 1 (RFBR-2002 report)
1423
1424        * docs/example-compiling.tex:
1425        - Example (RFBR-2002 report)
1426
1427        * docs/option-compiling.tex:
1428        - Compiler option (RFBR-2002 report)
1429
1430        * docs/ASAIL-to-C++.tex:
1431        - ASAIL-to-C++ compiling rules (RFBR-2002 report)
1432
1433        * docs/split-compiling.tex:
1434        - Split-compiling-definition (RFBR-2002 report)
1435
1436        * docs/my-macro.tex:
1437        - macro (RFBR-2002 report)
1438
1439        * docs/rfp-report.tex:
1440        - Main file of RFBR-2002 report (TEX-project)
1441
1442        * docs/class-Expr.tex:
1443        - class Rxpression definition (RFBR-2002 report)
1444
1445        * docs/ASAIL-syntax-long.tex:
1446        - ASAIL-syntax definition (RFBR-2002 report)
1447
1448        * docs/AS-syntax.tex:
1449        - AS-syntax definition (RFBR-2002 report)
1450
14512003-02-24  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1452
1453        * library/Convert/Makefile, samples/Makefile: *** empty log
1454        message ***
1455
1456        * runtime/rf_short_int.cc, runtime/rf_short_int.hh,
1457        runtime/rf_short_int.ih:
1458        - get_char_len static method is added to ShortInt class
1459
1460        * runtime/rf_macros.hh:
1461        - RF_LIB_ERROR macros is changed
1462
1463        * library/Convert/to_upper.cc:
1464        - to_upper function
1465
1466        * library/Convert/to_lower.cc:
1467        - to_lower function
1468
1469        * library/Convert/to_chars.cc:
1470        - to_chars function
1471
1472        * library/Makefile: *** empty log message ***
1473
1474        * library/include/refal/Convert.hh:
1475        - declarations of Convert library functions
1476
14772003-02-19  Andrey Slepuhin  <pooh@msu.ru>
1478
1479        * libp++/Makefile, libp++/pxx_vector.cc, libp++/pxx_vector.hh,
1480        libp++/pxx_vector.ih:
1481        - Added vector implementation.
1482
1483        * libp++/pxx_string.hh:
1484        - Method expand() went to private area.
1485
1486        * libp++/pxx_binary_stream.hh, libp++/pxx_text_stream.hh:
1487        - Use non-overloaded operators from base class.
1488
14892003-02-17  Andrey Slepuhin  <pooh@msu.ru>
1490
1491        * libp++/pxx_binary_stream.hh, libp++/pxx_binary_stream.ih,
1492        libp++/pxx_common.hh, libp++/pxx_fd_binary_stream.hh,
1493        libp++/pxx_fd_binary_stream.ih, libp++/pxx_fd_text_stream.hh,
1494        libp++/pxx_fd_text_stream.ih, libp++/pxx_stream.hh,
1495        libp++/pxx_stream.ih, libp++/pxx_string.hh, libp++/pxx_string.ih,
1496        libp++/pxx_text_stream.hh, libp++/pxx_text_stream.ih:
1497        - String output operators added.
1498        - Minor improvements.
1499
1500        * runtime/rf_expr.ih:
1501        - Using string operator [] from libp++.
1502
1503        * libp++/pxx_string.hh, libp++/pxx_string.ih:
1504        - Added operator[].
1505
15062003-02-14  Anton Orlov  <orlov@mccme.ru>
1507
1508        * runtime/rf_char.cc, runtime/rf_char.hh, runtime/rf_char.ih:
1509        - Static methods Char::to_lower and Char::to_upper have been
1510        added for converting sequences of characters.
1511
15122003-02-14  Andrey Slepuhin  <pooh@msu.ru>
1513
1514        * libp++/Makefile, libp++/pxx_exception.hh,
1515        libp++/pxx_sock_addr.cc, libp++/pxx_sock_addr.hh,
1516        libp++/pxx_sock_addr.ih, libp++/pxx_stream_socket.cc,
1517        libp++/pxx_stream_socket.hh, libp++/pxx_stream_socket.ih:
1518        - Started sockets implementation.
1519
15202003-02-13  Anton Orlov  <orlov@mccme.ru>
1521
1522        * runtime/rf_char.cc, runtime/rf_char.hh, runtime/rf_expr.hh,
1523        runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
1524        runtime/rf_types.hh:
1525        - Added method Char::to_chars for converting expressions to
1526        character sequences. Needed for it methods Term::get_char_len
1527        and Term::to_chars are provided for Char and reference terms.
1528
15292003-02-12  Andrey Slepuhin  <pooh@msu.ru>
1530
1531        * samples/Makefile:
1532        - Makefile fixed for new library includes location.
1533
1534        * library/Box/Makefile, library/Box/box.cc,
1535        library/Box/get.cc, library/Box/put.cc, library/Makefile,
1536        library/include/refal/Box.hh:
1537        - Library routines for box implementation.
1538
1539        * runtime/rf_term.ih, runtime/rf_types.cc, runtime/rf_types.hh,
1540        runtime/rf_types.ih, runtime/rf_box.ih, runtime/rf_core.cc,
1541        runtime/rf_core.hh, runtime/rf_expr.hh, runtime/rf_expr.ih,
1542        runtime/rf_object.hh, runtime/rf_object.ih, runtime/rf_term.cc,
1543        runtime/rf_term.hh, runtime/Makefile, runtime/rf_box.cc,
1544        runtime/rf_box.hh:
1545        - Continued work on refal objects.
1546        - Box object implementation.
1547
15482003-02-10  Andrey Slepuhin  <pooh@msu.ru>
1549
1550        * libp++/pxx_buffer.hh, libp++/pxx_buffer.ih,
1551        libp++/pxx_fd_buffer.cc, libp++/pxx_fd_buffer.hh,
1552        libp++/pxx_fd_buffer.ih, libp++/pxx_stream.hh,
1553        libp++/pxx_stream.ih:
1554        - Added controls for synchronizing associated input and output
1555        streams.
1556
1557        * runtime/rf_core.cc, runtime/rf_core.hh, runtime/Makefile:
1558        - Minor fixes to correct samples compilation.
1559
15602003-02-10  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1561
1562        * runtime/rf_short_int.hh, runtime/rf_short_int.ih,
1563        runtime/rf_term.cc, runtime/rf_term.hh, runtime/rf_term.ih,
1564        runtime/rf_char.ih, runtime/rf_core.cc, runtime/rf_expr.ih,
1565        runtime/rf_short_int.cc:
1566        - Field data2 of class Term is replaced by union,
1567          class ShortInt is added, type ShortInt is registered
1568
15692003-02-06  Andrey Slepuhin  <pooh@msu.ru>
1570
1571        * libp++/pxx_common.cc, libp++/pxx_exception.hh,
1572        libp++/pxx_string.hh, libp++/pxx_text_stream.hh,
1573        libp++/pxx_text_stream.ih:
1574        - Implementing wide character stream operations.
1575
1576        * runtime/rf_expr.ih:
1577        - Fixed a bug with non-terminated buffer after wctomb()
1578        conversion.
1579
1580        * libp++/pxx_string.ih:
1581        - Fixed bug with string data memory allocation.
1582
1583        * libp++/pxx_common.cc, libp++/pxx_string.hh,
1584        libp++/pxx_string.ih:
1585        - Improved string implementation.
1586
1587        * libp++/pxx_string.ih:
1588        - Fixed bug in string constructors.
1589
15902003-02-05  Andrey Slepuhin  <pooh@msu.ru>
1591
1592        * libp++/Makefile, libp++/pxx_allocator.cc,
1593        libp++/pxx_allocator.hh, libp++/pxx_allocator.ih,
1594        libp++/pxx_chunk_allocator.ih, libp++/pxx_default_allocator.ih,
1595        libp++/pxx_heap_allocator.ih, libp++/pxx_malloc_allocator.ih:
1596        - Ugly workaround on early destruction of default allocator.
1597
1598        * libp++/pxx_chunk_allocator.hh, libp++/pxx_chunk_allocator.ih,
1599        libp++/pxx_common.cc, libp++/pxx_string.hh, libp++/pxx_string.ih:
1600        - Implemented reference counting for strings. Still need to
1601        be improved.
1602
1603        * runtime/rf_char.cc, runtime/rf_core.cc:
1604        - Corrected work with locales.
1605
1606        * runtime/rf_term.ih, runtime/rf_types.cc, runtime/rf_types.hh,
1607        samples/Makefile, runtime/rf_char.cc, runtime/rf_char.hh,
1608        runtime/rf_char.ih, runtime/rf_core.cc, runtime/rf_core.hh,
1609        runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_term.cc,
1610        runtime/rf_term.hh, library/StdIO/print.cc:
1611        - Work on types implementation and I/O.
1612
1613        * libp++/pxx_string.ih:
1614        - Added missing include.
1615
1616        * libp++/pxx_string.hh, libp++/pxx_string.ih:
1617        - Added char_at() method.
1618
16192003-02-04  Andrey Slepuhin  <pooh@msu.ru>
1620
1621        * runtime/rf_object.ih, runtime/rf_term.hh, runtime/rf_term.ih,
1622        runtime/rf_types.cc, runtime/rf_types.hh, runtime/rf_types.ih,
1623        runtime/Makefile, runtime/rf_char.cc, runtime/rf_char.hh,
1624        runtime/rf_char.ih, runtime/rf_core.cc, runtime/rf_expr.hh,
1625        runtime/rf_object.cc, runtime/rf_object.hh:
1626        - Working on type and object interface.
1627        - Changes in rftype::Char class.
1628
16292003-02-03  Anton Orlov  <orlov@mccme.ru>
1630
1631        * runtime/rf_macros.hh, runtime/rf_macros.cc:
1632        - Branch: alternative_call_macros.  Call macros implementation
1633        through a global variable without auxiliary inline functions
1634        and examples of that macros using.
1635
16362003-02-03  Andrey Slepuhin  <pooh@msu.ru>
1637
1638        * libp++/pxx_heap_allocator.ih, libp++/pxx_malloc_allocator.hh,
1639        libp++/pxx_malloc_allocator.ih, libp++/pxx_allocator.hh,
1640        libp++/pxx_default_allocator.hh, libp++/pxx_default_allocator.ih,
1641        libp++/pxx_heap_allocator.hh:
1642        - New allocator feature added.
1643
1644        * runtime/rf_common.cc, runtime/rf_common.hh,
1645        runtime/rf_core.cc, libp++/pxx_common.cc, libp++/pxx_common.hh,
1646        libp++/pxx_default_allocator.cc:
1647        - Disable init_priority attributes.
1648
1649        * libp++/pxx_text_stream.cc, libp++/pxx_text_stream.ih:
1650        - Moved non-inline code to source file.
1651
1652        * libp++/pxx_buffer.cc:
1653        - Added necessary include.
1654
1655        * libp++/pxx_common.cc:
1656        - Removed unnecessary include.
1657
1658        * runtime/rf_macros.cc, runtime/rf_macros.hh:
1659        - Implemented macros that do not use GCC statement expressions
1660        extension.  These macros are turned on by default.
1661
16622003-02-01  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1663
1664        * library/Convert/bytes_to_chars.cc:
1665        - next revision using Char and ShortInt types
1666
1667        * runtime/rf_short_int.ih, runtime/rf_short_int.hh:
1668        - Refal+ ShortInt type
1669
1670        * runtime/rf_char.hh, runtime/rf_char.ih:
1671        - Refal+ type Char
1672
16732003-01-31  Andrey Slepuhin  <pooh@msu.ru>
1674
1675        * samples/Makefile, Makefile, config.mk, runtime/Makefile:
1676        - Project tree reorganization, libp++ moved into separate
1677        directory.
1678
1679        * libp++/pxx_exception.hh:
1680        - Added missing file.
1681
1682        * libp++/pxx_fd_buffer.cc, libp++/pxx_fd_buffer.hh,
1683        libp++/pxx_text_stream.hh, libp++/pxx_text_stream.ih:
1684        - Completed integer read operators.
1685
1686        * runtime/rf_memory_chunk.hh, runtime/rf_term.cc,
1687        runtime/rf_term.hh, runtime/rf_term.ih, runtime/rf_common.cc,
1688        runtime/rf_common.hh, runtime/rf_expr.ih:
1689        - Added table based term comparison and copy constructor.
1690        - Implemented expression unification and identity check.
1691
16922003-01-28  Andrey Slepuhin  <pooh@msu.ru>
1693
1694        * libp++/Makefile, libp++/pxx_binary_stream.hh,
1695        libp++/pxx_binary_stream.ih, libp++/pxx_buffer.cc,
1696        libp++/pxx_buffer.hh, libp++/pxx_buffer.ih, libp++/pxx_common.hh,
1697        libp++/pxx_fd_binary_stream.hh, libp++/pxx_fd_binary_stream.ih,
1698        libp++/pxx_fd_buffer.cc, libp++/pxx_fd_text_stream.cc,
1699        libp++/pxx_fd_text_stream.hh, libp++/pxx_fd_text_stream.ih,
1700        libp++/pxx_stream.hh, libp++/pxx_text_stream.cc,
1701        libp++/pxx_text_stream.hh, libp++/pxx_text_stream.ih:
1702        - Started work on text streams.
1703
1704        * libp++/Makefile, libp++/pxx_common.cc, libp++/pxx_common.hh,
1705        libp++/pxx_string.hh, libp++/pxx_string.ih:
1706        - Continued string implementation.
1707
17082003-01-27  Andrey Slepuhin  <pooh@msu.ru>
1709
1710        * libp++/Makefile, libp++/pxx_common.hh, libp++/pxx_string.cc,
1711        libp++/pxx_string.hh, libp++/pxx_string.ih:
1712        - Started string implementation.
1713
1714        * libp++/pxx_binary_stream.hh, libp++/pxx_binary_stream.ih,
1715        libp++/pxx_buffer.cc, libp++/pxx_buffer.hh, libp++/pxx_buffer.ih,
1716        libp++/pxx_fd_binary_stream.cc, libp++/pxx_fd_binary_stream.hh,
1717        libp++/pxx_fd_binary_stream.ih, libp++/pxx_fd_buffer.cc,
1718        libp++/pxx_fd_buffer.hh, libp++/pxx_fd_buffer.ih,
1719        libp++/pxx_stream.hh, libp++/pxx_stream.ih, libp++/Makefile,
1720        libp++/pxx_binary_stream.cc, libp++/pxx_stream.cc:
1721        - Continued stream implementation.
1722
17232003-01-25  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1724
1725        * library/ShortArithm/div_rem.cc, library/ShortArithm/gcd.cc,
1726        library/ShortArithm/mult.cc, library/ShortArithm/rem.cc,
1727        library/ShortArithm/sub.cc, library/ShortArithm/add.cc,
1728        library/ShortArithm/arithm.hh:
1729        - ShortArithm library functions
1730
1731        * library/Convert/to_chars.cc, library/Convert/to_int.cc,
1732        library/Convert/to_word.cc, library/Convert/bytes_to_chars.cc:
1733        - Convert library functions
1734
17352003-01-24  Anton Orlov  <orlov@mccme.ru>
1736
1737        * library/ShortArithm/div.cc:
1738        - Div function for short integers.
1739
17402003-01-24  Andrey Slepuhin  <pooh@msu.ru>
1741
1742        * config.mk:
1743        - Added debug flags.
1744
1745        * samples/Makefile, samples/perm.rf, samples/select.rf,
1746        samples/select1.rf, samples/select2.rf, samples/select3.rf:
1747        - Workaround to allow program compilation.
1748        - Makefile rules changed to allow correct dependency checking.
1749        - Removed C++ versions of samples from CVS.
1750
1751        * library/Makefile:
1752        - Removed unnecessary lines.
1753
1754        * runtime/rf_term.hh, runtime/rf_term.ih, runtime/rf_expr.hh,
1755        runtime/rf_expr.ih, runtime/rf_term.cc:
1756        - REF_BIT changed to FLAT_BIT. Some work on flatness checking.
1757        - Implemented correct destructor for term.
1758        - Implemented term classes.
1759        - Implemented table-based term destructor.
1760
17612003-01-24  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1762
1763        * samples/select2.rf, samples/select3.rf, samples/select.rf,
1764        samples/select1.rf:
1765        - select examples
1766
17672003-01-23  Anton Orlov  <orlov@mccme.ru>
1768
1769        * samples/Makefile, samples/perm.rf:
1770        - Permutations computing example.
1771
1772        * compiler/rfp_asail.rf:
1773        - Generate using pxx_max and pxx_min for computing maximum
1774        and minimum.
1775
1776        * library/include/refal/StdIO.hh:
1777        - Header file generated from StdIO.rfi.
1778
1779        * compiler/rfp_asail.rf:
1780        - Function declarations are moved inside their namespaces.
1781
1782        * compiler/rfp_asail.rf, compiler/rfp_asail.rfi,
1783        compiler/rfp_compile.rf, compiler/rfp_helper.rf,
1784        compiler/rfp_helper.rfi, compiler/rfp_lex.rf,
1785        compiler/rfp_parse.rf, compiler/rfpc.rf:
1786        - Now compileable C++ code is generated.  Added generation of
1787        namespaces, includes, and entry.
1788        - Names are converted accordingly to the common scheme used
1789        in rfp-filt.
1790        - Refal interface files (.rfi) can be processed to generate C++
1791        header files (.hh).
1792
1793        * compiler/rfp-filt.rf, compiler/rfp_mangle.rf,
1794        compiler/rfp_mangle.rfi:
1795        - All symbol sequences that are words from the R+ book point of
1796        view can be converted to C++ identifiers.
1797
17982003-01-23  Andrey Slepuhin  <pooh@msu.ru>
1799
1800        * libp++/Makefile, libp++/pxx_stream.hh:
1801        - Started stream implementation.
1802
1803        * libp++/pxx_allocator.hh, libp++/pxx_default_allocator.hh,
1804        libp++/pxx_malloc_allocator.hh:
1805        - Fixed typos.
1806
1807        * runtime/rf_expr.ih:
1808        - Get rid of creating temporary term when surrounding an
1809        expression by parentheses.
1810
18112003-01-22  Andrey Slepuhin  <pooh@msu.ru>
1812
1813        * samples/Makefile, compiler/rfp_asail.rf, runtime/Makefile,
1814        runtime/rf_expr.cc, runtime/rf_expr.hh, runtime/rf_expr.ih,
1815        runtime/rf_memory_chunk.hh, runtime/rf_term.hh,
1816        runtime/rf_term.ih, config.mk:
1817        - Finished cleanup and documentation of two main runtime classes,
1818        Term and Expr.
1819
18202003-01-21  Andrey Slepuhin  <pooh@msu.ru>
1821
1822        * runtime/rf_result.hh, runtime/Makefile, runtime/rf_common.hh,
1823        runtime/rf_expr.cc, runtime/rf_expr.hh, runtime/rf_expr.ih:
1824        - Continued code cleanup and documentation.
1825
18262003-01-20  Andrey Slepuhin  <pooh@msu.ru>
1827
1828        * createlog:
1829        - Hopefully finally get rid of annoying ./ in filenames.
1830
1831        * runtime/rf_expr.hh, runtime/rf_expr.ih, runtime/rf_term.hh,
1832        runtime/rf_term.ih, runtime/rf_core.hh, runtime/rf_expr.cc:
1833        - Started cleaning up and documenting expression implementation.
1834
1835        * runtime/rf_term.hh:
1836        - Document design flaw with missing copy ctor and assignment
1837        operator.
1838
1839        * runtime/rf_core.hh, runtime/rf_term.cc, runtime/rf_term.hh,
1840        runtime/rf_term.ih:
1841        - Term class code cleanup and documentation.
1842
18432003-01-20  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1844
1845        * library/Convert/bytes_to_chars.cc,
1846        library/Convert/chars_to_bytes.cc, library/Convert/convert.hh,
1847        library/Convert/to_chars.cc, library/Convert/to_int.cc,
1848        library/Convert/to_lower.cc, library/Convert/to_upper.cc,
1849        library/Convert/to_word.cc:
1850        - errors of using types of terms (Char, Int, Word) were corrected
1851
1852        * library/Access/middle.cc, library/Access/r.cc,
1853        library/Access/right.cc, library/Access/access.hh,
1854        library/Access/l.cc, library/Access/left.cc,
1855        library/Access/length.cc:
1856        - name of the namespace was corrected
1857
18582003-01-19  Andrey Slepuhin  <pooh@msu.ru>
1859
1860        * runtime/rf_expr.hh, runtime/rf_term.hh:
1861        - Fixed bugs with not freeing memory block, when number of
1862        references become zero.
1863        - Method deref_childs() reworked with left/right walking approach.
1864
1865        * runtime/rf_core.cc:
1866        - Call of refal entry point now returns a result.
1867
1868        * libp++/pxx_common.hh:
1869        - Defined __STDC_LIMIT_MACROS to allow use more macros from
1870        <inttypes.h>.
1871
1872        * createlog:
1873        - Fixed typo.
1874
18752003-01-18  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1876
1877        * library/Convert/convert.hh:
1878        - function names were revised in convert.hh
1879
1880        * library/Convert/to_int.cc, library/Convert/to_lower.cc,
1881        library/Convert/to_upper.cc, library/Convert/to_word.cc,
1882        library/Convert/bytes_to_chars.cc,
1883        library/Convert/chars_to_bytes.cc, library/Convert/to_chars.cc:
1884        - convert.cc was splitted into functions
1885
1886        * library/Arithm/arithm.hh:
1887        - function names were revised in arithm.hh
1888
1889        * library/Arithm/add.cc, library/Arithm/div.cc,
1890        library/Arithm/div_rem.cc, library/Arithm/gcd.cc,
1891        library/Arithm/mult.cc, library/Arithm/rem.cc,
1892        library/Arithm/sub.cc:
1893        - arithm.cc was splitted into several functions
1894
1895        * library/Access/access.hh:
1896        - function names were checked
1897
1898        * library/Access/middle.cc, library/Access/r.cc,
1899        library/Access/right.cc, library/Access/l.cc,
1900        library/Access/left.cc, library/Access/length.cc:
1901        - namespaces were added and function names were checked
1902
19032003-01-17  Andrey Slepuhin  <pooh@msu.ru>
1904
1905        * createlog:
1906        - Avoid leading './' in file names. I still don't understand
1907        this can occur.
1908
19092003-01-16  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1910
1911        * library/Access/access.hh:
1912        - header file to Access functions
1913
1914        * library/Access/l.cc, library/Access/left.cc,
1915        library/Access/length.cc, library/Access/middle.cc,
1916        library/Access/r.cc, library/Access/right.cc:
1917        - standard registration at the beginning of files was added
1918
1919        * library/Access/left.cc, library/Access/length.cc,
1920        library/Access/middle.cc, library/Access/r.cc,
1921        library/Access/right.cc, library/Access/l.cc:
1922        - Version of Access according to Int and ShortInt classes
1923
19242003-01-15  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1925
1926        * library/String/string_fill.cc, library/String/string_init.cc,
1927        library/String/string_set.cc, library/String/substring_fill.cc:
1928        - Changes are concerning the style of writing
1929
1930        * library/String/string_ref.cc:
1931        - Misprint corrected.
1932
1933        * library/String/string_ref.cc, library/String/string_replace.cc,
1934        library/String/string_set.cc, library/String/substring_fill.cc,
1935        library/String/string_fill.cc, library/String/string_init.cc,
1936        library/String/string_length.cc:
1937        - second version of String functions
1938
1939        * library/String/string.cc, library/String/string_fill.cc,
1940        library/String/string_init.cc, library/String/string_length.cc,
1941        library/String/string_ref.cc, library/String/string_replace.cc,
1942        library/String/string_set.cc, library/String/substring_fill.cc:
1943        - second version of String according with rf_srting.hh
1944
19452003-01-14  Anton Orlov  <orlov@mccme.ru>
1946
1947        * library/String/create_string.hh, library/String/string.cc,
1948        library/String/substring.cc:
1949        - Functions String and Substring updated to conform to the String
1950        class interface.
1951
1952        * runtime/rf_string.hh:
1953        - Initial version of the String class interface.
1954
19552003-01-13  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
1956
1957        * library/String/create_string.hh, library/String/string_fill.cc,
1958        library/String/string_init.cc, library/String/string_length.cc,
1959        library/String/string_ref.cc, library/String/string_replace.cc,
1960        library/String/string_set.cc, library/String/substring.cc,
1961        library/String/substring_fill.cc, library/String/string.cc:
1962        - Initial version of String
1963
19642003-01-13  Anton Orlov  <orlov@mccme.ru>
1965
1966        * runtime/rf_macros.hh:
1967        - RF_LIB_ERROR_IN_FUNC macro added.
1968
19692003-01-12  Anton Orlov  <orlov@mccme.ru>
1970
1971        * runtime/rf_macros.hh:
1972        - Added RF_LIB_ERROR macro.
1973
1974        * compiler/Makefile, compiler/reserved-c++.rf,
1975        compiler/reserved-c++.rfi, compiler/rfp-filt.rf,
1976        compiler/rfp-filt.rfi, compiler/rfp-synhl.rf,
1977        compiler/rfp-synhl.rfi, compiler/rfp_mangle.rf,
1978        compiler/rfp_mangle.rfi:
1979        - synhl renamed to rfp-synhl.
1980        - convert renamed to rfp-filt.
1981        - rfp_convert renamed to rfp_mangle.
1982        - To rfp-filt added possibility of reverse (C++ --> R+)
1983        converting.
1984        - All words begining with underscore and another underscore or
1985        capital letter are considered reserved for C++.
1986
19872003-01-11  Andrey Slepuhin  <pooh@msu.ru>
1988
1989        * runtime/rf_macros.hh:
1990        - Get rid of some warnings during compilation.
1991
1992        * runtime/rf_core.cc:
1993        - Remove unnecessary 'extern' declaration.
1994
1995        * library/Makefile, library/StdIO/Makefile:
1996        - Added clean target.
1997
19982003-01-11  Anton Orlov  <orlov@mccme.ru>
1999
2000        * compiler/Makefile, compiler/reserved-c++.rf,
2001        compiler/reserved-c++.rfi:
2002        - Initial version of R+ <--> C++ name converter.  For now only
2003        from R+ to C++, with no hexadecimal codes, and with unpleasant
2004        interface.
2005
20062003-01-09  Andrey Slepuhin  <pooh@msu.ru>
2007
2008        * runtime/rf_core.cc, runtime/rf_core.hh:
2009        - Added rfrt::Entry class.
2010        - Call of main() placed into runtime.
2011        - Samples updated appropriately.
2012
2013        * library/StdIO/print.cc:
2014        - Namespace renamed to 'refal'.
2015        - Include only <rf_core.hh>.
2016
2017        * runtime/rf_macros.hh:
2018        - Removed 'rf_' function prefix.
2019
2020        * samples/Makefile, samples/hello.rf:
2021        - Added simple 'Hello!' example.
2022
2023        * compiler/Makefile, rules.mk:
2024        - Rules for .rf -> .o compilation are moved from rules.mk to
2025        compiler/Makefile, because they are for old Refal+ compiler,
2026        so they shouldn't be default.
2027
20282003-01-08  Anton Orlov  <orlov@mccme.ru>
2029
2030        * runtime/rf_macros.hh:
2031        - Macro func_decl removed.
2032
2033        * compiler/.cvsignore: *** empty log message ***
2034
20352003-01-05  Anton Orlov  <orlov@mccme.ru>
2036
2037        * createlog:
2038        - Fixed temporary file removing.
2039
20402003-01-05  Andrey Slepuhin  <pooh@msu.ru>
2041
2042        * createlog:
2043        - Get module name from CVS/Repository instead of working
2044        directory.
2045
2046        * runtime/rf_stack.hh, runtime/rf_term.hh, samples/Makefile,
2047        runtime/rf_common.cc, runtime/rf_core.hh, runtime/rf_expr.hh,
2048        runtime/rf_memory_chunk.cc, runtime/rf_memory_chunk.hh,
2049        runtime/Makefile:
2050        - Synchronized with current libp++.
2051
2052        * createlog:
2053        - Fixed CVS root pattern matching.
2054
2055        * libp++/pxx_allocator.hh, libp++/pxx_default_allocator.hh,
2056        libp++/pxx_default_allocator.ih, libp++/pxx_heap_allocator.cc,
2057        libp++/pxx_heap_allocator.hh, libp++/pxx_heap_allocator.ih,
2058        libp++/pxx_malloc_allocator.hh, libp++/pxx_malloc_allocator.ih:
2059        - Some methods and parameters declared const.
2060        - Return correct user size in HeapAllocator::get_size(void*).
2061        - Get rid of problems with initialization of
2062        HeapAllocator::min_free_size.
2063
20642003-01-04  Andrey Slepuhin  <pooh@msu.ru>
2065
2066        * samples/Makefile:
2067        - Makefile cleanup.
2068
2069        * compiler/Makefile, compiler/gendeps.sh:
2070        - Dependencies are generated automatically now.
2071        - Makefile cleanup.
2072
20732003-01-04  Anton Orlov  <orlov@mccme.ru>
2074
2075        * samples/Makefile:
2076        - Explicit rules added.
2077
2078        * samples/.cvsignore: *** empty log message ***
2079
2080        * config.mk, samples/Makefile:
2081        - Building samples is a little more convenient.
2082
20832003-01-03  Anton Orlov  <orlov@mccme.ru>
2084
2085        * compiler/.cvsignore, library/StdIO/.cvsignore,
2086        runtime/.cvsignore: *** empty log message ***
2087
20882003-01-02  Andrey Slepuhin  <pooh@msu.ru>
2089
2090        * Makefile:
2091        - Subdirectories processing order changed.
2092
2093        * Makefile, library/StdIO/Makefile:
2094        - Small fixes for library build process.
2095
2096        * runtime/rf_macros.hh:
2097        - Removed 'extern "C"' declarations.
2098
2099        * config.mk, createlog, library/Makefile, library/StdIO/Makefile,
2100        library/StdIO/print.cc:
2101        - Started library infrastructure.
2102
2103        * runtime/rf_term.cc, samples/Makefile, runtime/rf_common.cc,
2104        runtime/rf_expr.cc, runtime/rf_macros.cc, runtime/rf_result.cc,
2105        runtime/rf_retval.cc, runtime/rf_retval.hh, compiler/Makefile,
2106        runtime/Makefile, runtime/rf_arg.cc, runtime/rf_arg.hh, spec.in,
2107        version.mk, Developers, Makefile, changelog.date, config.guess,
2108        config.mk, createlog, rules.mk:
2109        - First stage of CVS tree reorganization completed.
2110
21112002-12-27  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
2112
2113        * runtime/rf_word.hh: *** empty log message ***
2114
21152002-12-25  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
2116
2117        * runtime/rf_word.hh: *** empty log message ***
2118
21192002-12-20  Anton Orlov  <orlov@mccme.ru>
2120
2121        * runtime/rf_expr.hh, runtime/rf_macros.hh, runtime/rf_term.hh,
2122        compiler/rfp_asail.rf, compiler/rfp_compile.rf: *** empty log
2123        message ***
2124
21252002-12-19  Anton Orlov  <orlov@mccme.ru>
2126
2127        * runtime/rf_expr.hh, runtime/rf_term.hh, compiler/rfp_asail.rf:
2128
2129        *** empty log message ***
2130
21312002-12-11  Andrey Slepuhin  <pooh@msu.ru>
2132
2133        * libp++/Makefile, libp++/pxx_chunk_allocator.hh,
2134        libp++/pxx_chunk_allocator.ih,
2135        libp++/pxx_chunk_allocator_block_header.cc,
2136        libp++/pxx_chunk_allocator_block_header.hh,
2137        libp++/pxx_chunk_allocator_block_header.ih:
2138        - Code cleanup. Block header implementation is separated.
2139
21402002-12-10  Andrey Slepuhin  <pooh@msu.ru>
2141
2142        * libp++/pxx_chunk_allocator.hh, libp++/pxx_chunk_allocator.ih:
2143        - Use allocator features.
2144
2145        * libp++/pxx_allocator.hh, libp++/pxx_default_allocator.ih,
2146        libp++/pxx_heap_allocator.cc:
2147        - Added allocator features.
2148
2149        * libp++/pxx_chunk_allocator.cc, libp++/pxx_chunk_allocator.hh,
2150        libp++/pxx_chunk_allocator.ih:
2151        - ChunkAllocator reworked. Some code cleanup still needed.
2152
2153        * libp++/pxx_heap.cc:
2154        - Added required include.
2155
2156        * libp++/pxx_common.hh, libp++/pxx_common.ih:
2157        - Fixed typos in comments.
2158
2159        * libp++/pxx_allocator.hh, libp++/pxx_default_allocator.hh,
2160        libp++/pxx_default_allocator.ih, libp++/pxx_heap_allocator.hh,
2161        libp++/pxx_heap_allocator.ih, libp++/pxx_malloc_allocator.hh,
2162        libp++/pxx_malloc_allocator.ih:
2163        - Added get_block() methods.
2164
21652002-12-09  Andrey Slepuhin  <pooh@msu.ru>
2166
2167        * libp++/Makefile, libp++/pxx_chunk_allocator.cc,
2168        libp++/pxx_chunk_allocator.hh, libp++/pxx_malloc_allocator.ih:
2169        - Code cleanup.
2170
2171        * libp++/pxx_allocator.hh, libp++/pxx_default_allocator.hh,
2172        libp++/pxx_default_allocator.ih, libp++/pxx_heap_allocator.hh,
2173        libp++/pxx_heap_allocator.ih, libp++/pxx_malloc_allocator.hh,
2174        libp++/pxx_malloc_allocator.ih:
2175        - Added get_real_size() method.
2176
2177        * libp++/pxx_default_allocator.cc,
2178        libp++/pxx_default_allocator.hh, libp++/pxx_default_allocator.ih:
2179        - Added implementation of default allocator.
2180
2181        * libp++/pxx_malloc_allocator.hh:
2182        - Fixed typos.
2183
2184        * libp++/pxx_heap_allocator.cc:
2185        - More minor cleanups.
2186
2187        * libp++/Makefile, libp++/pxx_heap_allocator.cc,
2188        libp++/pxx_heap_allocator.hh, libp++/pxx_heap_allocator.ih:
2189        - Massive code cleanups and bug fixes.
2190
2191        * libp++/pxx_allocator.hh:
2192        - Removed exception specifications.
2193
2194        * libp++/pxx_sys_error.hh:
2195        - Enable default copy constructor.
2196
2197        * libp++/pxx_heap.cc, libp++/pxx_heap.hh, libp++/pxx_heap.ih:
2198        - Bug fixes.
2199        - Added a method get_start_addr().
2200
2201        * libp++/pxx_common.cc, libp++/pxx_common.hh,
2202        libp++/pxx_common.ih:
2203        - Small improvements and bug fixes.
2204
22052002-12-06  Andrey Slepuhin  <pooh@msu.ru>
2206
2207        * libp++/pxx_allocator.hh, libp++/pxx_heap.hh,
2208        libp++/pxx_malloc_allocator.hh, libp++/pxx_sys_error.hh:
2209        - Disabled default copy constructor and assignment.
2210
2211        * libp++/pxx_common.hh:
2212        - Added macros to allow conveniently disable copy constructor
2213        and assignment for a class.
2214
2215        * libp++/pxx_allocator.hh, libp++/pxx_heap.cc, libp++/pxx_heap.hh,
2216        libp++/pxx_heap.ih:
2217        - Code cleanup.
2218
2219        * libp++/pxx_malloc_allocator.hh, libp++/pxx_malloc_allocator.ih:
2220        - Methods are inlined. Exception specifications added.
2221
2222        * libp++/pxx_sys_error.hh, libp++/pxx_sys_error.ih:
2223        - Added fields describing information about a place where
2224        exception was thrown.
2225
22262002-12-02  Andrey Slepuhin  <pooh@msu.ru>
2227
2228        * libp++/pxx_common.cc, libp++/pxx_common.hh:
2229        - Added terminate handler.
2230        - Workaround to force a creation of global init object.
2231
2232        * libp++/pxx_allocator.cc:
2233        - Removed due to abstract class.
2234
2235        * libp++/pxx_sys_error.cc, libp++/pxx_sys_error.hh,
2236        libp++/pxx_sys_error.ih:
2237        - System exceptions added.
2238
2239        * libp++/pxx_malloc_allocator.cc, libp++/pxx_malloc_allocator.hh,
2240        libp++/pxx_malloc_allocator.ih:
2241        - Added an allocator based on standard malloc()/free() functions.
2242
22432002-11-29  Andrey Slepuhin  <pooh@msu.ru>
2244
2245        * libp++/Makefile:
2246        - New file.
2247
22482002-11-28  Andrey Slepuhin  <pooh@msu.ru>
2249
2250        * libp++/pxx_common.cc, libp++/pxx_common.hh,
2251        libp++/pxx_common.ih:
2252        - Code cleanup and comments.
2253        - Inline definitions moved to .ih file.
2254
22552002-11-21  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
2256
2257        * runtime/rf_char.hh: *** empty log message ***
2258
22592002-11-20  Luba Pozlevich  <luba@blackcat.polnet.botik.ru>
2260
2261        * runtime/rf_char.hh: *** empty log message ***
Note: See TracBrowser for help on using the repository browser.