diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,232 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

150 Commits

Author SHA1 Message Date
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