diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6,924 Commits 2 Branches 6 Tags 146 MiB
52fcf2c7ab
Commit Graph

403 Commits

Author SHA1 Message Date
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
db2eefd0c9 added approximated cplint 2010-03-18 16:11:21 +01:00
Vitor Santos Costa
fa517450ee Since YAPBOOTDIR doesn't appear to be 
referenced anywhere I've attached a patch to remove it from configure.in. (Keri Harris).
 2010-03-06 00:25:22 +00:00
Vitor Santos Costa
5ab629e8e0 cut_c is now always installed. 2010-03-05 08:23:24 +00:00
Vitor Santos Costa
43a1a754dd erf function (patch from Bernd Gutmann). 2010-03-05 00:01:04 +00:00
U-Khasa\Vitor
45b2d5468b Fixes for java compilation in mingw 2010-02-10 03:01:30 -06:00
Vítor Manuel de Morais Santos Costa
404331ac0f do not force gcc 2010-01-29 16:11:40 +00:00
Vítor Manuel de Morais Santos Costa
4283f44ebc remove bad opt from dynamic loading in Linux (messup with OSX). 2010-01-26 18:02:30 +00:00
Vitor Santos Costa
cd5a1b24e3 add some more mac stuff 2010-01-25 12:28:16 +00:00
Vítor Manuel de Morais Santos Costa
0343a1da5a fix g++ on win 2010-01-14 15:44:34 +00:00
Vitor Santos Costa
b0df6b25cd support cases where we do not have g++ or we don't want minisat. 2010-01-06 11:24:55 -02:00
Vitor Santos Costa
b88eb78e96 fix bad configuration option. 2009-12-16 18:35:19 -02:00
Vitor Santos Costa
933f96a80d more CXX stuff: will it ever end? 2009-12-10 23:47:34 +00:00
Vítor Manuel de Morais Santos Costa
86715801bf fix missing stripostfix, and add stricmp (although one should use strcasecmp). 2009-11-23 13:41:07 +00:00
Vitor Santos Costa
56d9666197 port of SWI-Prolog's plunit. 2009-11-23 10:55:10 +00:00
Vitor Santos Costa
4b40e80fe5 CXX not CPP, you idiot! 2009-11-18 09:53:38 +00:00
Vitor Santos Costa
167e129222 make configuration changes to better support C++ and deeper included packages. 2009-11-18 09:29:26 +00:00
Vítor Manuel de Morais Santos Costa
a3ac75edcc fix bad usage of configure (obs from Jose Santos). 2009-11-11 12:34:58 +00:00
Vítor Manuel de Morais Santos Costa
4b3411e878 support for minisat interface 
fixes for newer versions of autoconf.
 2009-11-11 10:55:36 +00:00
Vitor Santos Costa
253444d7ca support parms.h 
pass argv[0]
 2009-10-23 09:09:16 +01:00
Vítor Manuel de Morais Santos Costa
7223b0c9a5 check for float.h 2009-10-20 09:11:10 +01:00
Vítor Manuel de Morais Santos Costa
6b5aa1542c pass full cc argument, not just gcc 2009-10-16 08:08:45 +01:00
Costa Vitor
4c9f440b07 simplify YAPOR. 2009-08-19 22:45:11 -05:00
U-Khasa\Vitor
b9e10203bd make YAP dlls always export procedures 2009-07-20 20:54:54 -07:00
Costa Vitor
d0baedbf84 solaris support. 2009-06-16 23:31:45 -05:00
Costa Vitor
4644320d8e fixes to support jpl compilation in Linux AMD64 bit machines. 2009-06-15 17:44:13 -05:00
Costa Vitor
10c7caab2d old machines may not have isinf 2009-06-15 15:00:31 -05:00
Costa Vitor
503c30e947 make sure we have support for feclearexcept 2009-06-15 10:30:12 -05:00
Vitor Santos Costa
0cd72ad258 changes to compile YAP in WIN32 2009-05-29 14:36:49 -05:00
Vitor Santos Costa
9366e160e0 fix SHAREDIR for chr 2009-05-02 14:20:44 -05:00
Vitor Santos Costa
1f7b839e85 support exporting top-level-work as absolute path 2009-05-02 14:11:54 -05:00
Vitor Santos Costa
a8e3af4c33 Jean-Francois Mertens patches for OSX linking and compilation. 2009-05-02 10:35:29 -05:00
Vitor Santos Costa
7d25a1da53 ENABLE_WINCONSOLE badly defined. 2009-04-22 21:35:05 -05:00
Vitor Santos Costa
bb147a3b48 fix depend 2009-04-22 21:30:02 -05:00
Vitor Santos Costa
88289b1fe3 get rid of depend 2009-04-22 21:22:04 -05:00
Vitor Santos Costa
c271850269 configure support for new depend files. 2009-04-22 17:51:56 -05:00
Vitor Santos Costa
f44a649849 oops, cygwin should have been mingw :) 2009-04-22 11:32:56 -05:00
Vitor Santos Costa
2447701fe3 PLStream needs getpagesize 2009-04-21 08:28:10 -05:00
Vitor Santos Costa
698498a12f better support for WIN32 2009-04-20 16:21:28 -05:00
Vitor Santos Costa
9dc946a069 avoid multiple calls to AC_OUTPUT() 
improve Java compilation on MacOS64
 2009-04-18 17:53:36 -05:00
Vitor Santos Costa
fb262f2bcd fix configuration for mac 64bits. 2009-04-18 15:20:19 -05:00
Vitor Santos Costa
b55572baa8 try to have less verbose makes 2009-03-24 01:03:50 +00:00
Vitor Santos Costa
d18c0ceeb7 be more precise about checking if clpqr and friends are really there. 2009-03-23 15:27:59 +00:00
Vitor Santos Costa
19d6135c83 more fixes 2009-03-23 12:40:34 +00:00
Vitor Santos Costa
981dc3d5d7 support new version of jpl 
make system more robust to missing packages
 2009-03-23 12:23:00 +00:00
Vitor Santos Costa
c49661f88c support for SGML package, for the faint of heart! 2009-03-13 19:40:56 +00:00
Vitor Santos Costa
503d97af90 make top-level error handling a bit more compatible with SWI. 2009-03-10 18:07:50 +00:00
Vítor Santos Costa
eb5fc96ca6 simplecudd should not be a default. 2009-03-10 14:19:10 +00:00
Vitor Santos Costa
e7634b216e fix configure.in not to ask for ProbLog path file. 2009-03-10 09:41:22 +00:00
Vitor Santos Costa
014d6fdacb configure support for ProbLog 2009-03-09 00:43:18 +00:00
Vitor Santos Costa
419e0e369f fix packages 2009-02-16 17:22:57 +00:00
Vitor Santos Costa
e9e01815af more packages stuff 2009-02-16 17:19:43 +00:00
Vitor Santos Costa
8a3978e3e1 rename BinaryTestPredFlag to BinaryPredFlag 
get rid of small annoying arithmetic bugs
 2009-02-09 21:56:40 +00:00
Vítor Santos Costa
8efcdf7eaa add support for creating a list of codes or atoms incrementally. 2008-12-22 13:49:44 +00:00
Vítor Santos Costa
43e70f2003 more changes to support SWI Input/Output. Now it compiles, which does 
not mean it would work!
 2008-12-22 12:03:14 +00:00
Vítor Santos Costa
7eeaf24db2 fix SHAREDIR in chr 2008-10-20 18:00:47 +01:00
Vítor Santos de Costa
bb27cf9b66 fix chr loader for Linux/Unix 2008-10-08 13:29:28 +01:00
Vítor Santos de Costa
a116b546f3 fix dynamic_loading_problem 
pass dynamic loader straight to ./yap when booting the first time
simplify prefix for chr
make cross-compiler use this.
 2008-10-08 13:15:53 +01:00
Vítor Santos Costa
fdf762e326 push changes to make tabling work: don't ignore tabling and yapor fields 
in optype.
 2008-09-05 05:22:19 +01:00
Vitor Santos Costa
42bed282b4 Updated to Working CHR 2008-08-26 00:18:06 +01:00
vsc
82efc8fb2c small fixes to compile in Windows again. 
Trust _isatty


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2311 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-08-22 01:59:48 +00:00
vsc
d035b22f2c continue fixing 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2308 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-08-13 10:29:48 +00:00
vsc
af01eeee07 patch previous patch for Linux (Keri Harris) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2307 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-08-13 10:26:55 +00:00
vsc
8350d52c78 DESTDIR fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2305 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-08-12 22:04:51 +00:00
rzf
a500ac9f97 support for glib-2.0 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2283 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-06-19 21:09:56 +00:00
vsc
0c006711ba fix cygiwn version 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-23 22:29:52 +00:00
vsc
70b3438293 separate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura) 
MAX_AGENTS can be used in all cases


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2189 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-02 15:41:50 +00:00
vsc
0dd21aab71 put YAPOR back to life. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2187 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-01 22:28:41 +00:00
vsc
c23cce1cc1 fix restore and small VISTA thingies 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-01 08:42:46 +00:00
vsc
24b91ce2e1 rl_tree library 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2171 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-27 14:59:29 +00:00
vsc
1c6b91cb72 improve WIN32 support and installation 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-27 00:41:33 +00:00
vsc
0e45f242d4 update to CLP(QR). Note that CLP(Q) is still unsupported. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-13 17:16:47 +00:00
vsc
af0fb4f4d9 SWI-portability changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-02-12 17:03:59 +00:00
vsc
4ae454aac6 Will Benton's patches for Mac 64 bits. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2062 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-01-25 00:21:28 +00:00
vsc
76bf9355a4 add SWI's char and code_type/2. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2049 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-29 12:26:41 +00:00
rzf
b8f97132d2 fixed typo in configure.in 
cleaned up code in lpad.pl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2043 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-11 11:49:36 +00:00
rzf
1d8e42eff0 now cplint compiles also under Mac OS 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2041 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-12-09 22:46:38 +00:00
vsc
3beda27d14 fixes to support threads and assert correctly, even if inefficiently. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-26 23:43:10 +00:00
rzf
f0e5441dc2 corrected option formatting 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1985 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-08 13:26:13 +00:00
rzf
9174f32eb5 added support for the compilation of cplint with the option --enable-cplint[=DIR] 
where DIR is the optional directory prefix where glu was installed


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1978 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-07 13:02:37 +00:00
vsc
8182645ab9 fix broken configuration hack for LAM MPI. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1947 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-10-09 10:50:51 +00:00
vsc
d4f01ee67b minor fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1946 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-10-08 23:02:16 +00:00
vsc
31ff28d3ee upgrade JPL 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-09-27 15:25:34 +00:00
tiagosoares
b1d0de4266 MYDDAS: Added option to enable different compilation directories for mysql devel libraries 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1892 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-06-04 00:56:47 +00:00
vsc
244d4128cf matlab interface. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1887 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-05-24 15:11:46 +00:00
vsc
5affad32b6 use setitmer instead of alarm. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1886 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-05-20 23:00:38 +00:00
ricroc
e9c848ea41 tries library module 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1876 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-05-02 15:23:00 +00:00
vsc
a5b0925e08 fix condor compilation to include library objkects 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1846 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-03-14 13:01:29 +00:00
vsc
7239e45ec3 allow the user to configure a maximum number of threads. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1792 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-01-29 10:18:15 +00:00
vsc
8d3a6c5b20 make java compilation see libraries 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1784 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-01-24 17:28:28 +00:00
vsc
48fdba3f1e fix matrix mess 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1778 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-01-24 10:01:40 +00:00
stasinos
4ae81b0fee Fix mismatch between Makefile.in, configure.in and directory name wrt 
the matrices library.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1775 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-01-13 06:10:26 +00:00
vsc
c79a7a5bdb allow coroutining plus tabling, this means fixing some trouble with the 
gc and a bug in global variable handling.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1745 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-29 01:57:50 +00:00
vsc
90c1641841 several debugger and CLP(BN) improvements. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-12-13 16:10:26 +00:00
vsc
13080439a6 small fixes on threaded implementation. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1700 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-10-10 14:08:17 +00:00
vsc
23757e5563 fix bropken MPI_LAM configure 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1695 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-09-28 11:42:51 +00:00
vsc
cd5bc14cfc win32 fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-08-30 01:06:30 +00:00
vsc
d11fd73306 global variables 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1685 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-08-22 16:12:46 +00:00
nunofonseca
61f4dfbf4c lammpi: configuration fixes. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1670 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-06-06 14:58:42 +00:00
nunofonseca
87bac7cafa New LAM MPI module. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1665 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-06-04 18:43:38 +00:00
vsc
f5b9000018 include thread_sleep functionality. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1653 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-25 16:28:28 +00:00
vsc
b172a9e75d fixes to Makefile and manual. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1641 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-19 17:49:25 +00:00
vsc
871bb9e024 help to make Yap work with dynamic libs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1638 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-19 13:48:11 +00:00
vsc
ee78d90bb9 fix info reported by memory manager under DL_MALLOC and SYSTEM_MALLOC 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1635 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-18 16:33:05 +00:00
vsc
98de08022b WIN32 fixes 
compiler bug fixes
extend interface


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-16 18:37:31 +00:00
tiagosoares
89d8c4d035 MYDDAS: Add dependencies to MYDDAS compilation flags 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1630 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-04 18:16:08 +00:00
vsc
1edb3a8115 fix indexing and tabling bugs 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1567 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-20 19:51:44 +00:00
tiagosoares
8b29afcb67 MYDDAS: changed --with-myddas to --enable-myddas 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1560 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-07 17:27:51 +00:00
rslopes
6a222d7b53 Myddas disable by default... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1559 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-07 11:06:40 +00:00
tiagosoares
ae98f71fd9 Support for the MYDDAS on configure.in 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1557 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-06 13:25:11 +00:00
tiagosoares
2a16c4df67 Support for the cut-c feature on configure.in 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1554 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-03-03 14:33:01 +00:00
vsc
7fa3e86284 avoid compilation issues with lack of gmp (Remko Troncon) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1528 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-01-26 19:13:24 +00:00
vsc
60d79804fe major changes to support online event-based profiling 
improve error discovery and restart on scanner.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1477 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-17 03:25:39 +00:00
vsc
5c2e06ad50 write_depth/3 
overflow handlings and garbage collection
Several ipdates to CLPBN
dif/2 could be broken in the presence of attributed variables.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1474 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-05 17:16:12 +00:00
vsc
50600e06d7 don't install CLP unless coroutining && rational trees are 
active


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1432 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-31 12:44:29 +00:00
vsc
b8d0396939 more small fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1431 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-31 12:27:54 +00:00
vsc
640bbe7431 fix default opyions for Makefile so that both coroutining and rational trees are 
enabled.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1429 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-30 00:32:55 +00:00
vsc
7115515f1f make max-memory standard and disable installing new CHR for now. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1428 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-29 11:22:43 +00:00
vsc
1fa46c6051 sveral updates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-28 17:38:50 +00:00
rslopes
ed92d70e68 BEAM for YAP update... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-09-08 21:59:58 +00:00
rslopes
06c60f4041 added check for gcc version since -fno-gcse -fno-crossjumping 
is not supported in older versions...


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1379 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-08-23 18:09:57 +00:00
vsc
5870526dd8 fix condor version 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1367 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-08-18 19:25:40 +00:00
vsc
ab97812ec7 first steps to allow mavars with tabling 
fix trailing for tabling with multiple get_cons


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1356 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-08-05 14:55:03 +00:00
vsc
0593e9a686 update configuration script to avoid incompatible options` 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1330 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-06-06 05:02:08 +00:00
rslopes
1e93141fae coroutining and depth-limit enabled by default 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1292 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-26 17:26:55 +00:00
vsc
7e06e3fa36 fix error handling 
configure should not allow max-memory and use-malloc at same time
some extensions for jpl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1289 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-25 18:18:02 +00:00
vsc
eb8721e6be improve ld support in dynamic library version. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1274 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-04-15 15:20:52 +00:00
vsc
056ccbc819 bug fixes, I hope! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1270 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-04-10 04:01:15 +00:00
ricroc
de17f5cca4 Adding tabling support for mixed strategy evaluation (batched and local scheduling) 
UPDATE: compilation flags -DTABLING_BATCHED_SCHEDULING and -DTABLING_LOCAL_SCHEDULING removed. To support tabling use -DTABLING in the Makefile or --enable-tabling in configure.
  NEW: yap_flag(tabling_mode,MODE) changes the tabling execution mode of all tabled predicates to MODE (batched, local or default).
  NEW: tabling_mode(PRED,MODE) changes the default tabling execution mode of predicate PRED to MODE (batched or local).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-04-07 17:56:58 +00:00
vsc
59561e2688 fix excessive pruning in meta-calls 
fix Term->int breakage in compiler
improve JPL (at least it does something now for amd64).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1264 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-03-13 06:26:13 +00:00
vsc
5493bd29f9 fix nth_instance 
fix Makefile.in for multi-threading


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1262 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-03-09 06:35:52 +00:00
vsc
5792a4f18e First cut at lgamma support 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1228 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-01-05 17:32:03 +00:00
vsc
2dfdca263d Use Doug Lea's malloc as an alternative to YAP's standard malloc 
don't use TR directly in scanner/parser, this avoids trouble with ^C while
consulting large files.
pass gcc -mno-cygwin to library compilation in cygwin environment (cygwin should
compile out of the box now).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-28 20:12:23 +00:00
vsc
7efbf340a5 fix compilation problems in garbage collector 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-06 19:40:22 +00:00
vsc
9e0151070f updates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-07 16:29:16 +00:00
vsc
3e0a3fa9f3 fix heap overflow in YAP_LookupAtom 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1098 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-23 03:37:17 +00:00
vsc
f1063a27b2 fixes for stack overflow 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@982 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-12 17:09:17 +00:00
vsc
ba9876268f threads, clean signals, and much more... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-23 02:23:51 +00:00
rslopes
c019bb6499 *** empty log message *** 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@847 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-07-21 19:13:30 +00:00
vsc
0afb07931f patches to Ricardo Lopes' low level profiler: enable if SIGPROF is 
there, do sorting, init PROFPREDS when you start counters, keep time
stamps for eventual assert/retract, and use qsort (3) to do less work.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@829 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-20 19:11:59 +00:00
vsc
4bc32d9a1b minor changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@730 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-13 22:09:54 +00:00
vsc
6014cd75ca initial support for vc++ 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@723 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-12-10 19:09:50 +00:00
vsc
f339741dd2 use install_win in all windows versions. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@696 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 14:36:19 +00:00
vsc
4a5d2809ab all windows should use install win 
cygwin only needs -lcygwin


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@695 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-20 05:29:43 +00:00
vsc
304fad4247 commit configure 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@686 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-13 15:29:44 +00:00
vsc
0b562d3e2d updates to configure 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@681 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-11-12 04:36:59 +00:00
vsc
95e6dea185 respect prefix option in WIN32 
check for rint in configure and use
a simple hack to replace it if needed.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@650 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-23 17:10:33 +00:00
vsc
0351b9f0ab make --enable-threads work on CVS release. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@645 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-21 22:14:29 +00:00
vsc
f7f3da7704 MacOSX dl patches by ROberto Chinnini 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@644 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-20 18:43:11 +00:00
vsc
523fae9544 stack overflow patches: 
process overflows as high-level as possible;
   introduce overflow related errors
   ExpandWorkSpace should never call Error: use ErrorMessage instead,
   format_putc should never release memory, causes memory corruption,
   Linux does not like MAP_FIXED, it can overwrite the actual program
code.
   condor: twick configure to disable readline with condor.
----------------------------------------------------------------------


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-10 05:58:49 +00:00
stasinos
1244a10a09 circumvent problem with realloc and MPI in HPUX 10.20 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@618 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-10-03 17:27:52 +00:00
vsc
4f33235c7f tiny fix 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@609 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-25 04:31:13 +00:00
vsc
fc3beab705 include support for April ILP system. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@608 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-25 04:29:01 +00:00
vsc
cef69069de fix configure file 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@607 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 20:06:22 +00:00
vsc
d1c4016480 support dyld interface on Next and OSX machines. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@605 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 15:38:17 +00:00
vsc
11622fb798 experiments for dyld support. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@603 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-24 14:18:56 +00:00
vsc
f0ce954741 fixes to c-interface 
fixes for compilation with native mingw32
documentation fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@591 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-09-16 23:01:59 +00:00
vsc
b575ec7202 fixes to support condor better 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@575 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-18 23:18:18 +00:00
pmoura
1b13865b4f Updated configure.in for smooth YAP compilation on MacOS X 10.2. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@566 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-09 13:08:55 +00:00
vsc
e5d7edf852 fix truncate 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@565 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-08-07 21:55:27 +00:00
vsc
ca59b7ad1a fix stasino's patch 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@551 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-25 16:13:56 +00:00
stasinos
79372c4167 HP-UX 10.20 to 11.0: strerr_r() obsolete, FPU exception handling interface changed. Also use X/Open networking lib when available. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@530 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-13 18:24:04 +00:00
vsc
a254dad245 fixes and extensions to file_property 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@524 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-11 05:30:05 +00:00
vsc
c80ac669de fix configure for WIN32 platform 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@506 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-06-01 04:01:38 +00:00
vsc
577298ac0b fix __SVR4 
fix darwin cpp


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@504 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-28 17:28:25 +00:00
vsc
85f1080071 check for SA_SIGINFO 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@497 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-28 16:23:53 +00:00
vsc
41011ddb56 forgot committing arrays.c 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@483 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-23 12:44:18 +00:00
vsc
9674c91da6 allow using malloc for memory allocation 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@477 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-19 19:04:33 +00:00
vsc
757f5147c9 support dynamic loading 
fix save to leave module user in boot.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@468 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-05-14 18:21:33 +00:00
vsc
39d89a2d91 first changes towards dynamic loading in Darwin 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@450 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-04-23 14:37:56 +00:00
vsc
de244d1d01 check if these files are up-to-date 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@420 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-17 06:11:29 +00:00
vsc
48d0be8f4b changes to configure.in 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@407 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-12 04:08:52 +00:00
stasinos
672e6bc2c1 hopefully fix nikos' complaint 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@402 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-07 11:00:57 +00:00
vsc
798bdbdf39 be more careful about error handling when storing DB terms 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-07 05:13:21 +00:00
stasinos
a97390c1c3 fix compiling with MPI, but without MPE 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@397 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-03-04 10:02:03 +00:00
stasinos
fc7943925d typos 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@394 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-28 18:58:30 +00:00
stasinos
54b919fe5a do not fail when no MPI library is found 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@381 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-26 18:58:35 +00:00
stasinos
9d44227bd6 MPE made more usuable. Link with any MPI lib, not just MPICH. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@372 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-26 15:33:16 +00:00
stasinos
dcbba128ff a first take at an MPE interface 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@371 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-22 14:31:45 +00:00
stasinos
8f4c6583d2 Usr{Heap,Stack,Trail}Space were not necessary 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@356 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-12 12:22:31 +00:00
stasinos
5b10a066dc a first take at an interface to an MPI lib 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-11 20:46:41 +00:00
vsc
0dbc5373b4 atom_oncat was not allocating memory right 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@353 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-02-11 20:22:15 +00:00
vsc
a60e61f507 fix -f 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@334 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-28 15:30:26 +00:00
vsc
ed4afb5ca2 avoid heap overflows in cross-compiler before startup 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@321 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-23 02:44:55 +00:00
vsc
a203cec0f5 make consult meta-predicates 
configuration changes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@301 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-16 20:18:28 +00:00
stasinos
02b0f3be03 make the default stack, heap and trail sizes configurable, and have the default show at the -? message 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@296 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2002-01-15 17:55:50 +00:00
stasinos
c8c7e97cf1 make gmp optional 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@205 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-26 19:55:44 +00:00
stasinos
ed9abae0a3 make readline optional 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@204 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-26 19:52:44 +00:00
vsc
5682ce7622 fix user c predicates 
fix Makefiles to handle case where so is o.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@183 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-11-18 21:00:57 +00:00
vsc
af370a73e3 fixes to allow more memory: disable gc after crashing with MBIT, start 
from 0x09 instead of 0x10.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@163 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-24 14:06:06 +00:00
stasinos
87b1ee8641 HPUX: the -E option is only applicable to ld -b 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@150 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-06 15:40:33 +00:00
stasinos
d071cebad4 C_PARSER_FLAGS=CFLAGS on non-cygnus platforms 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@146 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-09-03 17:30:53 +00:00
vsc
a09e21bf68 do not use use -fomit-frame-pointer in parser.c/cygnus 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@139 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-10 23:07:00 +00:00
stasinos
e1e54337b3 add test for defective fflush(NULL) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@122 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-11 07:10:17 +00:00
vsc
27526bcb0d improve support for cross-compilation with simplesimscalar 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@117 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-05 16:14:15 +00:00
vsc
b4a30d2cd4 extra improvements in configure scripts 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@98 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 19:44:26 +00:00
vsc
f22f7434c7 fixes to?\012handle interrupts ^C in Windows. 
Improvements to configure scripts for WIN32 configurations.
--with-readline= option for configure


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@96 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 17:53:36 +00:00
vsc
90c92979c6 change library(random) to use O'Keefe code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@80 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-11 20:20:36 +00:00
vsc
55aa368d05 support for configure 2.5 
recover memory in catch/throw.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@75 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-11 15:12:07 +00:00
vsc
38247e38fc cleanup of CLPQR and CHR; 
simplification of module handling;
new timestamp implementation


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-06 19:10:51 +00:00
vsc
82438c1d6f fixes in modules 
system support for WIN32 (first try).
small fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@45 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-28 19:54:53 +00:00
vsc
8dcee4415b library(system) plus several new support builtins 
much improved garbage collector
improvements to compiler
yaptab compiles again


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@34 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-05-21 20:00:05 +00:00
vsc
1a8009654f fixes for modules, buffering, YP_*, live vars for gc, and nth(0). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@20 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-27 16:02:43 +00:00
vsc
e5f4633c39 This commit was generated by cvs2svn to compensate for changes in r4, 
which included commits to RCS files with non-trunk default branches.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-04-09 19:54:03 +00:00