XSB debianized packages

lp:xsb

Created by VCS imports on 2005-12-31 and last modified on 2013-05-21

This import branch has no branches proposed for merge into it.

No branches dependent on this one.

Import Status: Failed

This branch is an import of the CVS module XSB from :pserver:anonymous@xsb.cvs.sourceforge.net:/cvsroot/xsb.

The import has been suspended because it failed 5 or more times in succession.

Last successful import was on 2014-10-26.

Import started on 2014-11-03 on russkaya and finished on 2014-11-03 taking 1 minute — see the log

Import started on 2014-10-30 on pear and finished on 2014-10-30 taking 2 minutes — see the log

Import started on 2014-10-28 on pear and finished on 2014-10-28 taking 20 seconds — see the log

Import started on 2014-10-27 on russkaya and finished on 2014-10-27 taking 1 minute — see the log

6804. By dwarren on 2013-05-21: Removed the (?) after usermod in predicate not found msg. Is more confusing
than helpful.
Imported (';')/2 into increval.P. It is used in a setof, so seemingly must
be imported. Seems to have worked before, but I'm not sure why. Explicitly
importing it seems to fix it.
6803. By dwarren on 2013-05-15: Even on 64 bit windows, ODBC returns a 32 bit integer for SLONG.
So this fixes that.
6802. By dwarren on 2013-05-14: Added once/1 for call to po test predicate, in case it might return
success multiple times (which causes a segfault.)
6801. By dwarren on 2013-05-06: MANY Changes to implement hash-consing (or interning of ground structures).
Obviously, many major changes.
A couple of other bugs fixed (in particular 64-bit hashing issue.)
6800. By tswift on 2013-05-02: Update for 3.4.
6799. By tswift on 2013-05-02: Updating windows make files.
6798. By tswift on 2013-05-02: Recapitalized soy milk
6797. By tswift on 2013-05-02: Changing to 3.4.
6796. By pmoura on 2013-05-02: Updated release number to 3.4 and fixes a few spelling typos in the documentation.
6795. By dwarren on 2013-05-02: Commented out unused declaration (to quiet compiler)

This branch contains Public information

Everyone can see this information.

No subscribers.