GNU Prolog

Settings | Report Duplicate

10

I Use This!

Very Low Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 24, 2025 — Feb 24, 2026 Showing page 1 of 132 Search / Filter on:
fix re issue #10: muliplication overflow not detected with gcc -O (case 9^63) minor reindentations/renamins	Daniel Diaz	More...				2 months ago
fix issue #59: riscv64 assembly jump range limitation ±1MB improve execution speed under the top-level (re issue #12) fix issue #87: git local leftover changes (add .gitattributes with *.wam merge=theirs) add interpreted checks (make check-i) (using '$consult_assert'/1 added in consult.pl) fix issue #84: dead link in README (replace by www.gprolog.org)	Daniel Diaz	More...				3 months ago
fix NEWS	Daniel Diaz	More...				3 months ago
Merge branch 'master' into contexts	Daniel Diaz	More...				3 months ago
Merge branch 'master' into negative-domain	Daniel Diaz	More...				3 months ago
fix NEWS	Daniel Diaz	More...				3 months ago
fix NEWS	Daniel Diaz	More...				3 months ago
Fix ChangeLog	Daniel Diaz	More...				3 months ago
Fix ChangeLog	Daniel Diaz	More...				3 months ago
Fix ChangeLog	Daniel Diaz	More...				3 months ago
fix merge	Daniel Diaz	More...				3 months ago
fix merge	Daniel Diaz	More...				3 months ago
fix bug in the FD solver when using quot_rem/3. fix issue #81: improve number_atom/2, number_chars/2, number_codes/2 improve atom_concat, now atom_concat(A, A, 'abab') succeeds deterministically prohibit the definition of (:-)/1-2 (follows WG17) fix issue #78: write_term/3 option portrayed(true) writes to the correct stream add option --no-gui-console to gprolog to disable Windows GUI console fix issue #83: bugs in the Prolog parser add configure option ./configure --with-c-flags=debug2 with more C compiler warnings fix common section alignement ld warning on Mac with clang 17.0.0 update/fix/improve Windows port 32 and 64 bits with msys gcc 15.2.0 and MSVC v17.14.17) fix issue #82: compilation problem with gcc version 15	Daniel Diaz	More...				3 months ago
fix bug in the FD solver when using quot_rem/3. fix issue #81: improve number_atom/2, number_chars/2, number_codes/2 improve atom_concat, now atom_concat(A, A, 'abab') succeeds deterministically prohibit the definition of (:-)/1-2 (follows WG17) fix issue #78: write_term/3 option portrayed(true) writes to the correct stream add option --no-gui-console to gprolog to disable Windows GUI console fix issue #83: bugs in the Prolog parser add configure option ./configure --with-c-flags=debug2 with more C compiler warnings fix common section alignement ld warning on Mac with clang 17.0.0 update/fix/improve Windows port 32 and 64 bits with msys gcc 15.2.0 and MSVC v17.14.17)	Daniel Diaz	More...				3 months ago
fix bug in the FD solver when using quot_rem/3. fix issue #81: improve number_atom/2, number_chars/2, number_codes/2 improve atom_concat, now atom_concat(A, A, 'abab') succeeds deterministically prohibit the definition of (:-)/1-2 (follows WG17) fix issue #78: write_term/3 option portrayed(true) writes to the correct stream add option --no-gui-console to gprolog to disable Windows GUI console fix issue #83: bugs in the Prolog parser add configure option ./configure --with-c-flags=debug2 with more C compiler warnings fix common section alignement ld warning on Mac with clang 17.0.0 update/fix/improve Windows port 32 and 64 bits with msys gcc 15.2.0 and MSVC v17.14.17)	Daniel Diaz	More...				3 months ago
fix bug in the FD solver when using quot_rem/3. fix issue #81: improve number_atom/2, number_chars/2, number_codes/2 improve atom_concat, now atom_concat(A, A, 'abab') succeeds deterministically prohibit the definition of (:-)/1-2 (follows WG17) fix issue #78: write_term/3 option portrayed(true) writes to the correct stream add option --no-gui-console to gprolog to disable Windows GUI console fix issue #83: bugs in the Prolog parser add configure option ./configure --with-c-flags=debug2 with more C compiler warnings fix common section alignement ld warning on Mac with clang 17.0.0 update/fix/improve Windows port 32 and 64 bits with msys gcc 15.2.0 and MSVC v17.14.17) fix issue #82: compilation problem with gcc version 15	Daniel Diaz	More...				3 months ago
fix bug in the FD solver when using quot_rem/3. fix issue #81: improve number_atom/2, number_chars/2, number_codes/2 improve atom_concat, now atom_concat(A, A, 'abab') succeeds deterministically prohibit the definition of (:-)/1-2 (follows WG17) fix issue #78: write_term/3 option portrayed(true) writes to the correct stream add option --no-gui-console to gprolog to disable Windows GUI console fix issue #83: bugs in the Prolog parser add configure option ./configure --with-c-flags=debug2 with more C compiler warnings fix common section alignement ld warning on Mac with clang 17.0.0 update/fix/improve Windows port 32 and 64 bits with msys gcc 15.2.0 and MSVC v17.14.17) fix issue #82: compilation problem with gcc version 15	Daniel Diaz	More...				3 months ago
add --enable-mcheck to configure.in (malloc consistency checking) don't forget to set LD_PRELOAD to libc_malloc_debug.so, e.g.: export LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libc_malloc_debug.so)	Daniel Diaz	More...				about 1 year ago
add --enable-mcheck to configure.in (malloc consistency checking) don't forget to set LD_PRELOAD to libc_malloc_debug.so, e.g.: export LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libc_malloc_debug.so)	Daniel Diaz	More...				about 1 year ago
add --enable-mcheck to configure.in (malloc consistency checking) don't forget to set LD_PRELOAD to libc_malloc_debug.so, e.g.: export LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libc_malloc_debug.so)	Daniel Diaz	More...				about 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)	Daniel Diaz	More...				about 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)	Daniel Diaz	More...				about 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)	Daniel Diaz	More...				about 1 year ago
new year copyright	Daniel Diaz	More...				about 1 year ago
new year copyright	Daniel Diaz	More...				about 1 year ago
new year copyright	Daniel Diaz	More...				about 1 year ago
fix re issue #56: write_term/2-3 max_depth option - cont 2	Daniel Diaz	More...				over 2 years ago
fix re issue #56: write_term/2-3 max_depth option - cont 2	Daniel Diaz	More...				over 2 years ago
fix re issue #56: write_term/2-3 max_depth option - cont 2	Daniel Diaz	More...				over 2 years ago
fix re issue #56: write_term/2-3 max_depth option - cont	Daniel Diaz	More...				over 2 years ago

←
1
2
3
4
5
6
7
8
9
…
131
132
→