Open Hub
Open Hub

 Settings |  Report Duplicate

10
I Use This!
Very Low Activity

Commits : Listings

Analyzed 3 days ago. based on code collected 4 days ago.
Jun 10, 2025 — Jun 10, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
port to arm64/Windows using clang and MSVC (see src/WINDOWS) improve all Windows/msys ports improve Windows Inno setup installer improve temporary_name/2 and temporary_file/2 randomness (mitigate race conditions) fix issue #93: write_term_to_chars/3 and friends incorrectly instantiate variables fix issue #71: phrase/2 too eager execution fix bug in riscv64 mapper - now gprolog can be compiled with clang rename hexfilter -> gplc-filter (backward incompatibility) remove deprecated gplc option --no-decode-hexa (use --no-demangling) extend gplc to accept .S (preprocessed assembly files) gplc accepts gcc-like options -Wl, -Wa, -Wc, rewrite the C to native Prolog code trampoline in assembly engine1.c is replaced by trampoline.S (old engine1.c -> trampoline-old.c) include setjmp/longjmp replacement for Windows 64 bit in trampoline.S modify configure.in to preserve user-supplied CFLAGS on command-line add gprolog top-level shorthands: -q for --quiet and -g for --init-goal strengthen C code strictness (enabling extra compiler warnings) refactor unit initialization (a unit is a Prolog program compiled to native code) new unit_ctor.[ch] (replaces obj_chain) now based on a portable constructor facility (see ctor.h) modify randomize/0 to produce more variation across runs change byte-code emulator (BCI register replaced by extendend local environments, see bc_supp.c) fix issue #85: bug in the GC-clause (retracting current clause) fix and improve the Prolog debugger fix bug in pl2wam with multifile aux predicate (prevent int_overflow) extend format/2-3 to conform to Prolog PIP-0110 https://prolog-lang.org/ImplementersForum/0110-format.html add tab-padding support (~| ~+ ~t), remove handling of ~? fix issue #90: crash due to a bad handling of WAM call_c in wam2ma
Daniel Diaz
More... 2 months ago
fix re issue #10: muliplication overflow not detected with gcc -O (case 9^63) minor reindentations/renamins
Daniel Diaz
More... 6 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... 6 months ago
fix NEWS
Daniel Diaz
More... 6 months ago
Merge branch 'master' into contexts
Daniel Diaz
More... 6 months ago
Merge branch 'master' into negative-domain
Daniel Diaz
More... 6 months ago
fix NEWS
Daniel Diaz
More... 6 months ago
fix NEWS
Daniel Diaz
More... 6 months ago
Fix ChangeLog
Daniel Diaz
More... 6 months ago
Fix ChangeLog
Daniel Diaz
More... 6 months ago
Fix ChangeLog
Daniel Diaz
More... 6 months ago
fix merge
Daniel Diaz
More... 6 months ago
fix merge
Daniel Diaz
More... 6 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... 6 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... 6 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... 6 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... 6 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... 6 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... over 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... over 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... over 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)
Daniel Diaz
More... over 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)
Daniel Diaz
More... over 1 year ago
little updates (for autoconf, for gcc 13.3.0, typos)
Daniel Diaz
More... over 1 year ago
new year copyright
Daniel Diaz
More... over 1 year ago
new year copyright
Daniel Diaz
More... over 1 year ago
new year copyright
Daniel Diaz
More... over 1 year ago
fix re issue #56: write_term/2-3 max_depth option - cont 2
Daniel Diaz
More... almost 3 years ago
fix re issue #56: write_term/2-3 max_depth option - cont 2
Daniel Diaz
More... almost 3 years ago
fix re issue #56: write_term/2-3 max_depth option - cont 2
Daniel Diaz
More... almost 3 years ago