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

337 Commits

Author SHA1 Message Date
Vitor Santos Costa
9e3d16022a fix YAP_AttOfVar 
beautify get atts
 2012-05-21 17:24:40 +01:00
Vítor Santos Costa
af7510a67b fix handling of repeated calls to YAP_Init. 2012-04-12 23:25:04 +01:00
Vítor Santos Costa
27dc66a5f4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-04-11 22:09:15 +01:00
Vítor Santos Costa
c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Vítor Santos Costa
7085008193 fix compilation without gmp. 2012-04-05 20:50:27 +01:00
Vítor Santos Costa
edfb13c5e9 allow users to check for out of space conditions explicitly. 2012-03-30 09:49:36 +01:00
Vítor Santos Costa
7b78832aa7 avoid strict float checking when building arrays.w 2012-03-22 21:38:22 +00:00
Vítor Santos Costa
f2782cc274 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-03-14 22:11:35 +00:00
Vítor Santos Costa
cc8521c9d5 fix bad handling of singletons with write_canonical. 2012-03-14 22:10:21 +00:00
Vítor Santos Costa
74d7ad2704 extend interface to copy fast lists of integers or floats. 2012-03-14 11:08:28 +00:00
Vítor Santos Costa
36acb5f897 fix profiling support. 2012-03-09 11:46:34 +00:00
Vítor Santos Costa
1531002f26 avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to 
catch stack bugs.
 2012-02-18 11:01:06 +00:00
Vitor Santos Costa
6403b4793a small write fixes. 2012-02-14 09:10:07 +00:00
João Santos
21522ce151 CACHE_REGS 2012-02-07 15:18:43 +00:00
Vítor Santos Costa
e6fb330f58 fix warnings. 2012-02-03 20:55:35 +00:00
Vítor Santos Costa
a2c86643b0 ismall fixes to MPI interface. 2012-02-03 16:31:49 +00:00
Vítor Santos Costa
6eea1fe1ea fixes for export_term and friends. 2012-02-02 23:25:09 +00:00
Vítor Santos Costa
4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vítor Santos Costa
8f728962a5 YAP_ExportTerm and YAP_ImportTerm from buffer (first cut).w 2012-02-01 19:26:28 +00:00
Vitor Santos Costa
d3c7800ab4 support PL_skip_list and PL_unify_bool. 2012-01-09 23:29:31 +00:00
Vítor Santos Costa
00b5edd8da allow copying a chunk of floats to a list in a single operation. Also 
improve performance of sum out operation on arrays.
 2011-12-30 16:04:16 +00:00
Vítor Santos Costa
8c7d0af032 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-12-22 11:44:48 +00:00
Vítor Santos Costa
1fde83d278 fix overflows 2011-12-22 11:42:26 +00:00
Vítor Santos Costa
18190a4633 fix types for return absmi and friends. 2011-12-13 23:09:05 +00:00
Vítor Santos Costa
7da303450f fix while. 2011-11-30 13:02:20 +00:00
Vítor Santos Costa
0409449a23 expand interface to create list from array of terms. 2011-11-18 16:26:11 +00:00
Vítor Santos Costa
64dded4a53 iunnumbervars may be copying terms from outside the stacks, so don't share 
unless we know we share.
 2011-11-04 09:28:33 +00:00
Vítor Santos Costa
9f2b0c7e70 extend C-interface to support b-prolog like stuff 2011-11-03 07:52:52 +09:00
Vítor Santos Costa
8785108e66 Yap_unifiable and TagOfTerm 2011-10-27 12:35:40 +02:00
Vítor Santos Costa
384ddd84ad extend interface with IsTermNIl() 2011-10-24 22:46:16 +01:00
Vitor Santos Costa
72afe868ec allow access to argc and argv in the c-interface. 2011-10-13 16:46:39 +01:00
Vítor Santos Costa
d4ea15811e fix yapor bootstrap. 2011-10-13 15:04:16 +01:00
Vitor Santos Costa
29866562fb fix gc calling from C-code. 2011-10-01 13:00:00 -07:00
Vitor Santos Costa
51e635f0c9 more QLY stuff. 2011-08-31 13:59:30 -07:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4fe1833ece Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3 2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa
991d85edf0 fixes to interrupt handling in readline. 2011-07-22 22:48:30 +01:00
Vitor Santos Costa
a701f08180 small fixes. 2011-07-22 21:35:18 +01:00
Vitor Santos Costa
a16a7d5b1c fix calling of Write and Read for new SWI style interface. 2011-07-22 15:49:40 +01:00
Vitor Santos Costa
f6be2ed08d support interface to foreign objects that have a backtrack handler. 2011-07-22 04:09:33 -07:00
Vitor Santos Costa
a1d903e3e9 external term support. 2011-07-21 06:32:49 -07:00
ubu32
11a74236dc fix slots: have slots ready at init, even if we don't have a Prolog top-level; 
don't get lost after pruning.
 2011-07-11 22:12:32 -07:00
ubu32
4a13735cb0 ifix pruning 2011-07-11 21:14:26 -07:00
Vitor Santos Costa
6863a43e76 fix handling of backtrackable C-code in longjmp and other long range cuts. 2011-07-09 07:56:11 -04:00
Joao
77171d4179 fix Yap debug. 2011-06-20 14:49:24 +01:00
Vítor Santos Costa
5614d05a03 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-14 09:23:32 +01:00
Vitor Santos Costa
261e02b43e support for option comments(X) in read_term/1. 2011-06-12 17:23:10 +01:00
Vítor Santos Costa
03fe3285e9 fix warnings. 2011-06-06 10:32:58 +01:00
Ricardo Rocha
dfe0e1854f init_yapor_workers -> Yap_init_yapor_workers 2011-06-01 18:51:12 +01:00
Joao
98e35b16e8 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-25 16:41:39 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Vítor Santos Costa
14bdc262df export TermToStream 2011-05-25 13:10:39 +01:00
Joao
8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Joao
676dd26c90 change macros in misc/GLOBALS to GLOBAL_. 2011-05-10 10:06:51 +01:00
Ricardo Rocha
f22994edf9 remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead 2011-05-09 19:55:06 +01:00
Ricardo Rocha
a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Joao
65a514349f Remove LOCAL_WPP. 2011-05-05 09:32:04 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Joao
3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao
810c96416b change define ENV_COPY to YAPOR_COPY 2011-03-30 14:35:10 +01:00
Joao
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
1a7561c609 fix reinit and improve performance for cut predicates. 2011-03-22 11:07:49 +00:00
Vítor Santos Costa
36a0023fbf iimprove SWI compat 2011-03-15 23:49:28 +00:00
Vítor Santos Costa
30d9257fe0 improve SWI call interface code. 2011-03-14 20:54:55 +00:00
Vítor Santos Costa
0d6be2d858 improve string support 
fix non-thread compilation.
 2011-03-11 23:21:23 +00:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
da1df3d851 more cleanups. 2011-03-02 23:19:39 +00:00
Vítor Santos Costa
0e447436b3 fix missing lock in OpInfo 2011-03-01 10:32:25 +00:00
ubu32
3c261305db interface to rationals. 2011-02-27 02:13:25 -08:00
ubu32
82f3af4f23 lookup global modules. 2011-02-15 07:50:55 -08:00
ubu32
185bb1b3f0 cleanups. 2011-02-15 06:43:28 -08:00
ubu32
57f5ef8cfc more bug fixes: 
- make readline use packages, not old YAP code
- fix ! over backtrack cps
- fix write list
 2011-02-15 05:54:19 -08:00
ubu32
140318ff16 read works now. 2011-02-14 23:39:27 -08:00
ubu32
4dbdaaa772 eplace format 2011-02-14 14:13:45 -08:00
ubu32
f6befe5796 alias stuff. 2011-02-14 06:59:15 -08:00
Vitor Santos Costa
98684ba4bb remove YAP sockets interface. 2011-02-12 23:38:24 +00:00
Vítor Santos Costa
45032cc61e export current predicate for SWI built-ins. 2011-02-11 19:01:18 +00:00
Vítor Santos Costa
10f84228bc fix handling of cut_c in SWI packages. 2011-02-11 17:49:19 +00:00
Vitor Santos Costa
6617a63b7e attempt to improve error handliong in SWI emulation. 2011-02-11 14:17:27 +00:00
Vítor Santos Costa
b475be5692 more SWI compatibility changes. 2011-02-11 01:22:07 +00:00
Vítor Santos Costa
02c791fc3d iminor PLStream fixes. 2011-02-10 21:45:43 +00:00
Vitor Santos Costa
3fe9b923cb more fixes to SWI emulation 
integrate in main binary
 2011-02-10 21:14:38 +00:00
Vitor Santos Costa
232a740d43 upgrade to latest SWI 2011-02-10 00:01:19 +00:00
Vitor Santos Costa
c1721df472 Merge branch 'master' of /yap-6.3 
Conflicts:
	C/c_interface.c
 2011-02-03 11:33:50 +00:00
Vitor Santos Costa
48b891a5b2 Merge branch 'master' of ../yap-6.2 2011-02-03 11:27:01 +00:00
Vitor Santos Costa
6cccadb8cb export signal:wq 2011-02-03 11:26:46 +00:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
a4a1feeacc improve SWI emulation in WIN32. 2011-02-03 11:23:12 +00:00
Vítor Santos Costa
cbf6caddbd fix support for comparing weird terms. 2011-02-02 19:37:11 +00:00
Vitor Santos Costa
313273cce0 fix debugging messages. 2011-01-21 08:14:30 -06:00
Vitor Santos Costa
a9587b5e3d restore and agc of recorded terms 
overflows in recorded.
 2011-01-02 21:16:29 -06:00
Vitor Santos Costa
5feb6a9dc5 SWI emulation: it is unsafe to keep arguments in regs. 2010-12-30 22:42:30 -06:00
Vítor Santos Costa
eb82f5fa2a more fixes to recursive call execution and backtracking from within C-mode. 
semweb java example now working.
 2010-12-14 09:30:40 +00:00
Vítor Santos Costa
21bbffceda make sure we rebuild saved state stuff even if we do not actually enter top-level. 
fix bug with some definitions being reset at load time.
 2010-12-07 15:06:53 +00:00
Vítor Santos Costa
8db05c883b make sure we separate betwen async exceptions and synchroneous. 2010-12-04 19:05:13 +00:00
Abramo Bagnara
94194209ec Extended C predicates to have 10 arguments. 2010-11-30 12:27:30 +00:00
vsc
312d82816e fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY 2010-10-15 02:06:37 +01:00
Vitor Santos Costa
99c5a17b12 Implement Halt Hook (request from Bernd). 2010-09-24 14:00:53 +01:00
Vitor Santos Costa
8b9cf7dc2a YAP_SetYAP_Flag 2010-08-30 22:25:56 -05:00
Vitor Santos Costa
3e6ce40eb1 indenting cganges 2010-08-17 13:02:28 +01:00
Vítor Santos Costa
f1977f5dab allow saving and restoring current arguments to/from slots. 2010-08-04 17:36:20 +01:00