Menu

Src (SVN)-old Commit Log


Commit Date  
[r9378] by tswift

Fixed default_ccall_error_handler to handle errors in non-standard form (e.g., explicit throws).

2018-06-22 21:47:52 Tree
[r9377] by "kifer"

added print_pterm_fun, which is a function that is like print_pterm but returns a string. For use in the Python interface

2018-06-22 18:56:25 Tree
[r9376] by "kifer"

added a path for when I have to create a distribution

2018-06-22 18:55:58 Tree
[r9375] by dwarren

added c2p_varnum to return an integer that identifies a variable; i.e. instances of same variable returns same integer.

2018-06-22 15:34:35 Tree
[r9374] by "kifer"

in consult: one more case of cpu time
updated float tests affected by the change of the procesion to 1.15

2018-06-19 04:38:17 Tree
[r9373] by "kifer"

the main changes are
dynwin32_xsb_i.h: add SetDllDirectory(xsb_bin_dir) so the dlls in
config/.../bin will always be found.
*.in files: on Mac it was producing libxsb.jnilib, but Java now uses .dylib. So, I made it to produce both libxsb.jnilib and ....dylib

2018-06-19 04:10:26 Tree
[r9372] by tswift

Oops -- gotta commit those .xwam files!

2018-06-18 21:14:33 Tree
[r9371] by tswift

Minor changes for error reporting.

2018-06-18 21:13:55 Tree
[r9370] by tswift

Setting default to 1.15g.

2018-06-18 21:12:56 Tree
[r9369] by tswift

Added documentation for current_xsb_param/2 and set_xsb_param/2.

2018-06-18 21:10:54 Tree
Older >