|
|
October 10, 2007
- Windows GUI installer customization, Paulo Moura
- Re: Question of dynamic loading and multifile, PhiHo Hoang
- Re: Most essential files in XSB installation for Windows, PhiHo Hoang
- Re: [Flora-users] Benchmarks, Michael Kifer
- Re: Most essential files in XSB installation for Windows, David Warren
- Re: Most essential files in XSB installation for Windows, PhiHo Hoang
- Re: Question of dynamic loading and multifile, David Warren
- Re: [Flora-users] Benchmarks, PhiHo Hoang
- Re: Question of dynamic loading and multifile, PhiHo Hoang
- [ xsb-Bugs-1499212 ] MT engine broken under Cygwin, SourceForge.net
- [ xsb-Bugs-1406073 ] cinterf.h and const correctness, SourceForge.net
October 09, 2007
- Re: Most essential files in XSB installation for Windows, David Warren
- Re: [Flora-users] Benchmarks, Michael Kifer
- Mac file format detected, PhiHo Hoang
- Re: Most essential files in XSB installation for Windows, PhiHo Hoang
- XSB-Interprolog crashing in JNI interface, sudhakar govindavajhala
- Re: Bug in load_dync?, David Warren
- Re: [Flora-users] Benchmarks, David Warren
- Re: Question of dynamic loading and multifile, David Warren
- Re: New MT functionality for XSB, David Warren
- Re: New MT functionality for XSB, Terrance Swift
- Re: Question of dynamic loading and multifile, sudhakar govindavajhala
- Re: New MT functionality for XSB, PhiHo Hoang
- Re: Question of dynamic loading and multifile, PhiHo Hoang
October 03, 2007
- [ xsb-Bugs-1805758 ] when/2 doesn't return the result of executing delayed goal?, SourceForge.net
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), PhiHo Hoang
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), Terrance Swift
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), Tom Schrijvers
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), David Warren
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), Michael Kifer
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), Tom Schrijvers
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), PhiHo Hoang
- Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), Terrance Swift
- CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), David Warren
- Re: Most essential files in XSB installation for Windows, Terrance Swift
- Most essential files in XSB installation for Windows, sudhakar govindavajhala
- CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist), PhiHo Hoang
- Re: [Flora-users] _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist, Terrance Swift
October 01, 2007
- Re: current time in xsb, Michael Kifer
- Re: current time in xsb, Paulo Moura
- current time in xsb, Michael Kifer
- Re: Experimental MacOS X Intel XSB installer, Paulo Moura
- Re: Table doesn't have attribute, David Warren
- Re: Table doesn't have attribute, David Warren
- [ xsb-Bugs-1805758 ] when/2 doesn't return the result of executing delayed goal?, SourceForge.net
- Re: Table doesn't have attribute, Hugues Demers
- Re: Table doesn't have attribute, Hugues Demers
- Re: Table doesn't have attribute, Robert Pokorny
- Re: Table doesn't have attribute, David Warren
- Re: Table doesn't have attribute, Hugues Demers
- Re: Table doesn't have attribute, Hugues Demers
- Re: Table doesn't have attribute, Hugues Demers
September 24, 2007
- Re: Fuzzy Prolog and CHR (RE: xsb manual on the web), PhiHo Hoang
- Fuzzy Prolog and CHR (RE: xsb manual on the web), David Warren
- Fuzzy Prolog and CHR (RE: xsb manual on the web), PhiHo Hoang
- Re: Implementing call_cleanup, Bart Demoen
- Implementing call_cleanup, Terrance Swift
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Terrance Swift
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, David Warren
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, paul-Dc4P2g1i7qEsV2N9l4h3zg
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Paulo Moura
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Bart Demoen
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Paulo Moura
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Bart Demoen
- Re: is this correct, sudhakar govindavajhala
September 23, 2007
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, David Warren
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Bart Demoen
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Bart Demoen
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Roberto Bagnara
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Terrance Swift
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Terrance Swift
- Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB, Roberto Bagnara
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Bart Demoen
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Michael Kifer
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Paul Broome
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Terrance Swift
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Roberto Bagnara
- Re: Arithmetic evaluation bug in the CVS HEAD version of XSB, Paul Broome
- Arithmetic evaluation bug in the CVS HEAD version of XSB, Roberto Bagnara
September 11, 2007
- DeHiLogized binrel, David Warren
- DeHiLogized binrel, PhiHo Hoang
- Re: Closure: reopened., PhiHo Hoang
- Re: Closure: reopened., David Warren
- Re: Closure: reopened., David Warren
- Re: Closure: reopened., PhiHo Hoang
- Re: is this correct, Paulo Moura
- is this correct, sudhakar govindavajhala
- Re: Closure: reopened., PhiHo Hoang
- Closure: reopened., David Warren
- Closure: reopened., PhiHo Hoang
August 29, 2007
- [ xsb-Support Requests-1408853 ] How to return no for not declared predicate, SourceForge.net
- [ xsb-Support Requests-1416231 ] Inspect tables, SourceForge.net
- [ xsb-Support Requests-1439742 ] Configuring XSB with XNMR and XASPPKG, SourceForge.net
- [ xsb-Bugs-1108638 ] Floats default to single precision, SourceForge.net
- [ xsb-Bugs-1108638 ] Floats default to single precision, SourceForge.net
- [ xsb-Bugs-1108638 ] Floats default to single precision, SourceForge.net
- [ xsb-Bugs-1499199 ] MT breakage/C interf, SourceForge.net
- [ xsb-Bugs-1363666 ] Sometimes i had errormessage, sometimes not!?!?!, SourceForge.net
- [ xsb-Bugs-1363666 ] Sometimes i had errormessage, sometimes not!?!?!, SourceForge.net
- [ xsb-Bugs-1363666 ] Sometimes i had errormessage, sometimes not!?!?!, SourceForge.net
- [ xsb-Bugs-1363666 ] Sometimes i had errormessage, sometimes not!?!?!, SourceForge.net
- [ xsb-Bugs-1406071 ] error_xsb.h lacks the extern "C" wrapper, SourceForge.net
- [ xsb-Bugs-1285364 ] Bad float computation on Mandrake Linux, SourceForge.net
- [ xsb-Bugs-1285364 ] Bad float computation on Mandrake Linux, SourceForge.net
- [ xsb-Bugs-1285364 ] Bad float computation on Mandrake Linux, SourceForge.net
- [ xsb-Bugs-1030879 ] Fatal ERROR: -- Trail clobbered Choice Point Stack, SourceForge.net
- [ xsb-Bugs-1030879 ] Fatal ERROR: -- Trail clobbered Choice Point Stack, SourceForge.net
- [ xsb-Bugs-1507622 ] XSB bugs on Mac OS X, SourceForge.net
August 24, 2007
- [ xsb-Bugs-1506690 ] Memory violation when building on linux, SourceForge.net
- [ xsb-Bugs-1490681 ] XSB's C interface is broken under Cygwin, SourceForge.net
- [ xsb-Bugs-1490681 ] XSB's C interface is broken under Cygwin, SourceForge.net
- [ xsb-Bugs-1548708 ] Arithmetic functions on Linux, SourceForge.net
- [ xsb-Bugs-1558149 ] memory bug under linux, SourceForge.net
- [ xsb-Bugs-1558149 ] memory bug under linux, SourceForge.net
- [ xsb-Bugs-1507622 ] XSB bugs on Mac OS X, SourceForge.net
- [ xsb-Bugs-1116682 ] XSB crashes on AMD 64 bit CPU, SourceForge.net
- [ xsb-Bugs-1564260 ] doesn not compile on x86_64-unknown-linux-gnu, SourceForge.net
- [ xsb-Bugs-1633234 ] Memory violation occurred during evaluation., SourceForge.net
- [ xsb-Bugs-1657300 ] Memory violation using tabling, SourceForge.net
- [ xsb-Bugs-1737367 ] dereferencing null ptr in builtin.c, SourceForge.net
- Re: Building script for XSB MacOS X Installer package (progress report), Paulo Moura
- Building script for XSB MacOS X Installer package (progress report), Paulo Moura
May 09, 2007
- Re: A kinder, gentler XSB?, Gonçalo Lopes
- Re: A kinder, gentler XSB?, Terrance Swift
- Re: A kinder, gentler XSB?, Harpreet Singh
- Re: A kinder, gentler XSB?, Michael Kifer
- Re: A kinder, gentler XSB?, Terrance Swift
- Re: A kinder, gentler XSB?, Michael Kifer
- Re: A kinder, gentler XSB?, Terrance Swift
- Re: A kinder, gentler XSB?, Michael Kifer
- A kinder, gentler XSB?, Terrance Swift
March 12, 2007
- Re: problem with xsb on cygwin?, Michael Kifer
- problem with xsb on cygwin?, David Warren
- problem with xsb on cygwin?, Michael Kifer
- latch cogency, Sara O. Ballard
- Re: abolish-all-tables problem, Michael Kifer
- Re: abolish-all-tables problem, David Warren
- Re: abolish-all-tables problem, Michael Kifer
- Re: abolish-all-tables problem, David Warren
- Re: abolish-all-tables problem, Terrance Swift
- Re: abolish-all-tables problem, Michael Kifer
- Re: abolish-all-tables problem, Terrance Swift
February 16, 2007
- Re: [ xsb-Bugs-1657300 ] Memory violation using tabling, Terrance Swift
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Throw failed because no catcher for throw, Nima Kaviani
- Re: some recent change in attributed variables? (which breaks things), David Warren
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: some recent change in attributed variables? (which breaks things), David Warren
- Throw failed because no catcher for throw, Nima Kaviani
- (no subject), Nima Kaviani
- to impresar, Imad Meisner
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
January 26, 2007
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: some recent change in attributed variables? (which breaks things), David Warren
- Re: some recent change in attributed variables? (which breaks things), Terrance Swift
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: some recent change in attributed variables? (which breaks things), David Warren
- Re: some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: some recent change in attributed variables? (which breaks things), Terrance Swift
- Re: XSB (cvs-version) broken C interface?, Michael Kifer
- Re: XSB (cvs-version) broken C interface?, Terrance Swift
- some recent change in attributed variables? (which breaks things), Michael Kifer
- Re: XSB (cvs-version) broken C interface?, Michael Kifer
- XSB (cvs-version) broken C interface?, Martin Lorenz
- Re: RXbyt, Stephanie Roth
|
|