-
Notifications
You must be signed in to change notification settings - Fork 14
/
Copy pathChangeLog
1258 lines (753 loc) · 37.9 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
2023-07-14 <[email protected]>
* fix issue #56: write_term/2-3 max_depth option (improve ... inside a list)
2023-07-11 <[email protected]>
* fix for x >> y with too large y and x negative
* fix issue #58: fix pl2wam compiling integer power
* fix issue #55: fix write_term/2-3 (domain_error for max_depth and max_depth(0) = no limit)
2023-07-09 <[email protected]>
* add built-in predicate countall/2
* modify format/2-3: now C printf format must start by ~%
(backward compatibility issue)
2023-07-06 <[email protected]>
* improve other arithmetic error detection (in both integer and float functions)
* fix issue #47: add integer overflow detection
* fix issue #48: error in min/2 and (^)/2.
2023-07-03 <[email protected]>
* fix domain_error in write_term
* modify min/2 and max/2: in case of equality between an integer and a float,
return the float
* fix issue #46: write options: wrong precedence
* fix issue #50: top-level: flush_output after each answer display
* improve top-level: write a space to separate argmunets of compound terms
* fix pl2wam --susp-warn (deactivated wrongly after a set_prolog_flag/2 directive)
2023-06-30 <[email protected]>
* fix issue #45: improve call_nth/2 with a add new '$call_c' option ret(RetVar)
2023-06-28 <[email protected]>
* add/modify Prolog flags: show_banner, show_information
* remove default consult summary statistics
(to display set show_information=informational)
* fix issue #44: misleading error for inexistent file in gprolog --consult-file
2023-06-26 <[email protected]>
* fix issue #43: add call_nth/2 built-in (part of the Prolog prologue)
* add built-in nb_setarg/3 (special case of setarg/4)
* fix issue #26: missing int_overflow for succ/2
2023-06-24 <[email protected]>
* fix issue #41: ISO requires: round(4.5) = 5 and round(-4.5) = -4
* fix issue #40: new builts-in predicates: current_evaluable/1 and evaluable_property/2
2023-06-20 <[email protected]>
* replace previous pragma directives by the unique compiler_mode/1 directive.
2023-06-15 <[email protected]>
* rename gplc/pl2wam --pre-load option simply as --include
* add pragma directives to inform the compiler about term expansion
2023-06-09 <[email protected]>
* fix issue #38: add more error detections in format/2-3
* fix issue #39: bug in conditional compilation directives
2023-06-07 <[email protected]>
* rename pl2wam --pl-state option (and concept) as --pre-load
2023-06-07 <[email protected]>
* add a consult/2 built-in (consult with options)
2023-06-05 <[email protected]>
* fix issue #37: bug in format/2-3
* update the doc
2023-06-04 <[email protected]>
* fix issue #13: user meta_predicate definition is now returned by predicate_property/2
* initial support for term_expansion/2 and new pre-load file format
(now it is a Prolog text)
* speed up dynamic predicates with many clauses (for wordnet)
* improve linedit completion with a new map implementation
(improves consult of wordnet files)
* simplify ChangeLog dates
2023-04-15 <[email protected]>
* improve compiler speed on large Prolog databases (for wordnet)
(use new map implementation (based on red-black trees) for wam2ma and ma2asm)
2023-04-07 <[email protected]>
* start version 1.6.0
* add a Tools directory for tools common to runtime and standalone sub-compilers
* converge code master with branch and contexts from spa
2023-03-22 <[email protected]>
* fix issue #32: remove duplicate warning message
2023-03-10 <[email protected]>
* improve compiler speed on large Prolog databases
(speed up generation of indexing instructions switch_on_atom/integer/structure)
* speed up bind_variables/2 (also speed up the compiler for byte-code)
* increase max vars in a term to 2^20 (MAX_VAR_IN_TERM)
2023-02-17 <[email protected]>
* increase default Prolog stack sizes and MAX_ATOMS
2023-02-03 <[email protected]>
* extend exec/4-5 to also accept provided streams + null
2023-12-09 <[email protected]>
* fix bug in exec/4 under windows (bad stream redirection and child console not hidden)
* improve fd_prime/1 built-in
* add show_information Prolog flag (--quiet deactivate it)
2022-12-07 <[email protected]>
* add --quiet option to top-level command-line (do not display banner and info)
* add Prolog flag show_information (on/off)
2022-12-05 <[email protected]>
* add new prefedined stream aliases (current_input, current_output)
* add new built-in to reassign a stream alias (set_stream_alias/2)
2022-03-09 <[email protected]>
* fix issue #23: add built-in predicate copy_file/2
2022-03-04 <[email protected]>
* fix issue #10: missing int_overflow
* fix issue #22: math evaluation raises a float_overflow instead of int_overflow
* fix issue #21: bug in append/3
* port to RISC-V 64 bits/Linux - many thanks to
Jasper Taylor <[email protected]>
2022-02-24 <[email protected]>
* fix issue #20: length(L, L) raises an error instead of crashing (related to pr #19)
2022-02-24 <[email protected]>
* fix issue #17: CTRL+C as first action under top-level causes a segmentation fault
* modify length/2 to make length(L, L) fail if the strict_iso flag is off (related to pr #19)
* fix asm problems on macos/M1 with large sources (mapper arm64_any.c)
* fix issue #4: directory_files/2 now uses native Win32 functions
* fix small problem when bootstrapping due to Makefiles
* fix format/2-3 to throw a domain error on invalid radix (pr #16)
2021-12-03 <[email protected]>
* fix issue #9: format/2-3 now also accept a list of character for format
2021-10-26 <[email protected]>
* fix problem in arm32 mapper when passing more than 8 double to a C function
2021-10-21 <[email protected]>
* fix issue #7: length/2 now emits a type_error(list) only if the strict_iso flag is off
2021-10-14 <[email protected]>
* fix infinite loop in debugger for multifile/dynamic predicates (issue #12)
2021-09-29 <[email protected]>
* improve Makefiles with patches sent by Keri Harris on July 2021
2021-06-09 <[email protected]>
* port to Termux on aarch64/android
* accept clang as C compiler on x86_64/linux (use CC=clang ./configure)
* restructure and improve the code of all MA-ASM mappers
2021-05-03 <[email protected]>
* port to arm64 (aarch64)/darwin (new Apple M1/MacOS architecture)
* port to arm64 (aarch64)/Linux (armv8) - many thanks to
Jasper Taylor <[email protected]>
* port to arm32/Linux (armv6, armv7) - many thanks to
Jasper Taylor <[email protected]>
2021-05-03 <[email protected]>
* fix a bug in absolute_file_name, '/src/../' returned '' now '/'
2021-03-26 <[email protected]>
* add error case to findall/4 (detects when Tail is not a list)
2021-03-18 <[email protected]>
* set eof_action to reset for standard input/output/error streams even if not a tty
2021-03-12 <[email protected]>
* add float_overflow and undefined for float arithmetic functions
2021-02-02 <[email protected]>
* update ports to windows (32 and 64 bits with MSVC and masys2/mingw64)
2020-12-03 <[email protected]>
* fix a bug when closing user_error
* fix a bug in phrase/2-3
2020-12-01 <[email protected]>
* fix problem with gcc 10 which needs explicitly -fcommon
2020-11-30 <[email protected]>
* fix bugs when Prolog integers are internally converted to C int (on 64 bits machine)
2018-10-23 <[email protected]>
* fix problem with old gcc (gcc < 6 does not produce PIE code by default)
2018-02-01 <[email protected]>
* fix a bug in soft-cut (when a cut appears in the if-part)
2018-01-22 <[email protected]>
* fix bug when consulting multifile predicates with alternatives
* add ?- ISO prefix operator
2018-01-12 <[email protected]>
* add gplc option --new-top-level (add top-level command-line option handling)
2017-06-04 <[email protected]>
* fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code
2015-04-03 <[email protected]>
* fix a bug in findall/4
2015-02-17 <[email protected]>
* fix a bug in select/5 under Windows
2015-01-16 <[email protected]>
* fix a bug in the compiler
2014-12-18 <[email protected]>
* fix a bug in read/1
* fix large address awarenes under cygwin32 (configure.in)
2014-12-11 <[email protected]>
* improve memory limitation of acyclic_term/1
2014-12-09 <[email protected]>
* improve term output (write/1 and friends)
2014-12-05 <[email protected]>
* improve error handling for options (e.g. in write_term/3)
2014-12-04 <[email protected]>
* fix bug with cut in the if-part of if-then(-else)
* fix port to x86_64/OpenBSD
(machine kindly provided by Duncan Patton a Campbell)
2014-12-03 <[email protected]>
* fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64
2014-08-22 <[email protected]>
* allow to define more atoms with MAX_ATOM env var on 64 bits machines
2014-08-13 <[email protected]>
* fix a bug in bagof/3 when used as findall/3
2014-07-11 <[email protected]>
* port to sparc64/OpenBSD
(machine kindly provided by Duncan Patton a Campbell)
2014-05-06 <[email protected]>
* add built-in predicate findall/4
2014-03-06 <[email protected]>
* fix a bug with linedit when environment variable LINEDIT=no
2014-02-05 <[email protected]>
* fix bugs in the FD solver
2013-11-22 <[email protected]>
* set socket option SO_REUSEADDR at socket creation
2013-11-21 <[email protected]>
* support for alternate Prolog file extension .prolog
2013-11-18 <[email protected]>
* fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom)
2013-11-12 <[email protected]>
* fix problems with Apple/Mavericks gcc = LLVM version 5.0 (clang-500.2.79) on x86_64
* remove clang warnings (uninitialized variables)
* fix bugs in the lexer of the form 0bop 2 when bop is an infix op
2013-10-01 <[email protected]>
* fix terminal ANSI sequence handling in linedit
2013-09-18 <[email protected]>
* increase internal compiler data sizes
2013-07-04 <[email protected]>
* fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)
2013-04-12 <[email protected]>
* add Prolog flags c_cc_version_data
* fix a regression bug in linedit
* fix a little bug in the debugger
* add subtract/3 built-in predicate
2013-03-27 <[email protected]>
* add new C foreign interface functions converting term to/from C strings
2013-03-26 <[email protected]>
* modify top-level banner to show 32/64 bits, compile date, C compiler name
* modify Linedit: fix Prolog prompt when Linedit is not activated
* modify linedit: accept gui=silent in env var LINEDIT
(does not warn if the windows gui DLL is not found)
* fixes for Windows 8 (i686 and x86_64) with MSVS 2012, mingw64 gcc > 4.5.3
* add Prolog flags address_bits, compiled_at, c_cc, c_cflags, c_ldflags
2013-03-14 <[email protected]>
* fix a bug in the FD solver (option backtracks in fd_labeling)
* improve the FD solver (better propagation for reified constraints at labeling)
* improve the FD solver (add labeling option: value_method(bisect))
2013-03-11 <[email protected]>
* improve the FD solver (avoid some cases of C stack overflow, improved fd_domain/3)
* fix another bug in the FD solver (regression bug in 1.4.2)
* add PlULong to gprolog.h and PlThrow(ball) to C foreign interface
2013-02-25 <[email protected]>
* fix a bug in the FD solver (regression bug in 1.4.2)
2012-11-28 <[email protected]>
* fix a bug in the compiler for byte-code with op/3 directive
2012-11-22 <[email protected]>
* fix a bug in the debugger
* modify decompose_file_name/4 (fix problems under windows)
* add built-in is_absolute_file_name/1 and is_relative_file_name/1
* modify the compiler include/1 directive handling
(if the file to include is not found, search in directories of parent includers)
2012-11-15 <[email protected]>
* modify atom table management (its size can be defined via env. var MAX_ATOM)
* fix a bug with soft-call inside a meta-call
* implement term_hash/2 and term_hash/4. Backward incompatibility:
new_atom/3 and and atom_hash/2 no longer exists.
* fix some little bugs with 64 bits (e.g. stream id)
2012-10-30 <[email protected]>
* modify the FD solver to handle very long computations
2012-09-24 <[email protected]>
* fix a bug in the compiler (unification with fresh vars in the body)
* fix a bug with *-> containing ! in the test part (! was not local to the test)
* fix a bug to configure with sigaction on old Linux kernels
* fix some problems/bugs on 64 bits machine
2012-06-15 <[email protected]>
* improve signal handling
2012-05-31 <[email protected]>
* add an option --wam-comment to gplc and pl2wam
* fix multifile directive (works now with an empty predicate as required by ISO)
* fix absolute_file_name to expand ~ using HOMEDRIVE and HOMEPATH under windows
if HOME is not defined
2012-05-15 <[email protected]>
* improve listing/0-1 output
2012-05-11 <[email protected]>
* add soft cut control construct and its associated operator *->
2012-05-03 <[email protected]>
* improve the top-level results in case of cyclic terms
2012-04-30 <[email protected]>
* fix arithmetic evaluable functor ^/2 to work with floats
* increase maximum number of variables in a term
2012-04-26 <[email protected]>
* add write_term option variable_names
* add built-in predicates between/3 and succ/2
* fix bug in the DCG expander
* fix bug in member/2
* recognize escape sequence \s (space) and \e (escape) if strict_iso is off
* add error detection in length/2 if given length is negative
2012-03-13 <[email protected]>
* add built-in predicates maplist/2-9
2012-02-20 <[email protected]>
* fix a regression bug in the FD solver about sparse domains
2012-02-16 <[email protected]>
* increase size of FD internal stacks and fix memory leak
2012-01-10 <[email protected]>
* port to x86_64/Darwin (Mac OS X) - many thanks to
Ozaki Kiichi <[email protected]>
* fix a bug in x86_64 with --disable-regs
* fix a bug when consulting a file under Win XP/Vista 32 bits
* fix a bug when consulting a file using '$VAR'(N) or '$VARNAME'(A)
* fix a bug in new_atom/1-2 which returned duplicates
* fix a bug in write/1 when an empty atom is passed
* improve portray_clause (numbervars and space before final dot)
2011-06-10 <[email protected]>
* GNU Prolog is now licensed under a dual license LGPL or GPL
* port to x86_64/MinGW64 - many thanks to
Jasper Taylor <[email protected]> (see src/WINDOWS64)
* port to x86_64/MSVC (see src/WINDOWS64)
* add a configure option to control Windows HtmlHelp
--disable-htmlhelp or --enable-htmlhelp[=static/dynamic]
* improve a lot (and fix some bugs in) the Windows GUI Console
* change location of gprologvars.bat under Windows (in install directory)
* increase default stack sizes (32Mb for heap, 16Mb for others)
* change the default setting for flag strict_iso: it is on now
* add control constructs to the predicate table
* modify predicate_property/2 (built_in_fd ==> built_in, add control_construct)
only accepts a Head (a callable) (no longer a predicate indicator)
* fix a bug in the compiler (bad unification with singleton variable)
* fix a bug with strict_iso flag (was not passed to consult)
* add shebang support using #!/usr/bin/gprolog --consult-file
* modify the mangling scheme for future module support (see hexgplc)
* fix write_term default options (now numbervars(false) and namevars(false))
* fix read/1: tab and newlines are not accepted inside single/back/double quoted tokens
* add additional errors to compare/3 and keysort/2
* accept space under the top-level (same as ;)
* modify portray_clause/1-2 to add a newline at the end of the output
* add acyclic_term/1 (compatibility only since GNU Prolog does not handle cyclic terms)
* fix write/1 to treat '$VARNAME'(Atom) as a var name only if Atom is a valid var name
2010-11-29 <[email protected]>
* rename evaluable functor atan/2 as atan2/2 and >< as xor
* add evaluable functor div/2
* detect op/3 error cases for | [] {}
* replace type_error(variable, X) by uninstantiation_error(X) (e.g. open/3-4)
2010-11-26 <[email protected]>
* add built-in term_variables/2-3 and subsumes_term/2
2010-11-22 <[email protected]>
* add some type tests on chars and codes (in number_chars/2, number_codes/2,..)
2010-11-17 <[email protected]>
* fix some little bugs in the parser
* add meta_predicate property to predicate_property/2
2010-10-25 <[email protected]>
* fix a memory leak in atom_concat/3 (in case of failure)
2010-07-13 <[email protected]>
* add infix operator '|' (and allow it to be unquoted in read/write)
* improve top-level variables display adding () when needed
2010-06-25 <[email protected]>
* fix a bug in length/2 (length(L,L) now loops)
2010-06-24 <[email protected]>
* support the ISO multifile/1 directive
* add built-ins false/0 and forall/2
* detect an instantiation_error in phrase/2-3
2010-03-31 <[email protected]>
* GNU Prolog is now licensed under LGPL
2010-03-16 <[email protected]>
* allow rounding functions to accept an integer if strict_iso is off
2009-12-01 <[email protected]>
* group all examples under a new directory 'examples'
2009-11-20 <[email protected]>
* fix a bug in read_from_codes/2 and number_codes/2
* improve speed of built-in predicates on list (append, member, reverse,...).
2009-11-16 <[email protected]>
* improve CTRL+C handling under the top-level
2009-10-22 <[email protected]>
* add is_list/1 (same as list/1)
2009-10-21 <[email protected]>
* add Prolog flags: dialect, home, host_os, host_vendor, host_cpu,
host, arch, version, version_data, unix, argv
2009-10-20 <[email protected]>
* add preprocessor directives if/1 else/0 elif/1 endif/0
2009-10-12 <[email protected]>
* fix a bug on large ints in the byte-code for 64-bits machine
* fix a bug with call/2-N
* change listing/0-1 printing stream: now it is current_output
* add a new stream alias: user_error associated to stderr
2009-10-09 <[email protected]>
* add evaluable functors: (a)sinh/1, (a)cosh/1, (a)tanh/1
* add evaluable functors: epsilon/0, lsb/1, msb/1, popcount/1
2009-10-08 <[email protected]>
* fix compilation problem under Mac OS X Snow Leopard (force 32-bits mode)
2009-10-07 <[email protected]>
* add evaluable functors: log/2, gcd/2, tan/1, atan2/2, pi/0, e/0
* add built-in ground/1
* rename built-in sort0 as msort
* add new error detection for keysort
2009-10-06 <[email protected]>
* accept (but ignore) directive encoding/1
* add xor/2 operator (bitwise XOR) ^/2 becomes integer exponentiation
* improve randomize/0 (more different values on consecutive calls)
* relax the lexer to also accept 0'' (ISO requires 0''' or 0'\') if strict_iso is off
2009-03-10 <[email protected]>
* fix a bug with top-level options --entry-goal and --query-goal
2009-02-06 <[email protected]>
* add working sigaction detection to detect fault addr (e.g. Mac OS X)
2009-01-23 <[email protected]>
* add gplc option --no-mult-warn
* add prolog flags suspicious_warning, multifile_warning
2008-11-03 <[email protected]>
* detect integer underflow/overflow in the parser
* fix a memory leak in catch/3
2008-10-20 <[email protected]>
* increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240)
* add PL_INT_LOWEST_VALUE and PL_INT_GREATEST_VALUE to gprolog.h
2008-10-17 <[email protected]>
* prefix all global symbols, constants and types with Pl_ PL_ Pl
* fix a bug in the byte-code due to new max number of atoms
* provide a minimal gprolog.h
* detect if struct sigcontext needs asm/sigcontext.h on Linux
2008-10-01 <[email protected]>
* modify gplc: --c-compiler also sets linker and --linker added
2008-09-30 <[email protected]>
* port to x86_64/BSD - many thanks to
David Holland <[email protected]>
* fix problem using ebx as global reg (bug in gcc 4.3.2)
* fix a bug in is/2 with [X] (X should only be an integer)
* fix a bug with atoms '/*' '*/' and '%' (were not quoted)
* increase maximum number of atoms to 1048576 (2^20)
* increase default stack sizes (16Mb for heap, 8Mb for others)
2007-05-18 <[email protected]>
* fix stack alignment for x86_64/Solaris
2007-03-28 <[email protected]>
* include patch from Paul Eggert <[email protected]> for sparc/solaris8
2007-03-09 <[email protected]>
* port to x86_64/Solaris - many thanks to
Scott L. Burson <[email protected]>
2007-03-08 <[email protected]>
* fix a bug in the FD solver (under 64 bits machines)
* fix a bug in arithmetics (mod)
2007-01-04 <[email protected]>
* change error messages emitted by the compiler to follow GNU standards
2006-12-22 <[email protected]>
* modify doc (mainly rename manual.xxx to gprolog.xxx)
* add DESTDIR variable support in main Makefile for staged installs
2006-12-15 <[email protected]>
* fix a bug with Prolog floats in x86_64/Linux (bad stack alignment)
* port for ix86/Darwin (Mac OS X)
2006-12-08 <[email protected]>
* add check target to main Makefile
2006-12-07 <[email protected]>
* improve Win32 ports (Cygwin, MinGW, MSVC 6.0 and 2005 Express Edition)
(MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe
provided in the setup.exe)
2006-11-27 <[email protected]>
* rename call/2 to call_det/2
* implement call/2-11 as will be defined in the next standard
2006-11-24 <[email protected]>
* fix various problems when compiling with gcc 4 (gcc 4.1.1)
* emit .note.GNU-stack to mark the stack as no executable
in x86_any.c, x86_64_any.c and powerpc_any.c
* change the way objects are found (obj_chain.c) using gcc ctors
* use Doug Lea malloc for OpenBSD (problem with malloc using mmap)
* fix problems in various ports:
alpha/Linux, powerpc/Darwin (Mac OS X), sparc/solaris, ix86/OpenBSD
2005-06-13 <[email protected]>
* fix 2 bugs in global variables
2004-06-07 <[email protected]>
* fix problem when compiling with gcc 3.4.0
2004-06-04 <[email protected]>
* fix bug in term comparison involving negative integers
2004-03-11 <[email protected]>
* add consult, ... and fix minor bugs in the Win32 GUI console menu
2004-03-02 <[email protected]>
* fix the stack overflow detection under Cygwin
* port to ix86/MinGW - many thanks to
Cesar Rabak <[email protected]>
2004-02-09 <[email protected]>
* fix a bug in the port to sparc/solaris
2003-11-03 <[email protected]>
* fix a problem in the port to x86/OpenBSD
2003-09-23 <[email protected]>
* port to sparc/NetBSD and powerpc/NetBSD - many thanks to
Jason Beegan <[email protected]>
2003-04-23 <[email protected]>
* fix a bug in =../2 involving FD variables
2003-03-21 <[email protected]>
* fix a bug in arithmetics (in float_{integer/fractional}_part)
2003-03-06 <[email protected]>
* fix a bug in FD solver (wrong union with a singleton)
2003-02-25 <[email protected]>
* fix a bug with the foreign C interface
2003-02-19 <[email protected]>
* change configure.in: by default ebp is not used
2003-02-17 <[email protected]>
* fix a but with CTRL+C handler not reinstalled
2003-01-08 <[email protected]>
* fix a bug with _XXX (re)displayed under the top-level
2002-12-16 <[email protected]>
* port to x86_64/Linux - many thanks to
Gwenole Beauchesne <[email protected]>
2002-09-30 <[email protected]>
* fix bug in predicate_property/2
2002-09-25 <[email protected]>
* add new built-in fork_prolog/1 and create_pipe/2
2002-09-24 <[email protected]>
* fix a bug in atom_concat/3
2002-09-19 <[email protected]>
* fix bug when detecting if a stream can be repositioned
2002-09-12 <[email protected]>
* fix bug in output to constant terms (e.g. write_to_atom/2)
* include another additional patch for sockets under win32 - due to
Brent Fulgham <[email protected]>
* fix bug in bagof/3 with FD variables
* fix bug with randomize/0
2002-06-21 <[email protected]>
* added min/max to Prolog arithmetics
2002-06-20 <[email protected]>
* fix bugs in current_predicate and predicate_property
2002-06-10 <[email protected]>
* port to powerpc/Darwin (Mac OS X) - many thanks to
Lindsey Spratt <[email protected]>
* fix bug in Win32 GUI console (deal with edit control text limit)
* fix bug with in-place installation procedure
2002-04-24 <[email protected]>
* fix problem with portray_clause/2 using $VARNAME and $VAR
now portray_clause((p(Z):-p('$VARNAME'('A'),Z))) is OK
2002-04-23 <[email protected]>
* fix bug with stream buffering (open/4 and set_stream_buffering/2)
2002-04-21 <[email protected]>
* add stream mirror facility (see add_stream_mirror/2)
2002-04-19 <[email protected]>
* improve global vars (arg. selector, automatic array, new built-ins)
2002-04-14 <[email protected]>
* fix two bugs with Ctrl+C reentrancy under the top-level
2002-04-11 <[email protected]>
* added priority/1 option to write_term to specify starting priority
* now under the top-level, _XXX variables are not displayed
2002-04-10 <[email protected]>
* fix bug in decompose_file_name/4 (tried to modify read-only string)
* now open/4 better detects if a stream can be repositioned
2002-04-08 <[email protected]>
* add source reader facility (built-in) - not yet documented
* fix current_predicate bug, now current_predicate(nl/0) fails
2002-04-05 <[email protected]>
* fix linedit bug in tab pasting and add Esc-Tab function
* now linedit goes to EOL at CR to fix bug with multi-line inputs
* now linedit avoids to put in history 2 same consecutive lines
* remove max_stream limitation (the Prolog flag no longer exists)
* the template of get_print_stream/1 is now ?stream
2002-03-28 <[email protected]>
* patch to allow more than 64Mb for the stacks under ix86/Linux
2002-03-25 <[email protected]>
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)
2002-03-22 <[email protected]>
* fix a problem under sparc/solaris using mmap (adding MAP_FIXED)
2002-03-19 <[email protected]>
* fix a problem with gcc 3.0.x which always uses ebp in main()
* use -march=xxx gcc option instead of -mxxx for ix86
2002-01-15 <[email protected]>
* gplc now passes -L option to ld in the order of apparition
* gplc accepts meta-characters %p, %d,... in output file names
2002-01-08 <[email protected]>
* include additional patch for sockets under win32 - due to
Brent Fulgham <[email protected]>
2001-12-20 <[email protected]>
* re-write Windows GUI Console in pure Win32 (no more MFC)
* adapt configure.in to work with autoconf 2.52
2001-12-13 <[email protected]>
* add Prolog flag back_quotes and values {atom,chars,codes}_no_escape
* use a terminal recursion in FD arithmetic normalization
2001-12-12 <[email protected]>
* fix bug in bind_variables/2, reported by:
Bowie Owens <[email protected]>
2001-12-11 <[email protected]>
* modify Ma2Asm mappers to use Y_OFFSET (from ENVIR_STATIC_SIZE)
* fix some bugs in the Wam debugger
2001-12-07 <[email protected]>
* add several options to the top-level to execute goals
* add an environment variable LINEDIT to control linedit options
* fix bug in linedit on \b in start of line (using ANSI ESC sequences)
2001-12-04 <[email protected]>
* simplify linedit: only apply to stdin
* now linedit is reentrant
* now linedit works with XFree keyboard encoding
* rename built-in get_code_no_echo/1-2 by get_key_no_echo/1-2
* add built-in get_key/1-2
* use get_key/1-2 in the top_level + debugger (thus with echo)
* improve the top-level Ctrl+C manager
2001-12-03 <[email protected]>
* fix bug on Linux configured with --disable-regs
* add pipe to pl2wam stdin when called by consult/1
2001-11-05 <[email protected]>
* fix bug in FD: forall is now recognized in .fd files
* fix bug in DCG: expand_term((a --> X), Y) is OK
2001-10-31 <[email protected]>
* fix X paste problem in linedit
2001-10-30 <[email protected]>
* simplify top_comp.c to better control include dirs in devel. mode
2001-10-14 <[email protected]>
* specialized functions for create/update/delete choice points
2001-10-09 <[email protected]>
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)
2001-10-08 <[email protected]>
* include patch to support basic sockets under win32 - due to
Brent Fulgham <[email protected]>
* arithmetic functions and inlined built-ins use fast call
* specialized functions for switch_on_term_xxx
* modify pl2wam to generalize '$call_c' (add options)
2001-10-08 <[email protected]>
* fix bug - delete file created by mkstemp(2), patch from:
Salvador Abreu <[email protected]>
2001-09-28 <[email protected]>
* space_args(true) now displays a space inside {}/1
* space_args(true) now displays a space after a comma (','/2)
2001-09-15 <[email protected]>
* add a --foreign-only option to pl2wam
* foreign/2 directives are ignored in byte-code mode (no fatal error)
2001-09-07 <[email protected]>
* space_args(true) now displays space between operators and arguments
* add CVS Id to prolog files
* fix bug in pl2wam to include break/0, trace/0,... in bip_list.pl
2001-07-12 <[email protected]>
* get rid of mktemp and tempnam calls (use mkstemp if available)
2001-06-07 <[email protected]>
* fix a bug in fd_element_var/3 constraint
2001-02-08 <[email protected]>
* fix bug in fd headers (fd_to_c.h not installed)
2001-01-25 <[email protected]>
* fix a bug with unify_with_occurs_check/2
* fix bug on ix86 using ebp (add -fomit-frame-pointer in CFLAGS_MACHINE)
2001-01-22 <[email protected]>
* fix a bug with ! in dynamic code
* fix a bug in arithmetics
2000-12-19 <[email protected]>
* big modification (1 month) to optimize the execution speed