-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathChangeLog
1029 lines (612 loc) · 33.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
Tue Oct 23 17:34:21 CEST 2018 <Daniel.Diaz@univ-paris1.fr>
* fix problem with old gcc (gcc < 6 does not produce PIE code by default)
Thu Feb 1 15:40:29 2018 CET 2018 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in soft-cut (when a cut appears in the if-part)
Mon Jan 22 14:58:59 CET 2018 <Daniel.Diaz@univ-paris1.fr>
* fix bug when consulting multifile predicates with alternatives
* add ?- ISO prefix operator
Fri Jan 12 17:01:53 CET 2018 <Daniel.Diaz@univ-paris1.fr>
* add gplc option --new-top-level (add top-level command-line option handling)
Sun Jun 4 20:38:58 CEST 2017 <Daniel.Diaz@univ-paris1.fr>
* fix a bug on linux witg gcc 6.3.0 (or binutils): needs PIC code
Fri Apr 3 10:01:02 CEST 2015 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in findall/4
Tue Feb 17 11:39:11 CET 2015 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in select/5 under Windows
Fri Jan 16 19:25:51 CET 2015 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the compiler
Thu Dec 18 08:59:45 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in read/1
* fix large address awarenes under cygwin32 (configure.in)
Thu Dec 11 17:18:09 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* improve memory limitation of acyclic_term/1
Tue Dec 9 10:40:18 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* improve term output (write/1 and friends)
Fri Dec 5 02:55:30 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* improve error handling for options (e.g. in write_term/3)
Thu Dec 4 15:47:06 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* 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)
Wed Dec 3 17:56:54 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with Apple/Yosemite gcc = LLVM version 6.0 (clang-600.0.56) on x86_64
Fri Aug 22 15:10:18 CEST 2014 <Daniel.Diaz@univ-paris1.fr>
* allow to define more atoms with MAX_ATOM env var on 64 bits machines
Wed Aug 13 11:25:18 CEST 2014 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in bagof/3 when used as findall/3
Fri Jul 11 17:27:36 CEST 2014 <Daniel.Diaz@univ-paris1.fr>
* port to sparc64/OpenBSD
(machine kindly provided by Duncan Patton a Campbell)
Tue May 6 10:43:33 CEST 2014 <Daniel.Diaz@univ-paris1.fr>
* add built-in predicate findall/4
Thu Mar 6 16:19:36 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with linedit when environment variable LINEDIT=no
Wed Feb 5 15:16:37 CET 2014 <Daniel.Diaz@univ-paris1.fr>
* fix bugs in the FD solver
Fri Nov 22 19:47:45 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* set socket option SO_REUSEADDR at socket creation
Thu Nov 21 16:29:57 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* support for alternate Prolog file extension .prolog
Mon Nov 18 18:32:44 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in atoms for 1-char atom '\0' (now acts as the empty atom)
Tue Nov 12 10:17:10 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* 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
Tue Oct 1 09:40:31 CEST 2013 <Daniel.Diaz@univ-paris1.fr>
* fix terminal ANSI sequence handling in linedit
Wed Sep 18 09:25:06 CEST 2013 <Daniel.Diaz@univ-paris1.fr>
* increase internal compiler data sizes
Thu Jul 4 13:17:07 CEST 2013 <Daniel.Diaz@univ-paris1.fr>
* fix bug in gprolog.h (invalid 64 bits PL_MAX_INTEGER)
Fri Apr 12 17:17:50 CEST 2013 <Daniel.Diaz@univ-paris1.fr>
* 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
Wed Mar 27 16:35:02 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* add new C foreign interface functions converting term to/from C strings
Tue Mar 26 10:23:05 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* 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
Thu Mar 14 12:46:35 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* 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))
Mon Mar 11 15:42:31 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* 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
Mon Feb 25 13:57:51 CET 2013 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the FD solver (regression bug in 1.4.2)
Wed Nov 28 17:04:46 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the compiler for byte-code with op/3 directive
Thu Nov 22 16:20:23 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* 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)
Thu Nov 15 16:15:50 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* 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)
Tue Oct 30 16:27:21 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* modify the FD solver to handle very long computations
Mon Sep 24 15:03:11 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* 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
Fri Jun 15 13:34:45 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* improve signal handling
Thu May 31 15:36:46 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* 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
Tue May 15 11:56:00 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* improve listing/0-1 output
Fri May 11 18:09:19 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* add soft cut control construct and its associated operator *->
Thu May 3 16:42:00 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* improve the top-level results in case of cyclic terms
Mon Apr 30 17:52:46 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* fix arithmetic evaluable functor ^/2 to work with floats
* increase maximum number of variables in a term
Thu Apr 26 11:29:44 CEST 2012 <Daniel.Diaz@univ-paris1.fr>
* 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
Tue Mar 13 10:24:24 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* add built-in predicates maplist/2-9
Mon Feb 20 19:12:04 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* fix a regression bug in the FD solver about sparse domains
Thu Feb 16 19:49:02 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* increase size of FD internal stacks and fix memory leak
Tue Jan 10 18:23:09 CET 2012 <Daniel.Diaz@univ-paris1.fr>
* port to x86_64/Darwin (Mac OS X) - many thanks to
Ozaki Kiichi <gclient.gaap@gmail.com>
* 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)
Fri Jun 10 15:59:42 CEST 2011 <Daniel.Diaz@univ-paris1.fr>
* GNU Prolog is now licensed under a dual license LGPL or GPL
* port to x86_64/MinGW64 - many thanks to
Jasper Taylor <jasper@simulistics.com> (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
Mon Nov 29 15:48:25 CET 2010 <Daniel.Diaz@univ-paris1.fr>
* 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)
Fri Nov 26 12:00:32 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* add built-in term_variables/2-3 and subsumes_term/2
Mon Nov 22 17:12:58 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* add some type tests on chars and codes (in number_chars/2, number_codes/2,..)
Wed Nov 17 15:43:38 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* fix some little bugs in the parser
* add meta_predicate property to predicate_property/2
Mon Oct 25 10:39:51 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* fix a memory leak in atom_concat/3 (in case of failure)
Tue Jul 13 16:19:42 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* add infix operator '|' (and allow it to be unquoted in read/write)
* improve top-level variables display adding () when needed
Fri Jun 25 11:10:43 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in length/2 (length(L,L) now loops)
Thu Jun 24 10:17:04 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* support the ISO multifile/1 directive
* add built-ins false/0 and forall/2
* detect an instantiation_error in phrase/2-3
Fri Mar 31 15:52:42 CEST 2010 <Daniel.Diaz@univ-paris1.fr>
* GNU Prolog is now licensed under LGPL
Tue Mar 16 11:35:32 CET 2010 <Daniel.Diaz@univ-paris1.fr>
* allow rounding functions to accept an integer if strict_iso is off
Tue Dec 1 14:11:10 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* group all examples under a new directory 'examples'
Fri Nov 20 16:34:36 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in read_from_codes/2 and number_codes/2
* improve speed of built-in predicates on list (append, member, reverse,...).
Mon Nov 16 14:30:33 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* improve CTRL+C handling under the top-level
Thu Oct 22 11:11:02 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* add is_list/1 (same as list/1)
Wed Oct 21 12:02:15 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* add Prolog flags: dialect, home, host_os, host_vendor, host_cpu,
host, arch, version, version_data, unix, argv
Tue Oct 20 13:15:44 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* add preprocessor directives if/1 else/0 elif/1 endif/0
Mon Oct 12 17:30:11 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* 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
Fri Oct 9 14:40:11 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* add evaluable functors: (a)sinh/1, (a)cosh/1, (a)tanh/1
* add evaluable functors: epsilon/0, lsb/1, msb/1, popcount/1
Thu Oct 8 17:26:36 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* fix compilation problem under Mac OS X Snow Leopard (force 32-bits mode)
Wed Oct 7 16:14:16 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* 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
Tue Oct 6 12:47:32 CEST 2009 <Daniel.Diaz@univ-paris1.fr>
* 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
Tue Mar 10 17:14:36 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with top-level options --entry-goal and --query-goal
Fri Feb 6 11:02:57 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* add working sigaction detection to detect fault addr (e.g. Mac OS X)
Fri Jan 23 12:16:18 CET 2009 <Daniel.Diaz@univ-paris1.fr>
* add gplc option --no-mult-warn
* add prolog flags suspicious_warning, multifile_warning
Mon Nov 3 14:54:25 CEST 2008 <Daniel.Diaz@univ-paris1.fr>
* detect integer underflow/overflow in the parser
* fix a memory leak in catch/3
Mon Oct 20 16:53:37 CEST 2008 <Daniel.Diaz@univ-paris1.fr>
* 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
Fri Oct 17 12:09:37 CEST 2008 <Daniel.Diaz@univ-paris1.fr>
* 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
Wed Oct 1 15:48:45 CEST 2008 <Daniel.Diaz@univ-paris1.fr>
* modify gplc: --c-compiler also sets linker and --linker added
Tue Sep 30 15:12:00 CEST 2008 <Daniel.Diaz@univ-paris1.fr>
* port to x86_64/BSD - many thanks to
David Holland <dholland@netbsd.org>
* 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)
Fri May 18 13:06:58 CEST 2007 <Daniel.Diaz@univ-paris1.fr>
* fix stack alignment for x86_64/Solaris
Wed Mar 28 15:12:58 CEST 2007 <Daniel.Diaz@univ-paris1.fr>
* include patch from Paul Eggert <eggert@cs.ucla.edu> for sparc/solaris8
Fri Mar 9 10:31:53 CET 2007 <Daniel.Diaz@univ-paris1.fr>
* port to x86_64/Solaris - many thanks to
Scott L. Burson <Scott@coral8.com>
Thu Mar 8 14:12:50 CET 2007 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the FD solver (under 64 bits machines)
* fix a bug in arithmetics (mod)
Thu Jan 4 11:17:12 CET 2007 <Daniel.Diaz@univ-paris1.fr>
* change error messages emitted by the compiler to follow GNU standards
Fri Dec 22 14:21:26 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* modify doc (mainly rename manual.xxx to gprolog.xxx)
* add DESTDIR variable support in main Makefile for staged installs
Fri Dec 15 17:48:30 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with Prolog floats in x86_64/Linux (bad stack alignment)
* port for ix86/Darwin (Mac OS X)
Fri Dec 8 16:59:49 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* add check target to main Makefile
Thu Dec 7 14:59:46 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* 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)
Mon Nov 27 18:38:09 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* rename call/2 to call_det/2
* implement call/2-11 as will be defined in the next standard
Fri Nov 24 18:38:25 CET 2006 <Daniel.Diaz@univ-paris1.fr>
* 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
Mon Jun 13 15:46:49 CEST 2005 <Daniel.Diaz@univ-paris1.fr>
* fix 2 bugs in global variables
Mon Jun 7 15:22:44 CEST 2004 <Daniel.Diaz@univ-paris1.fr>
* fix problem when compiling with gcc 3.4.0
Fri Jun 4 15:16:30 CEST 2004 <Daniel.Diaz@univ-paris1.fr>
* fix bug in term comparison involving negative integers
Thu Mar 11 16:58:43 CET 2004 <Daniel.Diaz@univ-paris1.fr>
* add consult, ... and fix minor bugs in the Win32 GUI console menu
Tue Mar 2 15:54:37 CET 2004 <Daniel.Diaz@univ-paris1.fr>
* fix the stack overflow detection under Cygwin
* port to ix86/MinGW - many thanks to
Cesar Rabak <csrabak@ig.com.br>
Mon Feb 9 14:38:43 CET 2004 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the port to sparc/solaris
Mon Nov 3 11:13:14 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a problem in the port to x86/OpenBSD
Tue Sep 23 11:10:09 CEST 2003 <Daniel.Diaz@univ-paris1.fr>
* port to sparc/NetBSD and powerpc/NetBSD - many thanks to
Jason Beegan <jtb@netbsd.org>
Wed Apr 23 13:19:58 CEST 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in =../2 involving FD variables
Fri Mar 21 14:09:26 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in arithmetics (in float_{integer/fractional}_part)
Thu Mar 6 09:28:20 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in FD solver (wrong union with a singleton)
Tue Feb 25 16:48:12 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with the foreign C interface
Wed Feb 19 18:10:22 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* change configure.in: by default ebp is not used
Mon Feb 17 13:45:05 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a but with CTRL+C handler not reinstalled
Wed Jan 8 15:22:09 CET 2003 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with _XXX (re)displayed under the top-level
Mon Dec 16 13:00:42 CET 2002 <Daniel.Diaz@univ-paris1.fr>
* port to x86_64/Linux - many thanks to
Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
Mon Sep 30 22:08:41 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix bug in predicate_property/2
Wed Sep 25 13:41:46 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* add new built-in fork_prolog/1 and create_pipe/2
Tue Sep 24 19:30:35 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in atom_concat/3
Thu Sep 19 12:53:45 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix bug when detecting if a stream can be repositioned
Thu Sep 12 18:45:10 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* 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 <brent.fulgham@xpsystems.com>
* fix bug in bagof/3 with FD variables
* fix bug with randomize/0
Fri Jun 21 18:32:06 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* added min/max to Prolog arithmetics
Thu Jun 20 15:20:43 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix bugs in current_predicate and predicate_property
Mon Jun 10 14:25:52 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* port to powerpc/Darwin (Mac OS X) - many thanks to
Lindsey Spratt <spratt@alum.mit.edu>
* fix bug in Win32 GUI console (deal with edit control text limit)
* fix bug with in-place installation procedure
Wed Apr 24 19:00:03 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix problem with portray_clause/2 using $VARNAME and $VAR
now portray_clause((p(Z):-p('$VARNAME'('A'),Z))) is OK
Tue Apr 23 13:13:18 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix bug with stream buffering (open/4 and set_stream_buffering/2)
Sat Apr 21 13:09:54 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* add stream mirror facility (see add_stream_mirror/2)
Fri Apr 19 15:20:51 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* improve global vars (arg. selector, automatic array, new built-ins)
Sun Apr 14 16:35:10 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix two bugs with Ctrl+C reentrancy under the top-level
Thu Apr 11 20:30:16 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* added priority/1 option to write_term to specify starting priority
* now under the top-level, _XXX variables are not displayed
Wed Apr 10 15:04:23 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix bug in decompose_file_name/4 (tried to modify read-only string)
* now open/4 better detects if a stream can be repositioned
Mon Apr 8 20:08:29 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* add source reader facility (built-in) - not yet documented
* fix current_predicate bug, now current_predicate(nl/0) fails
Fri Apr 5 12:32:26 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* 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
Thu Mar 28 00:35:59 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* patch to allow more than 64Mb for the stacks under ix86/Linux
Mon Mar 25 13:34:52 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)
Fri Mar 22 11:31:52 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix a problem under sparc/solaris using mmap (adding MAP_FIXED)
Tue Mar 19 18:51:50 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* fix a problem with gcc 3.0.x which always uses ebp in main()
* use -march=xxx gcc option instead of -mxxx for ix86
Tue Jan 15 19:26:26 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* gplc now passes -L option to ld in the order of apparition
* gplc accepts meta-characters %p, %d,... in output file names
Tue Jan 8 16:51:48 CEST 2002 <Daniel.Diaz@univ-paris1.fr>
* include additional patch for sockets under win32 - due to
Brent Fulgham <brent.fulgham@xpsystems.com>
Thu Dec 20 16:17:00 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* re-write Windows GUI Console in pure Win32 (no more MFC)
* adapt configure.in to work with autoconf 2.52
Thu Dec 13 12:09:36 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* add Prolog flag back_quotes and values {atom,chars,codes}_no_escape
* use a terminal recursion in FD arithmetic normalization
Wed Dec 12 11:04:57 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix bug in bind_variables/2, reported by:
Bowie Owens <owe043@phi-cq.vic.cmis.csiro.au>
Tue Dec 11 18:25:19 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* modify Ma2Asm mappers to use Y_OFFSET (from ENVIR_STATIC_SIZE)
* fix some bugs in the Wam debugger
Fri Dec 7 19:01:02 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* 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)
Tue Dec 4 20:29:00 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* 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
Mon Dec 3 18:13:16 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix bug on Linux configured with --disable-regs
* add pipe to pl2wam stdin when called by consult/1
Mon Nov 5 10:25:29 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix bug in FD: forall is now recognized in .fd files
* fix bug in DCG: expand_term((a --> X), Y) is OK
Wed Oct 31 20:31:04 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix X paste problem in linedit
Tue Oct 3O 17:31:04 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* simplify top_comp.c to better control include dirs in devel. mode
Sun Oct 14 17:12:32 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* specialized functions for create/update/delete choice points
Tue Oct 9 12:11:44 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)
Mon Oct 8 12:33:02 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* include patch to support basic sockets under win32 - due to
Brent Fulgham <brent.fulgham@xpsystems.com>
* arithmetic functions and inlined built-ins use fast call
* specialized functions for switch_on_term_xxx
* modify pl2wam to generalize '$call_c' (add options)
Mon Oct 8 11:33:02 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* fix bug - delete file created by mkstemp(2), patch from:
Salvador Abreu <spa@debian.org>
Fri Sep 28 17:09:35 CEST 2001 <Daniel.Diaz@univ-paris1.fr>
* space_args(true) now displays a space inside {}/1
* space_args(true) now displays a space after a comma (','/2)
Sat Sep 15 12:49:19 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* add a --foreign-only option to pl2wam
* foreign/2 directives are ignored in byte-code mode (no fatal error)
Fri Sep 7 09:58:36 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* 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
Thu Jul 12 16:03:30 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* get rid of mktemp and tempnam calls (use mkstemp if available)
Thu Jun 7 20:34:13 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in fd_element_var/3 constraint
Thu Feb 8 11:25:30 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* fix bug in fd headers (fd_to_c.h not installed)
Thu Jan 25 21:12:06 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with unify_with_occurs_check/2
* fix bug on ix86 using ebp (add -fomit-frame-pointer in CFLAGS_MACHINE)
Mon Jan 22 12:41:26 CET 2001 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with ! in dynamic code
* fix a bug in arithmetics
Tue Dec 19 16:32:39 CET 20000 <Daniel.Diaz@univ-paris1.fr>
* big modification (1 month) to optimize the execution speed
Thu Nov 9 19:06:06 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* implement fast call (mainly for WAM functions)
Tue Nov 7 15:12:11 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* modify C->Prolog foreign interface to recover arguments space
Mon Nov 6 14:58:07 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* improve dynamic clause management and fix a bug (memory leak)
Fri Nov 3 09:17:19 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* fix _ symbol prefix problem for Free BSD
Fri Oct 13 17:46:38 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* no longer use dl_malloc on Linux but prevent MMAP using mallopt
Tue Sep 12 15:42:48 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* full re-indentation of the sources for CVS
Thu Sep 7 18:04:15 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* added acos/asin to Prolog arithmetics
Wed Sep 6 20:04:15 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* port to alpha/Linux - many thanks to
Alexander Diemand <ax@apax.net>
* port to alpha/OSF1
* port to mips/irix - many thanks to
Alexander Diemand <ax@apax.net>
* fix a bug in stty.c (use standard termios if present)
Mon Jul 31 11:42:44 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in stty.c (use termio by default and else termios)
Thu Jul 6 11:38:58 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* more customizable configuration/installation procedure
Mon Jun 3 19:57:20 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* port for ix86/NetBSD - many thanks to
Brook Milligan <brook@nmsu.edu>
Wed Jun 28 11:38:37 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* rename configuration file config.h by gp_config.h
Mon Jun 19 14:24:44 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* avoid to establish a connection at start to get the hostname
Tue Jun 6 16:51:48 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the compiler about \\ inside quoted atoms
Thu May 4 17:39:53 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in dynamic clause retraction (memory leak)
Tue Apr 25 16:32:09 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in atom management (existing atoms eat mallocated space)
Tue Apr 18 13:23:02 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* added creation/1 and last_access/1 property to file_property/2
Wed Mar 1 14:23:45 CEST 2000 <Daniel.Diaz@univ-paris1.fr>
* start of native Win32 port
Mon Feb 14 14:00:46 CET 2000 <Daniel.Diaz@univ-paris1.fr>
* port for ix86/FreeBSD - many thanks to
Nicolas Ollinger <nollinge@ens-lyon.fr>
Tue Jan 18 17:30:25 CET 2000 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the byte-code loader (bad realloc computation)
* fix a bug in the malloc (used MMAP under Linux)
Fri Dec 17 15:54:51 CET 1999 <Daniel.Diaz@univ-paris1.fr>
* port for ix86/SCO - many thanks to
Clive Cox <clive@laluna.demon.co.uk> and
Edmund Grimley Evans <edmundo@rano.demon.co.uk>
* port for ix86/solaris - many thanks to
Andreas Stolcke <stolcke@speech.sri.com>
Thu Dec 16 18:23:13 CET 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the FD solver for X#\=C (if C is max(X))
Thu Dec 2 17:31:31 CET 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug with directory_files/2 (too many open files)
Thu Nov 25 14:27:11 CET 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the compiler about \t in quoted atoms
Fri Oct 22 14:59:47 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the scanner about 0'<character>
Mon Oct 18 12:46:59 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix bug with popen/3
* update machine.c for struct sigcontext under Linux
Fri Oct 8 19:36:59 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in the output of some extended characters in native-compilation
Tue Sep 28 18:00:44 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* implementation of call_with_args
Mon Sep 27 16:18:55 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in sign/1 for arithmetic evaluation
Fri Jul 16 13:26:31 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in foreign C calling Prolog on sparc
Thu Jul 15 12:04:38 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix a bug in sparc compilation
* fix a bug in foreign code under sparc
* update pl_config.c to show which version is installed
Tue Jul 6 14:47:51 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* add linedit test to avoid to re-echo an already buffered full-line
* fix bugs is sort/1
Fri Jun 25 10:04:03 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix bug in sleep/1 (incorrect behavior with a float)
* finish preliminary port to Cygwin (see file src/PROBLEMS)
Wed Jun 23 13:49:07 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix bug in FD solver (too much trail allocated due to bad vec_size)
* fix labeling first-fail to correspond to clp(FD)
Fri Jun 18 12:29:03 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix message from consult when pl2wam cannot be found
Thu Jun 17 16:12:53 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix precision bug on floating constants
Sun Jun 6 12:05:32 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* initial port for ix86/Cygwin (Win32) (to finish)
Fri Jun 4 11:05:37 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix bug in throw_c.c (foreign code catch exception)
* improve Ma2Asm check.c and FromC/ utilities
* port for PowerPC / GNU/Linux (see file src/PROBLEMS)
Mon May 31 10:45:35 CEST 1999 <Daniel.Diaz@univ-paris1.fr>
* fix bug using egcs-1.1.2 (RedHat 6.0) (add a Stop_Prolog() fct)
Fri May 21 15:56:50 MEST 1999 <Danriel.Diaz@univ-paris1.fr>
* removed Configure directory (clashes with ./configure under WinXX)
* fix Linedit/Makefile.in (CFLAGS added)
Fri May 21 11:54:31 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* add ensure_linked directive
* fix bug in gplc help (-C/-A/-L instead of --C/--A/--L)
* fix bug in gplc (with too long command-lines)
* fix bug in M_Absolute_Path_Name() (/.automount gave /automount)
Wed Apr 21 09:53:00 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* work release 1.0.1
* fix bug --disable-regs works now for solaris
Mon Apr 19 19:46:07 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* optimize FD equations (math_supp.c) avoid qsort sometimes
* fix bug in installation procedure (Html doc installation)
Fri Apr 16 15:49:34 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* rewrite in C DCG translation:
optimize unifications, no more ill-balanced conjunctions
* fix bug in bc_supp.c to avoid aux pred name for unknown predicate
* fix bug in pl2wam (:- set_prolog_flag(singleton_warning,off))
Thu Apr 8 19:09:40 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* current_prolog/1 conforms to ISO thanks to strict_iso flag
* fix bug (type_list instead of instantiation error for Options)
* fix bug setof (not sorted when comes down to findall)
Tue Apr 6 20:48:32 MEST 1999 <Daniel.Diaz@univ-paris1.fr>
* add Prolog flag strict_iso (to relax predicate indicators)
* fix number_chars and friends non ISO conforming behavior
* modify wam2ma to avoid static arrays (use dynamic allocation)
Sun Apr 4 15:28:12 MET 1999 <Daniel.Diaz@univ-paris1.fr>
* add in-place installation (modify configure.in and Makefile.in)
Wed Mar 31 16:26:10 MET 1999 <Daniel.Diaz@univ-paris1.fr>
* add copyright headers in source files
Thu Mar 30 17:20:10 MET 1999 <Daniel.Diaz@univ-paris1.fr>
* rewrite all solutions built-in predicates (in C)
* add in-place sorts