Activity for XSB

  • David S. Warren committed [52953d] on Sources (GIT)

    Fix singleton warning message in compiler in case a variable is in the predicate name (possible with HiLog)

  • Swift, Theresa E committed [62e34e] on Sources (GIT)

    Added stream location to this test.

  • Swift, Theresa E committed [8b34dc] on Sources (GIT)

    Fix for radix option.

  • Swift, Theresa E committed [374127] on Sources (GIT)

    Added test for new write_term options.

  • Swift, Theresa E committed [57d8f7] on Sources (GIT)

    Fixed with help of codex the -only flag in testsuite.

  • Swift, Theresa E committed [1ca196] on Sources (GIT)

    New version of write term with new options in compliance with PIP 0105.

  • Swift, Theresa E committed [d0ed13] on Sources (GIT)

    New version of format.

  • Swift, Theresa E committed [f1db89] on Sources (GIT)

    Added documentation for new format and write_term options.

  • Swift, Theresa E committed [9a65e0] on Sources (GIT)

    Just trying to deal with git.

  • Swift, Theresa E committed [7eb764] on Sources (GIT)

    AGENTS.md as generated by Codex but should be useful for other coding

  • Swift, Theresa E committed [b0e641] on Sources (GIT)

    Changes to adjust for new format in tables.P

  • Swift, Theresa E committed [0d7243] on Sources (GIT)

    Changes for format.

  • Swift, Theresa E committed [a67a1f] on Sources (GIT)

    More tests for new format.

  • Swift, Theresa E committed [e99d17] on Sources (GIT)

    Adding new test for format.

  • Swift, Theresa E committed [aa293e] on Sources (GIT)

    Small changes for new format/[2,3].

  • Swift, Theresa E committed [36d330] on Sources (GIT)

    Updated format/[2,3] to be consistent with PIP 0110. There are some

  • Swift, Theresa E committed [4b904d] on Sources (GIT)

    Added markdown versions of manuals which are useful for coding agents.

  • David S. Warren committed [d94e9b] on Sources (GIT)

    Added the :- exception in retract metapredicate processing.

  • David S. Warren committed [da1ef8] on Sources (GIT)

    fix wrong import in one aggregation transformation.

  • David S. Warren committed [76956f] on Sources (GIT)

    fixed incorrect import of str_len/2.

  • David S. Warren committed [7042a2] on Sources (GIT)

    fix bug in module handling when asserting 0-ary predicates.

  • David S. Warren committed [799a24] on Sources (GIT)

    added clearerr after successfully opening a file. Seems necessary sometimes on windows when opening console as stdin (??)

  • David S. Warren committed [821203] on Sources (GIT)

    Added info to an overflow message

  • Theresa Swift committed [84cee2] on Sources (GIT)

    Expanded default number of interned tries.

  • Eli Schwartz Eli Schwartz created ticket #266

    Typo in option check for -Wl,--export-dynamic

  • David S. Warren committed [7d6f3d] on Sources (GIT)

    added optional @ wrapper for atoms, to allow @([]) to treat [] as an atom.

  • Theresa Swift committed [0db528] on Sources (GIT)

    Update to version number,

  • Theresa Swift committed [2c6eef] on Sources (GIT)

    Removed appendix with xsbpy for the new version.

  • Theresa Swift committed [3d6a6b] on Sources (GIT)

    Putting back in system.tex

  • Michael Kifer Michael Kifer committed [bc5f05] on Sources (GIT)

    small var change in curl's load_page

  • Theresa Swift committed [ec2df6] on Sources (GIT)

    New files updated for Janus.

  • Theresa Swift committed [003339] on Sources (GIT)

    Fixed bug in values/3 -- had not updated to the new version of Dictionaries.

  • David S. Warren committed [4e69c3] on Sources (GIT)

    updated xsb_writ.P to remove extraneous parentheses in some cases.

  • David S. Warren committed [f17ac6] on Sources (GIT)

    updated test to changes in write to remove extraneous parens

  • Theresa Swift committed [1cd94e] on Sources (GIT)

    Fixed a couple of typos in this test.

  • David S. Warren committed [63da79] on Sources (GIT)

    updated mpa_to_skel to handle parameterized modules.

  • David S. Warren committed [4cd5b5] on Sources (GIT)

    fixed mistaken line in loader_xsb.c file

  • David S. Warren committed [dab291] on Sources (GIT)

    Fixed bug in handling error load non-parameterized module using paramters; allow export of imported-as predicate.

  • Michael Kifer Michael Kifer committed [8170a3] on Sources (GIT)

    added comments in the header

  • Michael Kifer Michael Kifer committed [d3c111] on Sources (GIT)

    added comments in the header

  • Michael Kifer Michael Kifer committed [f20591] on Sources (GIT)

    converted xpath, curl, pcre to autoconf 2.71

  • Michael Kifer Michael Kifer committed [52166d] on Sources (GIT)

    various fixes to dbdrivers config

  • Michael Kifer Michael Kifer committed [862185] on Sources (GIT)

    preliminary suppport for mariadbb

  • Michael Kifer Michael Kifer committed [edf84e] on Sources (GIT)

    converted configure stuff in packages/dbdrivers to autoconf 2.71

  • Michael Kifer Michael Kifer committed [848fcc] on Sources (GIT)

    tested on windows

  • Michael Kifer Michael Kifer committed [f49f15] on Sources (GIT)

    change py-xsb to janus-xsb in one place

  • Michael Kifer Michael Kifer committed [4eb792] on Sources (GIT)

    minor

  • Michael Kifer Michael Kifer committed [494cbf] on Sources (GIT)

    converted to autoconf 1.71 - a major update to configuration.

  • Michael Kifer Michael Kifer committed [16f9dc] on Sources (GIT)

    updated janus/configure.ac, janus/m4/* for autoconf 2.71

  • Michael Kifer Michael Kifer committed [1ca7cc] on Sources (GIT)

    fixing the janus config for the latest autoconf

  • Michael Kifer Michael Kifer committed [e89f00] on Sources (GIT)

    The updates to autoconf in the latest ubuntu 24.04 and Mint 22 are so far reaching that they break XSB config.

  • Theresa Swift committed [b99600] on Sources (GIT)

    Minor change to test to account for extra ?-'s

  • Theresa Swift committed [981d41] on Sources (GIT)

    Updated a test to coincide with an error message.

  • Theresa Swift committed [47c584] on Sources (GIT)

    Updating parts of the testsuite.

  • Theresa Swift committed [792fd5] on Sources (GIT)

    Tweaks for the testsuite.

  • Michael Kifer Michael Kifer committed [2df103] on Sources (GIT)

    fixed a cosmetic config bug in windows64

  • davidswarren committed [e1aecd] on Sources (GIT)

    Fixed bug in switchonterm with terms of form f(). And fixed bug in load_dyn(c) for similar terms.

  • davidswarren committed [03ffc6] on Sources (GIT)

    updated right answer for an incr test whose error message seems to have changed.

  • Theresa Swift committed [eaf9fe] on Sources (GIT)

    This one too.

  • Theresa Swift committed [857018] on Sources (GIT)

    Forgot to commit?

  • Theresa Swift committed [f2b9ba] on Sources (GIT)

    Took a couple of obsolete predicates for incr tabling out of the manual.

  • Theresa Swift committed [fe42a9] on Sources (GIT)

    Test for add_incr_dependency/1.

  • Theresa Swift committed [076867] on Sources (GIT)

    Documentation of add_incr_dependency/1.

  • Theresa Swift committed [37654a] on Sources (GIT)

    Accidentally committed a file with some debug statements. This file has the debug statements removed.

  • Theresa Swift committed [940af3] on Sources (GIT)

    Added the builtin add_incr_dependency/1.

  • davidswarren committed [33331c] on Sources (GIT)

    fixed bug in subset_db/2

  • Theresa Swift committed [efb7ca] on Sources (GIT)

    Made a function, print_registers, usable outside of this file. I used it for debugging cutting over tables.

  • Theresa Swift committed [53475e] on Sources (GIT)

    taking out printf.

  • Eli Schwartz Eli Schwartz modified a comment on ticket #265

    I'm agreeing that the change from a couple months ago is a good fix, because I backported it to: https://downloads.sourceforge.net/xsb/XSB-4-0-0.tar.gz (with additional patches from https://dev.gentoo.org/~keri/distfiles/xsb/xsb-4.0.0-gentoo-patchset-3.tar.gz) I haven't tried building from git, no.

  • Eli Schwartz Eli Schwartz posted a comment on ticket #265

    I'm agreeing that the change from a couple months ago is a good fix, because I backported it to: https://downloads.sourceforge.net/xsb/XSB-4-0-0.tar.gz (with additional patches from https://dev.gentoo.org/~keri/distfiles/xsb/xsb-4.0.0-gentoo-patchset-3.tar.gz) I haven't tried building from git, no.

  • Michael Kifer Michael Kifer posted a comment on ticket #265

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> are you sure you are using the latest from the git repository? This bug was fixed exactly 2 months ago On 5/14/24 11:23 PM, Eli Schwartz wrote: It should, yes, that's the local fix I made too. --- **[bugs:#265] Build fails with implicit-int in a configure test probe** **Status:** open **Group:** Performance problem **Created:**...

  • Eli Schwartz Eli Schwartz posted a comment on ticket #264

    Unfortunately after backporting the patches, it still fails: -e [x86_64-pc-linux-gnu-gcc] loader_xsb.c using -fPIC -march=native -fstack-protector-all -O2 -pipe -fdiagnostics-color=always -frecord-gcc-switches -flto=4 -Werror=odr -Werror=lto-type-mismatch -Werror=strict-aliasing -Wformat -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Werror=int-conversion -Werror=incompatible-pointer-types -Wno-error=format-security loader_xsb.c: In function ‘get_index_tab’: loader_xsb.c:136:16:...

  • Eli Schwartz Eli Schwartz posted a comment on ticket #264

    Oh hrm right, fixed by edce993d1a837707781dbd4b5025e22e694c9053.

  • Eli Schwartz Eli Schwartz posted a comment on ticket #264

    Note that implicit-function-declaration is tied to https://sourceforge.net/p/xsb/bugs/265/ This is an easy case because you can just include the header you forgot. Some Modern C errors are a lot harder to fix.

  • Eli Schwartz Eli Schwartz posted a comment on ticket #264

    I see you committed a fix, unfortunately attempting to backport it emits a different fatal error instead: In file included from tst_utils.c:45: cell_xsb_i.h: In function ‘bld_boxedfloat’: cell_xsb_i.h:42:5: error: implicit declaration of function ‘memcpy’ [-Werror=implicit-function-declaration] 42 | memcpy(&tempUIFloat,&value,sizeof(tempUIFloat)); | ^~~~~~ cell_xsb_i.h:1:1: note: include ‘<string.h>’ or provide a declaration of ‘memcpy’ +++ |+#include <string.h> 1 | #include "register.h" cell_xsb_i.h:42:5:...

  • Eli Schwartz Eli Schwartz posted a comment on ticket #265

    It should, yes, that's the local fix I made too.

  • Michael Kifer Michael Kifer committed [490093] on Sources (GIT)

    fixed typo in err msg

  • Theresa Swift committed [8b6047] on Sources (GIT)

    Adding back the printf for cutting over a table.

  • Theresa Swift committed [f97050] on Sources (GIT)

    Put goal into the context for error when floundering tnot/1.

  • Theresa Swift committed [8115a3] on Sources (GIT)

    Added more descriptive error message, and put the gzbld bdinb cut over into the context.

  • davidswarren committed [b50a29] on Sources (GIT)

    Added comment to force-truth-value predicates in tables.P to record difference in WF simplification and SM simplification.

  • Theresa Swift committed [3627e6] on Sources (GIT)

    Merge branch 'git-origin' of ssh://git.code.sf.net/p/xsb/code into git-origin

  • Theresa Swift committed [337cb1] on Sources (GIT)

    Changed error type.

  • Theresa Swift committed [f8737c] on Sources (GIT)

    Minor changes to janus-plg.

  • Theresa Swift committed [676964] on Sources (GIT)

    Updatd from xp to jns.

  • Theresa Swift committed [f95fd2] on Sources (GIT)

    Added safety check to free python object

  • davidswarren committed [4545a3] on Sources (GIT)

    Minor fix to number_codes/chars. reset string if int conversion fails.

  • davidswarren committed [edce99] on Sources (GIT)

    included string.h, which some compilers seem to need for memcpy,

  • davidswarren committed [6fc8b5] on Sources (GIT)

    Fixed (this time, I hope) number_chars/codes to handle multiple bases.

  • davidswarren committed [a6ac04] on Sources (GIT)

    Fixed (I hope) the strict-aliasing violations pointed out. Used memcpy to avoid bad coercions.

  • davidswarren committed [157151] on Sources (GIT)

    Concatenate multiple -e command arguments to accumulate command.

  • David S. Warren David S. Warren posted a comment on ticket #264

    Thanks very much for that information. I will look into seeing what can be done. (I haven't understood that code for handling byte-backward issues for at least 35 years, if I ever did, even though I'm quite sure I wrote it. I hope I'm not too old to relearn it....)

  • Eli Schwartz Eli Schwartz posted a comment on ticket #264

    The standards conformant way to do this without invoking UB is to use either that (union type access) or a memcpy. Both are commonly used in this scenario. Both will produce, on gcc or clang with optimizations enabled, the same code (in fact, the same code that the strict-aliasing violation produces, except the aliasing could trigger UB and explode instead). It's a well known pattern that the compiler has been taught to recognize. The memcpy guarantees there are no alignment issues whereas the union...

  • David S. Warren David S. Warren posted a comment on ticket #264

    So I guess the accepted way to do these things would be to use union types? And storing under one type and retrieving through the other? Hmmm. If that would work, that would require having an extra memory location for the union variable and the copy. If this would work, and it's worth the trouble, I could look into it.

  • davidswarren committed [de84bf] on Sources (GIT)

    Small bug fixes, fix number_chars/codes, handle 0-divide, bug in =.. in not handling floats right (an oddity remains, but...)

  • davidswarren committed [d07a1d] on Sources (GIT)

    fix a register allocation bug; finally get HoldR management right, I hope.

  • davidswarren committed [fc324b] on Sources (GIT)

    Some cleanup in compiler; minor improvement in code generation reducing redundant loads.

  • davidswarren committed [6157f4] on Sources (GIT)

    Fixed compiler bug in register allocation (reporter Paulo Maura); cmpreg overwrites its 2nd arg, and HoldR incorrectly built.

  • Michael Kifer Michael Kifer posted a comment on ticket #265

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> I hope I fixed this by changing to int main(){return 0;} On 3/14/24 8:23 PM, Eli Schwartz wrote: <meta http-equiv="content-type" content="text/html; charset=UTF-8"> [bugs:#265] Build fails with implicit-int in a configure test probe Status: open Group: Performance problem Created: Fri Mar 15, 2024 12:23 AM UTC by Eli Schwartz...

  • Michael Kifer Michael Kifer committed [eee618] on Sources (GIT)

    possibly fixed a configure.in bug with --export-dynamic

1 >