Vítor Santos Costa
|
980f6db84d
|
SWI's clib package
|
2010-06-17 00:41:11 +01:00 |
|
Vítor Santos Costa
|
6ddfecc861
|
use SO to make YAP makefiles closer to SWI's
|
2010-06-14 10:36:13 +01:00 |
|
Vítor Santos Costa
|
b0096fc2f5
|
DLL cleanup (yet again)
|
2010-06-14 09:28:20 +01:00 |
|
U-pekheno\Vitor
|
4ac1ad34f6
|
fix messed up Makefile conventions
|
2010-06-04 22:59:31 +01:00 |
|
Vítor Santos Costa
|
7e1692bdb0
|
fix mess with LIBDIR and YAPLIBDIR
use -Wl,-WR in a more consistent way in Linux
use --with-java instead of --with-jpl
|
2010-06-01 00:38:42 +01:00 |
|
Vitor Santos Costa
|
a4344f5bf6
|
move to 6.0.6
|
2010-05-11 22:22:13 +01:00 |
|
U-vsc-win7\vsc
|
85e401bc30
|
fix make install in win32
|
2010-05-08 12:58:00 +01:00 |
|
Vitor Santos Costa
|
31554991c8
|
better emulation of SWI atom_t and functor_t.
|
2010-05-03 14:26:56 +01:00 |
|
Vítor Santos Costa II
|
23d01fc7a6
|
version 6.0.5
|
2010-05-01 12:20:28 +01:00 |
|
Vítor Santos Costa II
|
b0f20ea8c5
|
ifurther support for dialect.yap
|
2010-04-20 23:19:51 +01:00 |
|
Ricardo Rocha
|
c221c2ff85
|
renaming some OPTYap files in order to have a more consistent name organization
|
2010-04-19 02:34:08 +01:00 |
|
Vítor Santos Costa II
|
f753284785
|
fix JPL setup. Also, JPL requires paths for installed yap. so should
only be compiled after installing libs: do make at install time.
|
2010-04-13 00:24:40 +01:00 |
|
Vitor Santos Costa
|
8e72f97651
|
fix version info to be more like SWI/SICStus.
|
2010-04-06 00:57:40 +01:00 |
|
Vitor Santos Costa
|
5a8fcfb641
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-03-22 00:10:22 +00:00 |
|
Vitor Santos Costa
|
d5e1ff38f4
|
new interface to access globals. They are not in a file called GLOBALS, from which
we generate several files automatically.
|
2010-03-21 22:12:42 +00:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
db2eefd0c9
|
added approximated cplint
|
2010-03-18 16:11:21 +01:00 |
|
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
601bc81464
|
fixed cplint new dir
|
2010-03-18 15:16:28 +01:00 |
|
Vitor Santos Costa
|
1245c85ba1
|
move to version 6.0.4
|
2010-03-16 01:16:36 +00:00 |
|
Vitor Santos Costa
|
c4b39d3ab9
|
update Prolog code: do a cleanup and make delays use SWI interface.
|
2010-03-12 14:26:35 +00:00 |
|
Vitor Santos Costa
|
5e26f604c6
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00:00 |
|
Vitor Santos Costa
|
2685a8449d
|
installation patches from Keri Harris
|
2010-03-05 08:15:02 +00:00 |
|
Vitor Santos Costa
|
50b692d2c1
|
change release to 6.0.3
|
2010-03-04 09:13:06 +00:00 |
|
Vitor Santos Costa
|
145e66063b
|
inc version to 6.0.2
|
2010-03-01 23:06:25 +00:00 |
|
Vitor Santos Costa
|
a5e8dbc096
|
split directives into two files.
|
2010-02-28 01:11:05 +00:00 |
|
Vitor Santos Costa
|
b93970fe67
|
6.0.1
|
2010-02-27 10:11:03 +00:00 |
|
Vitor Santos Costa
|
7c4c852c82
|
make parallel compilation possible.
|
2010-02-26 00:02:34 +00:00 |
|
U-Khasa\Vitor
|
585ff18783
|
WINDOWS release support
|
2010-02-22 19:06:35 -06:00 |
|
Vítor Manuel de Morais Santos Costa
|
af32dc1a9c
|
make cut_c default.
|
2010-01-15 15:09:18 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
ffdf270a3d
|
make SWI-Prolog get YAP stuff from include/Yap at run-time.
|
2010-01-15 14:39:03 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
5ef31fbfd2
|
experiment in or-parallel threads.
|
2010-01-14 15:58:19 +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
|
a792174a0e
|
add dependency on yap2swi.c
|
2010-01-04 21:16:27 -02:00 |
|
Vitor Santos Costa
|
56d9666197
|
port of SWI-Prolog's plunit.
|
2009-11-23 10:55:10 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
7058b6b35f
|
minisat swi interface package.
|
2009-11-11 10:56:37 +00:00 |
|
Vitor Santos Costa
|
6870ba039d
|
awk systime() is not standard; hope to have better luck with date +%s
|
2009-11-04 09:04:13 +00:00 |
|
Vitor Santos Costa
|
0ea348c26d
|
extend SWI interface with PL_toplevel and to handle C++ code.
prolog/0 built-in
fixes to parms.h changes.
|
2009-10-23 16:50:43 +01:00 |
|
Vitor Santos Costa
|
0179998d60
|
change Heap.h to YapHeap.h
rename $live to prolog/0 (for SWI compatibility).
|
2009-10-23 14:22:17 +01:00 |
|
Vitor Santos Costa
|
253444d7ca
|
support parms.h
pass argv[0]
|
2009-10-23 09:09:16 +01:00 |
|
Vitor Santos Costa
|
8bde2a0d72
|
support control.yap
|
2009-08-20 10:39:25 -05:00 |
|
Costa Vitor
|
4644320d8e
|
fixes to support jpl compilation in Linux AMD64 bit machines.
|
2009-06-15 17:44:13 -05:00 |
|
Vitor Santos Costa
|
0cd72ad258
|
changes to compile YAP in WIN32
|
2009-05-29 14:36:49 -05:00 |
|
Vitor Santos Costa
|
8385f4bea6
|
saved state should be startup.yss, not startup.yss, in case YAP looks up
saved state in current directory (obs from Ulrich Neumerkel).
|
2009-05-02 14:06:24 -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
|
bcfa642520
|
fix info install (from Jean-François Maertens)
|
2009-04-28 15:02:37 -05:00 |
|
Vitor Santos Costa
|
88289b1fe3
|
get rid of depend
|
2009-04-22 21:22:04 -05:00 |
|
Vitor Santos Costa
|
7d0341bec9
|
fix Makefile to use new style depend
|
2009-04-22 17:56:48 -05:00 |
|
Vitor Santos Costa
|
fb262f2bcd
|
fix configuration for mac 64bits.
|
2009-04-18 15:20:19 -05:00 |
|
Vitor Santos Costa
|
9ef1b5cb4f
|
shift vesion number.
|
2009-04-08 00:49:54 +01:00 |
|
Vitor Santos Costa
|
ee26527482
|
fix chr reference.
|
2009-03-23 15:10:09 +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 |
|
Vitor Santos Costa
|
0aadc24d20
|
config support for Makefile.
|
2009-03-09 00:43:45 +00:00 |
|
Vitor Santos Costa
|
94ebb90719
|
UDI patch: make it work with YAP.
|
2009-02-20 11:42:48 +00:00 |
|
Vitor Santos Costa
|
e9e01815af
|
more packages stuff
|
2009-02-16 17:19:43 +00:00 |
|
Vitor Santos Costa
|
0f58cf8029
|
small fixes
|
2009-02-16 12:53:29 +00:00 |
|
Vitor Santos Costa
|
107af59dd8
|
BEAM is not quite a package
|
2009-02-16 12:33:37 +00:00 |
|
Vitor Santos Costa
|
a000af113b
|
OSX portability updates
start of support for commons prolog initiative
|
2009-02-16 12:25:03 +00:00 |
|
Vítor Santos Costa
|
8a6e0acedc
|
compiler support for udi including user_index instruction
|
2009-02-12 21:35:31 +00:00 |
|
Vítor Santos Costa
|
4b826e76ae
|
support for user defined indexing: step 1 basic routines.
|
2009-02-12 16:39:20 +00:00 |
|
Vitor Santos Costa
|
1191b039d5
|
include support for dynamically created clause lists.
|
2009-02-11 15:10:57 +00:00 |
|
Vítor Santos Costa
|
a8ac9bfb43
|
generate known atoms and functors automatically
|
2008-12-23 01:53:52 +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
|
8bcafd417a
|
include new arithmetic optimiser.
|
2008-12-04 23:37:25 +00:00 |
|
Vítor Santos Costa
|
13dd600f88
|
add type to BIG NUMs, so that we can easily know what it is all about.
|
2008-11-28 15:54:46 +00: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 |
|
Vitor Santos Costa
|
461d24360a
|
support for install_docs
|
2008-08-22 03:53:45 +01:00 |
|
vsc
|
0dd1ed933e
|
improve graphs a bit.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2285 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-06-26 13:09:15 +00:00 |
|
vsc
|
82d9ed1521
|
upgrade to 5.1.4
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2282 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-06-18 10:02:27 +00:00 |
|
vsc
|
175a0ba6dd
|
make sure we do trim_trail whenever we mess with B!
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2258 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-06-04 14:47:18 +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 |
|
pmoura
|
80689e734d
|
Corrected typo that prevented "make" and "make install".
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2183 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-04-01 11:59:33 +00:00 |
|
vsc
|
5b6e8e742b
|
more fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2176 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-31 22:56:22 +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 |
|
davidvaz
|
e59b7fb409
|
Added wkb support to MYDDAS
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2144 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-13 17:13:34 +00:00 |
|
vsc
|
d02bc3de81
|
update chr
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-03-13 14:38:02 +00:00 |
|
vsc
|
f15c466da1
|
fix Makefile.in (obs from Bernd).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2108 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-22 16:00:57 +00:00 |
|
vsc
|
17d16e0b14
|
Big update to support more SICStus/SWI like message handling
fix YAPSHAREDIR
fix yap.tex (Bernd)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-02-22 15:08:37 +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
|
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 |
|
pmoura
|
f1c35f6f90
|
The bump to version number 5.1.3 seems to have missed these two files.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1991 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-11-13 01:52:14 +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
|
1f1edadc05
|
fix Makefile.in without yap2swi.so
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1924 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-13 16:31:32 +00:00 |
|
vsc
|
c64baeb728
|
move yap2swi.o to main.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1923 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-12 10:13:38 +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 |
|
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
|
67738fbbd1
|
fix max modules limitation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1865 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-04-10 22:13:21 +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
|
355f491539
|
die matrices, die.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1780 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 10:08:19 +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
|
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
|
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 |
|
vsc
|
d585494e3b
|
fix \
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1679 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-08-02 19:30:01 +00:00 |
|
vsc
|
d8d4d1516d
|
preliminary support for readutil library (SWI compatible).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1678 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-08-02 18:18:31 +00:00 |
|
tiagosoares
|
989d9579b3
|
MYDDAS: Fix a bug on memory dealocation on MYDDAS_STATS module
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1669 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-06-06 14:11:36 +00:00 |
|
nunofonseca
|
4242198e6f
|
New LAM MPI module.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1664 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-06-04 18:33:46 +00:00 |
|
tiagosoares
|
40178a0285
|
MYDDAS: MYDDAS version boot message
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1644 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-05-22 16:23:49 +00:00 |
|