-
Notifications
You must be signed in to change notification settings - Fork 13
/
ChangeLog
3812 lines (2621 loc) · 131 KB
/
ChangeLog
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
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
2005-07-29 Martin Bravenboer <martin.bravenboer@gmail.com>
* Implemented support for inter-library dependencies
(STR-344). This has several advantages: first, the link order
is less fragile, since the inter-library dependencies are used
by libtool to determine the right link order. Second, you
don't have to link explicitly with libraries that you only
depend on indirectly. For example, if you link against
stratego-lib, then you don't have to include
stratego-lib-native, since stratego-lib now depends on its
native library.
More important, the specification inter-library dependencies
allows the creation of dynamic libraries are systems that
require dynamic libraries not to refer to external symbols. If
you don't specify inter-library dependencies, then their are
lots of external symbols in our libraries.
Our inter-library dependencies are tree-shaped (thanks to the
move of the main program to the generated C code instead of the
stratego-runtime), which means that we can pass the
-no-undefined option to libtool. Libtool will now create
.dll's for our libraries. This hasn't been tested yet (only
for the runtime, which depends on the aterm library).
* All libraries now install into /lib instead /lib/srts,
/lib/stratego-lib, etc. If pkg-config is used, then packages
should not be affected, since pkg-config is used to lookup the
right linker flags. The reason for this, is that there is a
problem with the installatin of .dll at Cygwin. They should be
installed in /bin, which does not happen if the pkglibdir is
used. The library names are rather unique these days, so I
don't expect any conflicts with other packages.
* Dropped the alternative libraries, since they are completely
useless. The default CFLAGS of autoconf for gcc are -O2
-g. This means that the plain library is actually equivalent
to the the debug *and* the 'optimized' library. For this
reason, the alternatives have been dropped. Users and packages
can control the kind of library that has to be created by
setting the CFLAGS variable.
2005-07-28 Martin Bravenboer <martin.bravenboer@gmail.com>
* configure.ac: standardization of the versioning scheme. From now
on, 0.x (e.g. 0.16) are always stable releases. 0.x.y are bug fix
releases (e.g. 0.16.1). Tags of unstable developments are called
milestones and will be have version 0.xMy
(e.g. 0.16M1). This is similar to the version scheme of Eclipse.
Or, as wikpedia puts it: "Milestones are constructed both to
reassure the traveler that the proper path is being followed and
to indicate distance travelled."
2005-07-21 Martin Bravenboer <martin.bravenboer@gmail.com>
* configure.ac: major update of the toplevel
configuration. pkg-config is no longer used when explicit
arguments are given. The subpackages now work on explicit
configuration as well, which means that the PKG_CONFIG_PATH hacks
have been be dropped :) .
For baseline builds, --with-strategoxt= is required and the real
value specified there is used by all the subpackages. That is:
pkg-config is not used to lookup the package again (which might
result in a different Stratego/XT!).
The configuration flags --with-aterm and --with-sdf are now
optional: pkg-config is used if the locations are not specified
explicitly. This should be great for users. In fact, the toplevel
configure just uses XT_CHECK_ATERM and XT_CHECK_SDF. Note that the
sdf2-bundle does not yet contain a pkg-config file, so Stratego/XT
will in fact never be able to find it (the pkg-config file is
currently part of Stratego/XT). We should create a new release of
the sdf2-bundle (the aterm-dynamic package support pkg-config).
The configure script now also the user much more information about
the choices that are being made.
* config/internal-autoxt.m4: new file that contains the internal
autoxt macros that used to be in autoxt.m4. They make no sense
outside of Stratego/XT, so they should not be provided to the
user.
2005-05-05 Martin Bravenboer <martin.bravenboer@gmail.com>
* configure.ac: version to 0.15.
2005-01-29 Martin Bravenboer <martin.bravenboer@gmail.com>
* configure.ac, Makefile.am: more clear naming scheme for the
local installions that are used for installing from a tarball. The
packages are now called BASELINE_SRTS, BASELINE_XTC,
BASELINE_SSL. The packages are now all installed in
BASELINE_DESTDIR, which is the directory 'local-baseline' (was
pre-pkgs).
* configure.ac: configure the subpackages with a locally installed
baseline SSL if there is no baseline StrategoXT. This local
installation is required now we have moved the native and
separately compiled SSL sources from the SRTS to the SSL.
* Makefile.am: install the baseline SSL.
2005-01-28 Martin Bravenboer <martin.bravenboer@gmail.com>
* bootstrap: use autoxt in STRATEGOXT_BASELINE, fall-back with a
warning to autoxt on the PATH.
* bootstrap: gmake/MAKE/make/which crap is no longer necessary,
since nothing is installed in the bootstrap script anymore.
* bootstrap: touch of all the sources is no longer necessary,
since there are not bootstrapped sources in Subversion anymore.
* bootstrap: bootstrap subpackages with autoreconf instead of
bootstrap scripts.
* */bootstrap: removed. Use autoreconf and autoxt when needed.
* */Makefile.am: don't distribute bootstrap scripts and autoxt.m4
* */Makefile.am: use autoxt.m4 in the shared config directory.
2005-01-26 Martin Bravenboer <martin.bravenboer@gmail.com>
* Removed all bootstrap sources (more than 300)
* Removed several obsolete C sources.
* Changed many Makefile.am files to bootclean or clean more
thoroughly.
* Added file and target to set svn ignore. svn status on a clean
and bootclean source tree will now only show ? for autoxt.m4,
Makefile.xt and a few misc. files that are hard to capture in a
general ignore propety.
* Fixed a lot of dependency problems where bootstrap rtrees and c
files where not updated. Some build results could not even be
created at all.
2005-01-25 Martin Bravenboer <martin.bravenboer@gmail.com>
* bootstrap: invoke autoreconf with -v flag
* configure.ac: added to m4_forbidden_pattern check for missing
macro definitions of XT_ and AB_ macros.
* configure.ac: copy autoxt.m4 to config dir
* configure.ac: introduced Automake conditional XT_USING_BASELINE
which indicates whether a baseline StrategoXT is used or not.
* configure.ac: configure packages with baseline srts and xtc if a
baseline is used.
* Makefile.am: don't install a local xtc and srts is we are using
a baseline.
* Makefile.am: Include dir in ACLOCAL_AMFLAGS to config.
2004-11-04 Karl Trygve Kalleberg <karltk@cs.uu.nl>
* bootstrap: added WANT_AUTOMAKE and WANT_AUTOCONF to make bootstrap
more compatible with Gentoo, Mandrake, etc.
2004-07-06 Martin Bravenboer <martin.bravenboer@gmail.com>
* configure.ac: check for dependencies (ATerm and SDF packages) by
invoking the new autoxt macros XT_PKG_ATERM and XT_PKG_SDF.
2003-06-22 Martin Bravenboer <martin@mbravenboer.org>
* configure.in: using SET_SVN_REVISION to determine to SVN
revision of the checkout.
* acinclude.m4: added SET_SVN_REVISION to determine to SVN
revision of the checkout.
2003-06-20 Martin Bravenboer <martin@mbravenboer.org>
* configure.in: set the prefix before the AC_ARG_WITHs to the
default prefix. Fixed by Valentin David.
2003-06-18 Martin Bravenboer <martin@mbravenboer.org>
* strategoxt.spec.in: do not make with DESTDIR
* strategoxt.spec.in: changed release to 1
2003-06-18 Martin Bravenboer <martin@mbravenboer.org>
* Makefile.am: Install a local xtc. This xtc installation will be
used at install time to create a repository.
* Configure.in: configure subpackages with the local xtc.
2003-06-17 Martin Bravenboer <martin@mbravenboer.org>
* Makefile.am: build in prefix order
* Makefile.am: using all-local instead of overriding all.
2003-06-13 Martin Bravenboer <martin@mbravenboer.org>
* bootstrap: more portable shell-scripting
* Makefile.am: install the srts only once. Repeated installation
causes recompilation of c sources. TODO: reinstall after a clean
2003-06-13 Martin Bravenboer <martin@mbravenboer.org>
* Makefile.am: install srts in pre-pkgs/build before doing make
install.
* configure.in: removed cgen configuration.
* configure.in: configure subpackages with build-time srts.
2003-06-12 Martin Bravenboer <martin@mbravenboer.org>
* Makefile.am: install srts in pre-pkgs/build before doing make
all. The locally installed srts is not yet used by the packages.
2003-06-12 Martin Bravenboer <martin@mbravenboer.org>
* bootstrap: install a local autoxt for bootstrapping
purposes. AutoXT is installed at prefix pre-pkgs/bootstrap and
pre-pkgs/bootstrap/bin is put in front of the PATH.
2003-06-12 Martin Bravenboer <martin@mbravenboer.org>
* Changed versions to 0.9.2
* removed srts/Makefile.rpm
* removed sdf-tools/ADDING_TOOLS
* removed graph-tools/configure.in.src: confusing
* do not include .spec files of subpackages in distribution:
causes problems.
2003-06-12 Martin Bravenboer <martin@mbravenboer.org>
* StrategoXT.spec.in: PACKAGE_NAME should be PACKAGE_TARNAME
(SuSE problem).
* sc/Makefile.am, srts/Makefile.am, autoxt/Makefile.am,
xtc/Makefile.am: do not distribute .spec files of subpackages
(SuSE problem).
* strategoxt.spec.in: renamed from StrategoXT.spec.in. Difference
between package tarname and package name causes problems.
2003-06-12 Martin Bravenboer <martin@mbravenboer.org>
* bootstrap: don't make check scripts executable. wget is no
longer used by the buildfarm to checkout the sources.
2003-05-22 Martin Bravenboer <martin@mbravenboer.org>
* stratego-util is now part of the StrategoXT distribution
2003-03-21 Martin Bravenboer <martin@mbravenboer.org>
* corrected sdf2 download location in README.in
* using AC_HELP_STRING in configure.in
* specify default values for configure flags
* added LaTeX configure flag
2003-01-17 Eelco Visser <visser@cs.uu.nl>
* renamed box-tools to gpp
* installed LGPL license in all packages
* removed reconf scripts; now using bootstrap
2003-01-01 Eelco Visser <visser@cs.uu.nl>
* configure.in: switch --with-strategoxt changed to --with-stratego-xt.
2002-11-27 Eelco Visser <visser@acm.org>
* asfix-tools and stratego-front packages are now bootstrapped
* retired the LEX/YACC grammar, Stratego parsers are now
only parsed with the parse-stratego program which is calls
SGLR. The program deals with modules with concrete syntax as
well. Module meta-data should be declared in the .meta file.
2002-11-24 Eelco Visser <visser@acm.org>
* gpp is now self bootstrapping; gpp-boot is obsolete
2002-11-15 Eelco Visser <visser@acm.org>
* Release StrategoXT-0.9beta1
* Upgraded to new autotools
2002-06-09 Eelco Visser <visser@acm.org>
* reconf: added stratego-front package
2002-05-12 Eelco Visser <visser@acm.org>
* configure.in: changed version number to 0.8alpha1
2002-03-14 Eelco Visser <visser@acm.org>
* Release 0.7 (fix2)
2002-03-10 Eelco Visser <visser@acm.org>
* Release 0.7
2002-03-08 Eelco Visser <visser@acm.org>
* Release 0.7beta3
2002-01-24 Eelco Visser <visser@acm.org>
* cplconfig: script to call configure with --with-cpl; specific
for pohteh machine.
* configure.in: Configuration of srts is conditional on inclusion
of cpl; do not configure --with-cpl if this flag was not set for
the main distribution.
2001-10-06 Eelco Visser <visser@acm.org>
* Release 0.6.2
2001-09-28 Eelco Visser <visser@acm.org>
* configure.in: aterm package is no longer included in distribution
2001-09-22 Eelco Visser <visser@acm.org>
* Release 0.6.1
2001-09-16 Eelco Visser <visser@acm.org>
* spec/front/needed-defs.r: all-defs and needed-defs share the
call to graph packing strategy.
2001-09-15 Eelco Visser <visser@acm.org>
* spec/c/s2c.r: Reading tracing options and generating traced C code.
* spec/sig/Stratego-Normal-Format.r: Recognizing congruence operators with
modifiers.
* spec/sc/proto-sc.r: Handling tracing options and passing them on to s2c
2001-08-27 Eelco Visser <visser@acm.org>
* Release 0.6
* Ensure that sc and ac2c are made executable before installation
2001-08-23 Eelco Visser <visser@acm.org>
* spec/sc/proto-sc.r: Removing intermediate files
2001-08-22 Eelco Visser <visser@acm.org>
* Correction of paths to library
* SCBOOT dependency in configure specifies where to install
bootstrapped C sources.
* Restructuring of the source tree, new CVS repository. The
Stratego library and the Stratego Run-time System have been split
off into separate packages. The bootstrapped sources are also
distributed in a separate package to avoid build dependency cycles
(the compiler is needed to compile some packages that are used by
the compiler itself, i.e., GPP).
* New implementation scheme. The compiler now produces idiomatic,
high-level C code instead of abstract machine code. The
implementation uses the CGEN package for pretty-printing the C
code.
* The optimizer has been extended a bit.
* The tests in the test/ directory have been cleaned up and moved
to spec/test1 and spec/test2. The tests have been extended while
developing the new compilation scheme to get a better coverage of
the language.
* Arguments of strategy definitions can now be given a type
annotation. This is required for higher-order arguments. The
default type is (term -> term).
2001-07-02 Eelco Visser <visser@acm.org>
* spec/c/: New translation scheme
2001-06-26 Eelco Visser <visser@acm.org>
* spec/slib/spec/list-misc.r: Bug in drop-while, drop-until;
failed for empty list. (Thanks Alan and Paul)
2001-06-25 Eelco Visser <visser@acm.org>
* spec/slib/spec/list-filter-test.r: Tests
* configure.in: Incremented version number to 0.5.5
* spec/syn/stratego.lx: Scanner loops on comments with embedded
"*" characters. Repaired. (Thanks John Reppy)
2001-06-22 Eelco Visser <visser@acm.org>
* spec/slib/spec/list-filter.r: partition(s) splits a list
in a pair of lists.
2001-06-20 Eelco Visser <visser@acm.org>
* Release 0.5.4
2001-06-18 Eelco Visser <visser@acm.org>
* spec/front/frontend-test.r: updated tests, Undefined dynamic
rules can also have conditions.
2001-06-17 Eelco Visser <visser@acm.org>
* spec/front/normalize-spec.r: Added overriding dynamic rules that
change the definition for the currently active key without
introducing an entry in the local scope. This is needed to update
rules defined in outer scopes. (Application: dead code
elimination)
2001-06-17 Eelco Visser <visser@acm.org>
* spec/front/normalize-spec.r: Repaired bug in desugaring
of "Undefined" dynamic rules.
2001-06-15 Eelco Visser <visser@acm.org>
* spec/syn/stratego.lx: Allow \begin{code} to start file.
2001-06-14 Eelco Visser <visser@acm.org>
* spec/front/normalize-spec.r: Dynamic rules that have Undefined
as right-hand side will cause the invocation of the dynamic rule
(on the specific lhs pattern) to fail. This is needed in order to
shadow rules from outer scopes that might not be applicable.
2001-06-13 Eelco Visser <visser@acm.org>
* src/make_rules.in (CC): Declare as @CC@ instead of gcc.
* spec/slib/spec/string-test.r, string.r: get-path extracts the
path prefix from a command string.
* spec/syn/pack-stratego.r: Deduce path for parse-mod from path
for pack-stratego (from command-line option 0).
2001-06-13 Hedzer Westra <hhwestra@cs.uu.nl>
* Added test for strcmp and such, and fixed string-gt
2001-06-13 Eelco Visser <visser@acm.org>
* spec/front/data/Makefile.am : Repaired EXTRA_DIST
* spec/slib/spec/scoped-finite-map-test.r: Added tests for
assert.
* spec/slib/spec/scoped-finite-map.r: Assert now also works
when without initialization of the table.
* test/syntax/dynamic-rules-test.r: Added test of overriding
behaviour of dynamic rules.
2001-06-11 Eelco Visser <visser@acm.org>
* spec/front/check-constructors.r: Rules and strategies are merged.
* bootinstall
* spec/syn/stratego.lx: Tokens {| and |} for delimiting dynamic
rule scopes.
* spec/lib/stratlib.r: Added binding by DynamicRules
* spec/front/extract.r, spec/front/inline.r, spec/front/inlining.r,
spec/front/needed-defs-test.r: main -> name of module
* spec/sig/sugar.r: Signatures for dynamic rules constructors.
* spec/front/frontend-test.r: Unit tests for desugaring of dynamic
rules
* spec/front/spec-to-sdefs.r, spec/front/use-def.r: Rules and strategies were merged.
* spec/front/frontend.r: layout
* spec/front/data/dynrules.r: Test for desugaring of dynamic rules
2001-06-10 Eelco Visser <visser@acm.org>
* spec/front/normalize-spec.r: Desugaring of dynamic rules. Rules
and strategies were merged into one list.
* test/syntax/dynamic-rules-test.r: Test for dynamic rule syntax
* spec/slib/spec/env-traversal.r: Traversals involving one.
2001-06-10 Eelco Visser <visser@acm.org>
* spec/slib/src/tables.c: Made table access more robust; there is
no need to create a table explicitly, it is always created when a
table-put or table-get is done.
* spec/slib/spec/tables-test.r: Tests for robustness of table
operations
2001-06-09 Eelco Visser <visser@acm.org>
* spec/syn/stratego.grm: Liberalized syntax: rule and strategy
definition can now be defined under both the rules and strategies
keywords. In effect, rules and strategy definitions can be mixed
in any order.
2001-06-07 Eelco Visser <visser@acm.org>
* spec/slib/spec/string.r: Repaired basename to correctly
handle slashes in names. (Merijn de Jonge)
* spec/slib/spec/string-test.r: Extra test for basename
2001-06-01 <visser@acm.org>
* spec/slib/spec/template-test.r: Defined main
2001-06-08 <hhwestra@cs.uu.nl>
* spec/slib/spec/string.r: Changed string.r to use -1, which wasn't parsed by parse-mod
when strcmp was defined.
2001-05-31 <visser@acm.org>
* Redocumented all library modules; add literate program wrapper
and consistent naming of header.
2001-05-24 <visser@acm.org>
* configure.in: Incremented version number to 0.5.4beta
* Release 0.5.3
2001-05-22 <visser@acm.org>
* bootinstall
* bootstrap
* spec/slib/spec/sunit.r: Replaced FAIL with fail. fail should be
safe, i.e., not eliminate actions with side-effects.
* spec/slib/spec/options.r: typo
2001-05-20 <visser@acm.org>
* spec/slib/spec/iteration.r: Import conditional
* spec/slib/spec/conditional.r: Else branch of if is not
called when the then branch fails, only when the condition
fails. (Using cut construct from RhoStratego.)
2001-05-18 <visser@acm.org>
* src/front/Makefile.am (inline_SOURCES): inline.c instead of
inlining.c. This caused bug in (not) renaming of let
expressions. (Thanks Arne de Bruijn)
2001-05-12 <visser@acm.org>
* bootinstall
2001-05-11 <visser@acm.org>
* spec/slib/spec/char.r,string.r: Typos, forgotten import
2001-05-11 Hedzer Westra <hhwestra@cs.uu.nl>
* added t1 .s. t2 ==> <s>(t1,t2) sugar
* added parsing of negative Integers
* fixed char.r and string.r (which Eelco did too..)
* bugfixed LayoutPreserve.r (not finished yet, though)
2001-05-10 Hedzer Westra <hhwestra@cs.uu.nl>
* added inc and dec rules to integers.r (fix for apply-test.r)
2001-05-08 Hedzer Westra <hhwestra@cs.uu.nl>
* added strategies to char.r, int-list.r, list-set, string.r
* added expect.r
* added SList.r, LList.r, LayoutPreserve.r
* added these files to doc/library/body.ltx
* re-added previous changes, hope I did it right now :-)
2001-04-23 Hedzer Westra <hhwestra@cs.uu.nl>
* added apply.r and apply-test.r to library
* added is-interval and int-sort to int-list
2001-04-16 Eelco Visser <visser@acm.org>
* Release 0.5.2
* doc/*/html: Added html directories to repository
2001-04-13 Eelco Visser <visser@acm.org>
* spec/slib/spec/Makefile.am: Simplified makefile for library
* spec/slib/spec/share-test.r: Defined test
2001-04-12 Eelco Visser <visser@acm.org>
* bootinstall
* resolved inconsistencies in repository
* spec/back/s2c.r: translation of strategies to (idiomatic) C
* spec/c: C signature and utitlities
* spec/sc/sc: removed, is generated from sc.in
* spec/slib/spec/scoped-finite-map.r: commented debugging code
* spec/slib/spec/io.r: new-file creates a new not existing file
name of the form c_n.tmp with c a character and n a number.
* /spec/si/si.r: Changed display- operations to table-
operations
* spec/sc/proto-sc.r: Built in support for translation to
idiomatic C code using s2c, PP-C and C-Format.
* spec/slib/spec/list-set.r: typo
2001-04-05 Eelco Visser <visser@acm.org>
* spec/slib/spec/string.r: <copy-char>(n,c) creates a string
consisting of n copies of character c, which should be represented
by its ascii code.
2001-04-02 Hedzer Westra <hhwestra@cs.uu.nl>
* new module: char.r for character strategies. includes
char-test.r
2001-04-02 Eelco Visser <visser@acm.org>
* spec/slib/spec/tables.r, display.r: Reorganized and documented
the tables modules. The strategies formerly in the display module
are now defined as normal "table" operations in the table module.
Names have been normalized. Many operators have become obsolete.
* spec/slib/spec/term-zip.r: Generic definition of zipping
two term structures; can be used to implement pattern matching
for example.
* spec/slib/spec/scoped-finite-map.r: Keeping track of scopes of
table entries. Removing entries from tables is done automatically
when the scope is exited. This is a candidate for support at the
language level.
2001-03-31 Eelco Visser <visser@acm.org>
* spec/slib/spec/list-set.r: Repaired bug in nrofoccs (Arne de
Bruijn). foldr-kids is obsolete, use crush.
* spec/slib/spec/list-set-test.r: Added test for nrofoccs
2001-03-29 Hedzer Westra <hhwestra@cs.uu.nl>
* extra library routines in options.r, list-basic.r and string.r
(including tests)
2001-03-28 Eelco Visser <visser@acm.org>
* Release 0.5.1
2001-03-27 Eelco Visser <visser@acm.org>
* spec/Makefile.am (SUBDIRS): Changed order of sub-directory
to avoid recompilation of pack-stratego after installing slib
* bootinstall
* spec/*/*.c, *.h: Removed $Id annotations from .c and .h files to
prevent from spurious commits in src/* after bootinstall
* bootinstall
* src/*/Makefile.am, spec/*/Makefile.am: Optimized object files
where not used in libraries (rts and slib) by wrong use of
automake variables. (Arne de Bruijn)
* Makefile.am: Renamed boot.log to bootlog to avoid removal
by clean scripts.
* spec/slib/spec/options.r: Repaired some typos and refactored
several strategies
2001-03-26 Eelco Visser <visser@acm.org>
* spec/slib/spec/options.r: New strategy iowrapO/3 is also
parameterized with a strategy for printing usage
information. Other variants are implemented in terms of this
one. (Merijn de Jonge)
* bench/fib/: Using fib to test --fusion option of sc
* configure.in: increased version number to 0.5.1
2001-03-25 Eelco Visser <visser@acm.org>
* Release 0.5
* README.in: Updated the readme with a general description of
the language and updated the list of directories in the
distribution
* www/maillist/release-0-5.txt: Release announcement for wider
audience with overview of language.
* test/control/explode-test.r: Tests for f#(xs) construct.
* TODO: Emptied the todo list; planning is now done on the ToDo
page at the TWiki
2001-03-24 Eelco Visser <visser@acm.org>
* build/BuildFromCVS.in: All build files under autoconf.
* build/BuildFromSLO.in: Building on localhost (makes buildfile
portable)
* build/platforms: Platforms file for build that declares
localhost as platform.
* build/BuildLocalDist.in: Changed building of local distribution
to test the distribution of the current machine (localhost). This
requires a line localhost="localhost" in the platforms file.
2001-03-23 Eelco Visser <visser@acm.org>
* build/BuildLocalDist: Added FreeBSD platform such that cvs build
can use this buildfile to test the distribution
* doc/: Not making 2up versions of documentation; psnup is not
available everywhere apparently.
2001-03-22 Eelco Visser <visser@acm.org>
* doc/tutorial/exercises/pico/spec/Makefile.am
(TESTS_ENVIRONMENT): explicitly call stratego script for each
test.
* src/: bootinstall
* spec/: bootstrap
* doc/tutorial/exercises/pico/spec/*.ss: Added space after #!
* doc/tutorial/exercises/pico/spec/Makefile.am: Added
TESTS_ENVIRONMENT to extend PATH before executing tests.
* spec/slib/src/exec.c (ST_call_it): Replaced wait by waitpid to
make call POSIX compliant (Merijn de Jonge)
2001-03-21 Eelco Visser <visser@acm.org>
* spec/slib/spec/iteration.r: Definition of for required body of
loop to be executed at least once. Repaired by using while-not.
2001-03-18 Eelco Visser <visser@acm.org>
* spec/Makefile.am (EXTRA_DIST): make_rules.in
* doc/tutorial/exercises/pico/spec/Makefile.am (EXTRA_DIST):
distribute dump-lift-expr.ss
* src/: bootinstall
* spec/: bootstrapped
* spec/*/Makefile.am: Cleaned up makefiles. Use optimized
libraries instead of debug libraries.
* src/*/Makefile.am: Cleaned up makefiles. Use optimized
libraries instead of debug libraries.
* spec/sc/sc.in: Include optimized libraries instead of debug
libraries.
* spec/slib/spec/pack-modules.r: Removed debug statement printing
dependency file
* spec/syn/stratego.grm: Coercion for list of strategies argument
of Let.
* build/: Targets for different buildfiles. Include making dist
early in process (dist should not depend on installation). Write
.stat files to build.log files to monitor performance.
* doc/tutorial/exercises/pico/spec: Distribution was dependent on
existence of si. Repaired by including dumping of modules as
tests.
2001-03-17 Eelco Visser <visser@acm.org>
* spec/front/data/Makefile.am (EXTRA_DIST): added module1.r and
module2.r to distribution
* build/BuildFromCVS: Added checkdist action
* build/build: Program for building software given script with
configurations (The program is written by Merijn de Jonge and is
distributed independently. It is added to stratego to keep
self-contained.)
* doc/*/Makefile.am: HTML documentation is not made automatically
and not included in the distribution.
* doc/Makefile.am: Documentation should be made three times to get
table of contents and references right
* share/tex/stop-article.cls: STOP style for articles
* spec/slib/spec/abox-ext.r: changed space options to strings
* spec/slib/spec/reals-test.r: inclusion of real-test leads to
failure of extract (?); disable test for the time being
* build/Makefile.am: distribution of buildfiles
* spec/si/Makefile.am (si): si depends on eval-lib-primitives.tree
* spec/front/data/module*.r: tests for congruence generation
* test/options/Makefile.am (check2): test time independent
2001-03-16 Eelco Visser <visser@acm.org>
* src/si/si.c, primitives.c: compiled implementation of the
Stratego interpreter
* src/si/, www/*, www/*/*/Makefile.am: template for Makefile
* spec, src/si/stratego.in: template for stratego interpreter script
* build/*: Added buildfiles for building distribution from CVS and
building standard distribution from stratego-language.org
2001-03-15 Eelco Visser <visser@acm.org>
* src/front/extract-all.c: Generalization of extract that extracts
all strategy definitions.
* spec/sc/proto-sc.r: Pass top module name to pack-stratego as the
basename of the dependency file.
* doc/projects: overview of Stratego projects
* test/optimizations: tests for the innermost optimization
* moved repository to losser
2001-03-15 Eelco Visser <visser@cs.uu.nl>
* www/maillist/stratego-cvs.new: mailing list for cvs messages
* bootinstall
* spec/slib/spec/abox-ext.r: Undid quoting of integers in abox-ext
(should be turned back).
* spec/: The Let construct now takes a list of definitions.
* spec/back/bucket.r: obsolete module
* bench/fib: Fibonacci benchmark
* doc/tutorial/exercises: directory with exercises for learning
Stratego
* share/Makefile.am: Added newline after pkgdata_DATA definition;
was this blocking installation of Stratego.Make?
2001-03-14 Eelco Visser <visser@acm.org>
* README.in: improvements to the readme
* build/Makefile.am: Adding build directory to distribution
* doc/script: Report about StrategoScript
* test/parser/parser.r: operations -> constructors
* spec/slib/spec/pack-modules.r: Declaration of constructor
Include (Merijn de Jonge)
* spec/back/specialized.r: Removed specialization rules for fetch
and oncetd; the rules optimized the behaviour of these strategies
in case the argument strategy was only a test. The test for
determining whether this is the case was not correct. This caused
bugs in some applications (CobolX in particular). Thanks to Hedzer
Westra for noting this bug. Effects analysis is needed to do this
correctly.
2001-03-13 Eelco Visser <visser@acm.org>
* spec/front/needed-defs.r: Apply desugaring after generating
code for congruence.
* www/: Transition to website in TWiki
* doc/: Translating documentation to html with hevea
* log/boot.log: files keeps track of bootstrap attempts
* spec/slib/spec/share.r: refactoring
* spec/si/: improvements
* spec/slib/spec/list-sort.r: Changed implementation of uniq
strategy such it preserves the ordering of the elements in the
list. (Merijn de Jonge)
* spec/back/compiler.r, spec/back/pp/pp-instructions.: Caching of
constructor symbols used in building terms using same mechanism as
is used for caching symbols in matching patterns. (Arne de Bruijn)
2001-03-12 Eelco Visser <visser@acm.org>
* spec/slib/src/string.c: Bug in string-implode: no allocation of
nul characters at end of string for strings of length 1024.
Repaired by Arne.
* spec/slib: Patch of library by Arne adding string to real
conversion + some refactorings.
2001-02-25 Eelco Visser <visser@acm.org>
* doc/*/: Improved translation of manuals by HTML; it is possible
to go through entire document without going up.
2001-02-03 Eelco Visser <visser@acm.org>
* spec/slib/spec/tables.r: Changed create-table and destroy-table
to table-create and table-destroy for consistency with other table
strategies (suggested by Merijn).
2001-02-02 Eelco Visser <visser@acm.org>
* spec/si/stratego-eval.r: Failure was not caught in some
constructs such as where, congruence, all, one.
2001-01-31 Eelco Visser <visser@acm.org>
* release 0.5a
* bootstrap, bootinstall: testing changes in syntax and library.
* spec/si/*: Specification of interpreter for Stratego;
StrategoScript.
* spec/opt/bind-laws.r: in -> 'in
* spec/front/frontend.r: Moved frontend phases from extract to
frontend. Frontend now produces a list of core language strategy
definitions. Extract extracts needed definitions. This means that
frontend can be used in other contexts to get all definitions for
a module.
* spec/sc/proto-sc.r: Strategy output-frontend extracts andjoins
all definitions and writes them to a .sdefs file for use by other
tools.