Share

XSB

Code

Programming Languages: C, Prolog

License: GNU Library or Lesser General Public License (LGPL)

Repositories

browse code, statistics, last commit on 2009-12-27 cvs -d:pserver:anonymous@xsb.cvs.sourceforge.net:/cvsroot/xsb login

cvs -z3 -d:pserver:anonymous@xsb.cvs.sourceforge.net:/cvsroot/xsb co -P modulename

Show:

What's happening?

  • XSB

    tswift committed patchset 5682 of module XSB to the XSB CVS repository, changing 1 files.

    2009-12-27 23:32:59 UTC by tswift

  • XSB

    tswift committed patchset 5681 of module XSB to the XSB CVS repository, changing 1 files.

    2009-12-27 23:28:31 UTC by tswift

  • XSB

    tswift committed patchset 444 of module xsbtests to the XSB CVS repository, changing 4 files.

    2009-12-27 23:26:08 UTC by tswift

  • negative reals crash term_to_atom/2,3

    xsb [xsb_configuration loaded] [sysinitrc loaded] XSB Version 3.2 (Kopi Lewak) of March 15, 2009 [i386-apple-darwin9.8.0; mode: optimal; engine: slg-wam; scheduling: local; word size: 32] | ?- compile(string). [Compiling /Library/XSB-3.2/syslib/string] % Specialising partially instantiated calls to is_numeric_list/1 % Specialising partially instantiated calls to place_decimal/4...

    2009-12-21 17:19:57 UTC by nobody

  • XSB

    kifer committed patchset 5680 of module XSB to the XSB CVS repository, changing 1 files.

    2009-12-10 22:32:48 UTC by kifer

  • XSB

    kifer committed patchset 5679 of module XSB to the XSB CVS repository, changing 2 files.

    2009-12-10 21:10:08 UTC by kifer

  • XSB

    dwarren committed patchset 5678 of module XSB to the XSB CVS repository, changing 2 files.

    2009-12-03 20:36:26 UTC by dwarren

  • XSB

    dwarren committed patchset 5677 of module XSB to the XSB CVS repository, changing 2 files.

    2009-12-01 20:59:58 UTC by dwarren

  • XSB

    dwarren committed patchset 443 of module xsbtests to the XSB CVS repository, changing 2 files.

    2009-12-01 20:55:19 UTC by dwarren

  • XSB

    dwarren committed patchset 5676 of module XSB to the XSB CVS repository, changing 4 files.

    2009-11-30 19:22:11 UTC by dwarren