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

745 Commits

Author SHA1 Message Date
Vitor Santos Costa
fae29012a9 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-10-11 14:46:53 +01:00
Vitor Santos Costa
e5232bc8fc force system to check for overflows at end of procceed for clauses with body. 2010-10-11 14:45:15 +01:00
Vítor Santos Costa
61d99731c8 avoid recursion on very deep sequences of static indices. 2010-10-07 18:14:55 +01:00
Vitor Santos Costa
99c5a17b12 Implement Halt Hook (request from Bernd). 2010-09-24 14:00:53 +01:00
Vitor Santos Costa
e4a15cba33 div/2 operators (from WG17 and #176) 2010-08-30 21:50:33 -05:00
Vítor Santos Costa
8592db72d7 start 6.0.7 2010-08-04 20:29:24 +01:00
Vítor Santos Costa
bebb236e32 improve SWI compatibility, especilaly for threaded stuff. 2010-08-04 11:37:12 +01:00
Vítor Santos Costa
c081d01e78 implement access_file/2 in C 2010-08-03 21:04:16 +01:00
Charlie
d62d88731d NetBSD also exists. 2010-08-03 01:47:56 +01:00
Charlie
fd64559643 NetBSD compilation 2010-08-02 22:41:32 +01:00
Vítor Santos Costa
388f4fb782 expand C-interface to allow access to common term operations (request from Ingo Molnar). 2010-08-02 19:48:17 +01:00
Vítor Santos Costa
473fd5516d small fix to Osbmp type instructions. 2010-08-02 19:47:29 +01:00
Vítor Santos Costa
ffc094e25f make sure we have enough room before we enter a clause. 2010-08-02 18:20:03 +01:00
Vitor Santos Costa
3d6e223dae support for space reservation (goal: call gc before trying to insert very large terms). 2010-08-02 13:04:30 +01:00
Vitor Santos Costa
30caf35bff fix bad overflow handling in == 2010-07-29 22:36:30 +01:00
Vitor Santos Costa
ccb7991a56 should not use PP for thread private 
more lock tracing aids.
 2010-07-28 11:26:20 +01:00
Vitor Santos Costa
86af6ff3f6 add THOR to threads version. 2010-07-28 00:30:02 +01:00
Vitor Santos Costa
af056dd605 fix tabling to compile with threads+ or-parallelism. 2010-07-27 23:09:17 +01:00
Vítor Santos Costa
18d77309a6 c_inp_stream and friends are thread private! 2010-07-27 17:28:58 +01:00
Vítor Santos Costa
e031026a62 instrument PE locking 
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
 2010-07-25 11:22:16 +01:00
Vitor Santos Costa
eebff5df6a fixes to YAP C-thread interface. 2010-07-23 12:07:33 +01:00
Vítor Santos Costa
3dd68aa8bd fix EX: it cannot be a term and it should be a placeholder for BallTerm, 
so the twp can never be alive at the same time.
 2010-07-21 12:49:06 +01:00
Vítor Santos Costa
b61d69ffe8 allow SWI Interface to send/receive wide characters. 2010-07-21 10:58:24 +01:00
Vitor Santos Costa
396a0716c7 fix silly DEPTH_RESET definition. 2010-07-20 11:20:57 +01:00
Vitor Santos Costa
8edeead245 fix compilation warnings 2010-07-19 22:42:47 +01:00
Vitor Santos Costa
6ebc31f2d8 codes/2 functor (used by format). 2010-07-19 14:48:42 +01:00
Vitor Santos Costa
68a1ab6ce7 make sure that we don't have tails of lists with local variables. 2010-07-19 14:39:52 +01:00
Vitor Santos Costa
b2184ecb00 term export and import routines 2010-07-15 17:19:37 +01:00
Vítor Santos Costa
de2d6867ad isupport for improved SWI emulation. 2010-06-23 11:47:14 +01:00
Vitor Santos Costa
0ca38f0b57 amd64 locking does not work 2010-06-19 22:24:41 +01:00
Vítor Santos Costa
2d6fc978e4 fix for threading initialization 2010-06-19 14:38:04 +01:00
Vítor Santos Costa
bd50f087e9 imore SWI compat, including string fixes 2010-06-19 00:38:49 +01:00
Vítor Santos Costa
d1d149b9fd support for PL_ mpz and mpq ops 
add missing atom_nchars
 2010-06-18 23:24:36 +01:00
Vítor Santos Costa
cf90ace3e1 signal handling SWI style. 2010-06-17 08:20:34 +01:00
Vítor Santos Costa
0ff5195bd1 object loading support 
blob objects (not supported yet)
 2010-06-17 00:31:42 +01:00
Vítor Santos Costa
bf26536626 make frame structure thread local. 2010-06-14 09:26:32 +01:00
Vítor Santos Costa
247d59f0ef - slots should be considered as always live for gc. 
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
 2010-06-01 00:40:58 +01:00
Vítor Santos Costa
d1599bca8d fix extra uses of mpz_ in external code. 2010-05-28 15:29:20 +01:00
Vítor Santos Costa
ae2421951b fix comparison between terms when rationals come up. 2010-05-28 12:07:01 +01:00
Vítor Santos Costa
293dadb003 support for rational numbers 
make floor and friends return an integer (make it closer to SICStus).
 2010-05-28 09:53:56 +01:00
Vítor Santos Costa
09fef1a033 rational number support. First pass. 2010-05-27 12:24:15 +01:00
Vitor Santos Costa
fd9f4efe0b fix indexing of bignums (obs from Jos de Roo). 2010-05-14 12:42:30 +01:00
Vitor Santos Costa
a4344f5bf6 move to 6.0.6 2010-05-11 22:22:13 +01:00
Vítor Santos Costa
be2a3a635e L constants are evil in 64 bits 2010-05-11 12:25:49 +01:00
Vítor Santos Costa
c52dda489b be careful around 1L and friends 2010-05-11 00:18:12 +01:00
Vítor Santos Costa
faeef37a03 long -> Int 2010-05-10 10:21:56 +01:00
Vítor Santos Costa
11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +01:00
Vitor Santos Costa
ecaf6aa713 lookup with max lentgth 2010-05-06 10:58:25 +01:00
Vítor Santos Costa
950abd136e get rid of debugging info. 
routines are only define with wctype.h
 2010-05-05 12:51:38 +01:00
Vitor Santos Costa
f3b6a044f6 improvements to language support. 2010-05-05 12:45:11 +01:00
Vitor Santos Costa
950144a63f more experiments with format 2010-05-05 00:38:46 +01:00
Vitor Santos Costa
1a53fdc757 try to support size independent printf 2010-05-05 00:27:00 +01:00
Vítor Santos Costa
c8c34d4773 swi_reverse_hash was in a bad place. 2010-05-04 16:31:31 +01:00
Vítor Santos Costa
2be8bcb482 64 bit error 2010-05-04 14:53:05 +01:00
Vitor Santos Costa
764737fe5b add missing files. 2010-05-03 14:27:54 +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
030539f33b PL_get_chars: Implement CVT_WRITE and CVT_WRITE_CANONICAL 2010-04-29 23:04:04 +01:00
Vitor Santos Costa
64528946d9 fix bad name for atom. 2010-04-28 00:32:37 +01:00
Vítor Santos Costa II
3272d5d230 inform about new module for system library 2010-04-22 12:11:15 +01:00
Vítor Santos Costa II
9f7df27e3a Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-04-19 15:58:41 +01:00
Ricardo Rocha
1029828775 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-04-19 02:36:14 +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
Vitor Santos Costa
2a7765ae5c make clear that some files are generated automatically. 2010-04-18 21:48:20 +01:00
Vítor Santos Costa II
dd182fdeac Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-04-16 12:12:37 +01:00
Vítor Santos Costa II
0e431dcf24 prefetch on x86 2010-04-16 12:12:25 +01:00
Vitor Santos Costa
d68c7854bd make things run in sparc-64 2010-04-16 12:12:23 +01:00
Vitor Santos Costa
1cf17cc2fe improve type in token 2010-04-16 12:11:52 +01:00
Ricardo Rocha
ddb1cd8604 adding two new modes to the yap_flag/2 and tabling_mode/2 built-in 
predicates: 'local_trie' mode and 'global_trie' mode.
 2010-04-16 02:08:06 +01:00
Vítor Santos Costa II
c4b12d5cbe - fix memory leaks 
- avoid unnecessary mallocs by having a first alloc to do th ework.
 2010-04-15 22:23:54 +01:00
Vitor Santos Costa
28e006b484 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-04-15 11:38:55 +01:00
Vitor Santos Costa
b737ce447f improve allocation through malloc: avoid allocating labels in the stack. 2010-04-15 11:37:39 +01:00
Ricardo Rocha
e122f2ca8d Global trie support: atomic terms (vars, integers and atoms) are now stored 
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
 2010-04-15 01:09:59 +01:00
Vítor Santos Costa II
719089b96b make PL_is_initialised honest :) 2010-04-13 00:31:48 +01:00
Vítor Santos Costa II
b1621d033a export type of foreign fields. 2010-04-10 21:20:00 +01:00
Vítor Santos Costa II
0df80db205 protect from looking at unused fields 2010-04-10 21:19:31 +01:00
Vítor Santos Costa II
e9fce7c755 fix bad while: pred chain will be restored through pred hash table. 2010-04-09 11:55:36 +01:00
Vitor Santos Costa
45473e939b fix previous patch for restoring PredHashTable. 2010-04-09 11:46:59 +01:00
Vítor Santos Costa II
143022e6aa fix bad restore: we would just restore the first predicate with same name (obs from Nuno Fonseca). 2010-04-08 00:52:00 +01:00
Vitor Santos Costa
55b464dace export Yap_WinError 2010-04-07 01:35:44 +01:00
Vitor Santos Costa
9110c4db71 if we use malloc, get memory out of malloc instead of using stacks. This is in order to avoid growing stacks that never contract again. 2010-03-31 15:51:18 +01:00
Vitor Santos Costa
91542c7be1 avoid bad alignment on 64 bits. 2010-03-30 09:16:20 +01:00
Vítor Santos Costa II
b068721c68 fix type warnings. 2010-03-22 15:01:54 +00:00
Vitor Santos Costa
0c28e58dd4 do not randomise initial address. 2010-03-22 00:11:54 +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
Vitor Santos Costa
1245c85ba1 move to version 6.0.4 2010-03-16 01:16:36 +00:00
Vitor Santos Costa
54c0209d3a give macros to reset and update chain of attvars in term copy. 2010-03-15 14:19:45 +00:00
Vitor Santos Costa
117647f552 fix test 2010-03-14 09:32:31 +00:00
Vitor Santos Costa
3683da028a use correct tests. 2010-03-14 09:31:04 +00:00
Vitor Santos Costa
2908d4ccbd fix: size of quue went down. 2010-03-12 22:40:17 +00:00
Vitor Santos Costa
53b4828000 new Atts Code. 2010-03-08 09:24:11 +00:00
Vitor Santos Costa
ba091eb2f9 support db_ref_e: 2010-03-06 22:43:21 +00:00
Vitor Santos Costa
9083dc5633 new functor for attributed variables. 2010-03-06 22:34:49 +00:00
Vitor Santos Costa
43a1a754dd erf function (patch from Bernd Gutmann). 2010-03-05 00:01:04 +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
U-Khasa\Vitor
46f0a0644c fix bad restore of operators (obs from Paulo Moura) 2010-03-01 11:52:42 -06:00
Vitor Santos Costa
7037b38fa7 make nb_ undefined variable return an error, as SWI does. 2010-02-28 00:57:29 +00:00
Vitor Santos Costa
0bdea36358 6.0.1 2010-02-27 10:11:32 +00:00
Vitor Santos Costa
5778730b62 be less enthusiastsis about writing (op). 2010-02-26 14:14:10 +00:00