From: <ts...@us...> - 2013-10-14 23:05:51
|
Revision: 7815 http://sourceforge.net/p/xsb/src/7815 Author: tswift Date: 2013-10-14 23:05:50 +0000 (Mon, 14 Oct 2013) Log Message: ----------- epoch_seconds/1. Modified Paths: -------------- trunk/XSB/emu/syscall_xsb.h trunk/XSB/emu/system_xsb.c |
From: <ts...@us...> - 2013-10-27 17:03:24
|
Revision: 7820 http://sourceforge.net/p/xsb/src/7820 Author: tswift Date: 2013-10-27 17:03:22 +0000 (Sun, 27 Oct 2013) Log Message: ----------- Updates to handle fuss-budgety clang Modified Paths: -------------- trunk/XSB/emu/biassert.c trunk/XSB/emu/builtin.c trunk/XSB/emu/call_graph_xsb.c trunk/XSB/emu/call_xsb_i.h trunk/XSB/emu/debug_xsb.c trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/tr_utils.c trunk/XSB/emu/tries.c |
From: <ts...@us...> - 2013-12-05 18:58:53
|
Revision: 7850 http://sourceforge.net/p/xsb/src/7850 Author: tswift Date: 2013-12-05 18:58:49 +0000 (Thu, 05 Dec 2013) Log Message: ----------- Numerous changes. This update was motivated by the fix for a recently reported bug in incremental tabling. The problem was incorrect maintenance for the deleted field of callgraphs for facts, under certain situations. However, there are other changes in this update. -- I was in the process of making incremental tabling follow an ISO-like semantics. While this feature is not turned on in this version, it does contain a draft of the code, as well as some refactoring that was needed to support the new functionality under clang. -- I also made some changes in the callnode structure so that the subgoal to which dynamic facts correspond can be reconstructed. I used this to find the bug above, but I also want to use it to extend the incremental dependency predicates in increval to also include dynamic facts. -- Some changes introduced to quiet the Linux compiler made clang complain. So I redid these changes as a macro, SQUASH_LINUX_COMPILER_WARNING which is a no-op in clang, but does what it did before in Linux. -- As a final node, I had to move ctop_tag into ptoc_tag_xsb_i.h (but did not change the file name). Basically, I had to change the inline definition of this predicate to static inline for clang. And since its used in several files, I had to put it in a .h. Modified Paths: -------------- trunk/XSB/emu/auxlry.h trunk/XSB/emu/biassert.c trunk/XSB/emu/binding.h trunk/XSB/emu/builtin.c trunk/XSB/emu/call_graph_xsb.c trunk/XSB/emu/debug_xsb.c trunk/XSB/emu/debug_xsb.h trunk/XSB/emu/dynamic_stack.c trunk/XSB/emu/emuloop.c trunk/XSB/emu/findall.c trunk/XSB/emu/init_xsb.c trunk/XSB/emu/inst_xsb.h trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/loader_xsb.c trunk/XSB/emu/memory_xsb.h trunk/XSB/emu/orient_xsb.c trunk/XSB/emu/pathname_xsb.c trunk/XSB/emu/ptoc_tag_xsb_i.h trunk/XSB/emu/slgdelay.c trunk/XSB/emu/slginsts_xsb_i.h trunk/XSB/emu/socket_xsb.c trunk/XSB/emu/struct_intern.c trunk/XSB/emu/struct_manager.c trunk/XSB/emu/subp.c trunk/XSB/emu/system_xsb.c trunk/XSB/emu/table_inspection_defs.h trunk/XSB/emu/table_stats.c trunk/XSB/emu/tables.c trunk/XSB/emu/tc_insts_xsb_i.h trunk/XSB/emu/tr_utils.c trunk/XSB/emu/tr_utils.h trunk/XSB/emu/tries.c trunk/XSB/emu/tries.h trunk/XSB/emu/tst_utils.c trunk/XSB/emu/xsb_inst_list.h |
From: <dw...@us...> - 2013-12-09 16:32:35
|
Revision: 7853 http://sourceforge.net/p/xsb/src/7853 Author: dwarren Date: 2013-12-09 16:32:28 +0000 (Mon, 09 Dec 2013) Log Message: ----------- 2 coercions to quite MSVC. Eliminate stray letter, unclear how it got there... Modified Paths: -------------- trunk/XSB/emu/system_xsb.c trunk/XSB/emu/tc_insts_xsb_i.h |
From: <ts...@us...> - 2013-12-12 22:59:03
|
Revision: 7856 http://sourceforge.net/p/xsb/src/7856 Author: tswift Date: 2013-12-12 22:59:00 +0000 (Thu, 12 Dec 2013) Log Message: ----------- Changes for iso semantics for incremental tabling, which is now turned *on*. Still not very stable for attributed variables in calls. Modified Paths: -------------- trunk/XSB/emu/call_graph_xsb.c trunk/XSB/emu/debug_xsb.c trunk/XSB/emu/emuloop.c trunk/XSB/emu/heap_xsb.h trunk/XSB/emu/slginsts_xsb_i.h trunk/XSB/emu/tc_insts_xsb_i.h trunk/XSB/emu/tr_code_xsb_i.h trunk/XSB/emu/tr_utils.c trunk/XSB/emu/tries.c |
From: <dw...@us...> - 2013-12-13 14:14:02
|
Revision: 7857 http://sourceforge.net/p/xsb/src/7857 Author: dwarren Date: 2013-12-13 14:13:59 +0000 (Fri, 13 Dec 2013) Log Message: ----------- Minor fixes to quiet chattering compilers. Modified Paths: -------------- trunk/XSB/emu/call_graph_xsb.c trunk/XSB/emu/tc_insts_xsb_i.h trunk/XSB/emu/tr_utils.c |
From: <ts...@us...> - 2013-12-22 21:07:58
|
Revision: 7863 http://sourceforge.net/p/xsb/src/7863 Author: tswift Date: 2013-12-22 21:07:55 +0000 (Sun, 22 Dec 2013) Log Message: ----------- Fix to a bug in ISO incremental tabling that showed up in the flora testsuite. The bug what that I forgot to properly protect the heap when the update occurred when we were not in tabling mode during the update, but some table was created subsequent to update. In this case hfreg had been set to the bottom of the heap, improperly. Having said that, most of the diffs have to do with commented debugging statements that I'm keeping around for now. Modified Paths: -------------- trunk/XSB/emu/call_graph_xsb.c trunk/XSB/emu/emuloop.c trunk/XSB/emu/tab_structs.h trunk/XSB/emu/tc_insts_xsb_i.h |
From: <ts...@us...> - 2014-01-26 22:54:51
|
Revision: 7878 http://sourceforge.net/p/xsb/src/7878 Author: tswift Date: 2014-01-26 22:54:48 +0000 (Sun, 26 Jan 2014) Log Message: ----------- Including Neng-Fa's changes to the XSB loader, and created get_byte,get_code,get_char,put_byte,put_code,put_char based on the functions he included in token_xsb.c. Integration of other builtins, such as atom codes, still remains to be done. Modified Paths: -------------- trunk/XSB/emu/builtin.c trunk/XSB/emu/io_builtins_xsb.h trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/io_defs_xsb.h trunk/XSB/emu/token_xsb.c trunk/XSB/emu/token_xsb.h |
From: <dw...@us...> - 2014-01-27 14:58:24
|
Revision: 7882 http://sourceforge.net/p/xsb/src/7882 Author: dwarren Date: 2014-01-27 14:58:22 +0000 (Mon, 27 Jan 2014) Log Message: ----------- casts (and type changes) to eliminate MSVC 64-bit compiler complaints Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/token_xsb.c |
From: <ts...@us...> - 2014-02-02 21:10:32
|
Revision: 7895 http://sourceforge.net/p/xsb/src/7895 Author: tswift Date: 2014-02-02 21:10:30 +0000 (Sun, 02 Feb 2014) Log Message: ----------- Updates for UTF-8 based I/O. Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/io_defs_xsb.h trunk/XSB/emu/std_pred_xsb_i.h |
From: <ts...@us...> - 2014-02-05 17:35:51
|
Revision: 7900 http://sourceforge.net/p/xsb/src/7900 Author: tswift Date: 2014-02-05 17:35:48 +0000 (Wed, 05 Feb 2014) Log Message: ----------- Fixed bug in stream handling w. peek on atom streams. Upgraded atom streams (as opposed to file streams) to handle UTF-8. Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/token_xsb.c trunk/XSB/emu/token_xsb.h |
From: <ts...@us...> - 2014-02-07 17:27:08
|
Revision: 7905 http://sourceforge.net/p/xsb/src/7905 Author: tswift Date: 2014-02-07 17:27:06 +0000 (Fri, 07 Feb 2014) Log Message: ----------- Changes to make read_canonical and substring/4 work properly with UTF-8 characters. Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/string_xsb.c trunk/XSB/emu/token_xsb.h |
From: <ts...@us...> - 2014-02-24 14:19:28
|
Revision: 7915 http://sourceforge.net/p/xsb/src/7915 Author: tswift Date: 2014-02-24 14:19:26 +0000 (Mon, 24 Feb 2014) Log Message: ----------- Committed character sets. Modified Paths: -------------- trunk/XSB/emu/flag_defs_xsb.h trunk/XSB/emu/init_xsb.c trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/std_pred_xsb_i.h trunk/XSB/emu/token_defs_xsb.h trunk/XSB/emu/token_xsb.c trunk/XSB/emu/token_xsb.h |
From: <dw...@us...> - 2014-03-19 12:47:47
|
Revision: 7932 http://sourceforge.net/p/xsb/src/7932 Author: dwarren Date: 2014-03-19 12:47:44 +0000 (Wed, 19 Mar 2014) Log Message: ----------- Many changes to improve character_set handling in XSB. Added windows cp1252, renamed ASCII to LATIN_1, and laid foundation for character encodings to be associated with streams, rather than being global. Modified Paths: -------------- trunk/XSB/emu/auxlry.h trunk/XSB/emu/builtin.c trunk/XSB/emu/cinterf.c trunk/XSB/emu/debug_xsb.c trunk/XSB/emu/init_xsb.c trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/io_builtins_xsb.h trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/odbc_xsb.c trunk/XSB/emu/std_pred_xsb_i.h trunk/XSB/emu/subp.c trunk/XSB/emu/subp.h trunk/XSB/emu/system_xsb.c trunk/XSB/emu/token_defs_xsb.h trunk/XSB/emu/token_xsb.c trunk/XSB/emu/token_xsb.h |
From: <dw...@us...> - 2014-03-19 13:21:58
|
Revision: 7935 http://sourceforge.net/p/xsb/src/7935 Author: dwarren Date: 2014-03-19 13:21:55 +0000 (Wed, 19 Mar 2014) Log Message: ----------- A few re-typings and coercions to allow it to compile quietly under (my version of) gcc. Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/std_pred_xsb_i.h trunk/XSB/emu/string_xsb.c trunk/XSB/emu/subp.c trunk/XSB/emu/token_xsb.c |
From: <dw...@us...> - 2014-04-01 17:05:49
|
Revision: 7944 http://sourceforge.net/p/xsb/src/7944 Author: dwarren Date: 2014-04-01 17:05:47 +0000 (Tue, 01 Apr 2014) Log Message: ----------- Added comment to remember to fix something wrt char-sets at some point. Added defined constant where a constant was used (twice) for clarity. Modified Paths: -------------- trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/std_pred_xsb_i.h |
From: <ts...@us...> - 2014-04-23 21:43:13
|
Revision: 7952 http://sourceforge.net/p/xsb/src/7952 Author: tswift Date: 2014-04-23 21:43:11 +0000 (Wed, 23 Apr 2014) Log Message: ----------- contining... Modified Paths: -------------- trunk/XSB/emu/builtin.c trunk/XSB/emu/cell_xsb.h trunk/XSB/emu/cinterf.c |
From: <ts...@us...> - 2014-04-23 21:45:49
|
Revision: 7953 http://sourceforge.net/p/xsb/src/7953 Author: tswift Date: 2014-04-23 21:45:47 +0000 (Wed, 23 Apr 2014) Log Message: ----------- Changes to quiet compiler on Mac and maybe improve speed. 1) Added some casts between byte * and char * 2) Factored out extern inlines into static inlines in new include files. On the mac, and probably elsewhere extern inlines were not treated as inlines, while now they will be. Modified Paths: -------------- trunk/XSB/emu/debug_xsb.c trunk/XSB/emu/dis.c trunk/XSB/emu/emuloop.c trunk/XSB/emu/function.c trunk/XSB/emu/heap_xsb.c trunk/XSB/emu/io_builtins_xsb_i.h trunk/XSB/emu/slgdelay.c trunk/XSB/emu/subp.c trunk/XSB/emu/tables.c trunk/XSB/emu/tables.h trunk/XSB/emu/tst_utils.c |
From: <ts...@us...> - 2014-04-23 21:46:26
|
Revision: 7954 http://sourceforge.net/p/xsb/src/7954 Author: tswift Date: 2014-04-23 21:46:23 +0000 (Wed, 23 Apr 2014) Log Message: ----------- New include files with static inline functions Added Paths: ----------- trunk/XSB/emu/cell_xsb_i.h trunk/XSB/emu/tables_i.h |
From: <ts...@us...> - 2014-04-24 13:42:41
|
Revision: 7955 http://sourceforge.net/p/xsb/src/7955 Author: tswift Date: 2014-04-24 13:42:36 +0000 (Thu, 24 Apr 2014) Log Message: ----------- Forgot to commit last night. Modified Paths: -------------- trunk/XSB/emu/findall.c trunk/XSB/emu/io_builtins_xsb.c |
From: <ts...@us...> - 2014-04-30 18:47:00
|
Revision: 7959 http://sourceforge.net/p/xsb/src/7959 Author: tswift Date: 2014-04-30 18:46:57 +0000 (Wed, 30 Apr 2014) Log Message: ----------- Added lots of casts to remove (hopefully) spurious compiler warnings. Modified Paths: -------------- trunk/XSB/emu/builtin.c trunk/XSB/emu/context.h trunk/XSB/emu/io_builtins_xsb.c trunk/XSB/emu/std_pred_xsb_i.h trunk/XSB/emu/string_xsb.c trunk/XSB/emu/subp.c trunk/XSB/emu/token_xsb.c |
From: <dw...@us...> - 2014-05-06 13:39:13
|
Revision: 7970 http://sourceforge.net/p/xsb/src/7970 Author: dwarren Date: 2014-05-06 13:39:08 +0000 (Tue, 06 May 2014) Log Message: ----------- Changed slightly handling of exported predicates when loading a module. The new psc record for an exported predicate has, for a long time, been added to usermod, so that after consulting a module, the user can directly call it from the top-level. But if there previously was a psc record for the same-named predicate already in usermod, it would be lost, and so calls to "that" psc record will not be found. So I changed it so that old usermod psc record now branches to the ep of the newly added psc record so it works as expected. I used the import_as mechanism to get this done. Modified Paths: -------------- trunk/XSB/emu/loader_xsb.c trunk/XSB/emu/psc_xsb.c trunk/XSB/emu/psc_xsb.h |
From: <dw...@us...> - 2014-06-12 15:11:12
|
Revision: 7977 http://sourceforge.net/p/xsb/src/7977 Author: dwarren Date: 2014-06-12 15:11:10 +0000 (Thu, 12 Jun 2014) Log Message: ----------- Added xsb_throw_error to allow more precise error messages than obtained by the very general xsb_abort. Used it in biassert to better categorize assert error messages. Perhaps other uses of xsb_abort might be changed. Modified Paths: -------------- trunk/XSB/emu/biassert.c trunk/XSB/emu/error_xsb.c trunk/XSB/emu/error_xsb.h |
From: <dw...@us...> - 2014-07-01 14:28:49
|
Revision: 7982 http://sourceforge.net/p/xsb/src/7982 Author: dwarren Date: 2014-07-01 14:28:41 +0000 (Tue, 01 Jul 2014) Log Message: ----------- Moved xsb_sprint_variable, since for some reason DllExport didn't seem to work for it on MSVC32 compiler over in builtin.c. Modified Paths: -------------- trunk/XSB/emu/builtin.c trunk/XSB/emu/cinterf.c |
From: <ts...@us...> - 2014-07-03 15:28:27
|
Revision: 7986 http://sourceforge.net/p/xsb/src/7986 Author: tswift Date: 2014-07-03 15:28:23 +0000 (Thu, 03 Jul 2014) Log Message: ----------- Recent changes broke MT compilation, which I fixed. Modified Paths: -------------- trunk/XSB/emu/biassert.c trunk/XSB/emu/error_xsb.c |