swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
Second problem reported here, https://www.stats.ox.ac.uk/pub/bdr/memtests/gcc-UBSAN/rswipl/rswipl-Ex.Rout The problem is shown if the compiler switch -fsanitize=address,undefined is used. /data/gannet/ripley/R/packages/tests-gcc-SAN/rswipl/src/swipl-devel/src/os/pl-buffer.c:184:5: runtime error: shift exponent 734 is too large for 32-bit type 'int' One...
https://github.com/SWI-Prolog/swipl-devel/blob/1ff28598f7c5da16396bbb7a3293b3ba9fb26878/src/pl-prims.c#L142 If I add an assertion, set_marked(p); assert(LD->cycle.vstack.top); if ( !pushSegStack(&LD->cycle.vstack, p, Word) ) outOfCore(); the build fails. Same here https://github.com/SWI-Prolog/swipl-devel/blob/1ff28598f7c5da16396bbb7a3293b3ba9fb26878/src/pl-prims.c#L172
See here: https://www.stats.ox.ac.uk/pub/bdr/memtests/clang-UBSAN/rswipl/rswipl.log The individual errors are mentioned in the individual commits. Four error messages are still left, these require inspection, I'll open an issue.
Hello! On macOS, when I open `SWI-Prolog` downloaded from the official stable release, I get a warning: ``` "SWI-Prolog" cannot be opened because the developer cannot be verified. macOS cannot...
Hi. I've been trying to integrate swipl into my build system. Here is the problem I encountered: I have a main repository, on which I tinker with swipl-devel code. Then,...
When building swipl 9.3.7 for openSUSE/Factory the build fails on `s390x` architecture: ``` [ 236s] /home/abuild/rpmbuild/BUILD/swipl-9.3.7/src/pl-incl.h:593:45: error: division by zero in #if [ 236s] 593 | #define CODES_PER_WORD (SIZEOF_WORD/SIZEOF_CODE) ```...
I just ran a rebuild of swi-prolog for the Nix packaging and ran into the crash below. A rebuild right afterwards with no changes succeeded, so I suspect there's might...
Starting in 9.1.22, it has become necessary to have git installed to install a pack, even if the pack to be installed is already present locally. I suspect this is...
While trying to do protobuf syntax with library(dcg/high_order)) it seems there is small glitch in the docu. It says here: ``` Element?, (Sep,Element)* ``` https://www.swi-prolog.org/pldoc/doc_for?object=sequence//3 But what it actually does...
