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

186 Commits

Author SHA1 Message Date
Vitor Santos Costa
5cd55b0e0e EX changes 2010-07-27 23:29:55 +01:00
Vítor Santos Costa
2ce4427395 fix bad error handling 
unlock new stream
 2010-07-26 12:56:17 +01:00
Vitor Santos Costa
f3b9811ef7 more packages to implement better thread interface. 2010-07-23 15:54:13 +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
d100e697a3 fix debugging message 2010-06-23 11:45:44 +01:00
Vítor Santos Costa
0718f3e08d USE_THREADS->THREADS 2010-06-08 10:40:55 +01:00
Vítor Santos Costa
05a20e26f3 make sure we return correct code in YAP_Boot 2010-06-06 23:03:59 +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
faeef37a03 long -> Int 2010-05-10 10:21:56 +01:00
Vítor Santos Costa
aadbb136f5 make sure we always look for slots if called from user code. 
oops beautifications.
 2010-05-04 14:53:34 +01:00
Vítor Santos Costa II
661b9c3b7d protect base choice-point from nasty cutting. 2010-04-13 00:31:25 +01:00
Vítor Santos Costa II
8efec0b26e put ThOr back in shape. 2010-04-09 11:56:07 +01: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
99460df195 use IsAttVar 2010-03-08 09:19:35 +00:00
Vitor Santos Costa
08257b2817 use YAPSHAREDIR instead of YAP_PL_SRCDIR to book from Prolog files. 2010-03-05 09:51:52 +00:00
Vítor Manuel de Morais Santos Costa
f56b9ab426 each OPTYap worker needs its own auxiliary stack! 2010-01-29 12:28:00 +00:00
Vítor Manuel de Morais Santos Costa
98c0964c80 iget rid of annoying message. 2010-01-26 16:35:15 +00:00
Vitor Santos Costa
b112574dc5 booting should not be console controlled. 2010-01-26 12:20:46 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2 experiment in or-parallel threads. 2010-01-14 15:58:19 +00:00
Vítor Manuel de Morais Santos Costa
d4b14648b0 fix confusion with SWI handling of C-backtrackable predicates. 2010-01-12 14:58:48 +00:00
Vítor Manuel de Morais Santos Costa
324833f84a fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira). 2010-01-11 15:44:43 +00:00
Vitor Santos Costa
5fc26e1b45 improve emulataion of backtrackable SWI c-code (request from NF). 2010-01-06 11:25:15 -02:00
Vitor Santos Costa
6d1eec34db make atom locking compatible with SWI-Prolog. 2009-12-21 10:12:47 -02:00
Vítor Manuel de Morais Santos Costa
783c5ed6bc fix excessive untrailing in C-code interface (obs from Nuno Fonseca). 2009-12-04 22:58:46 +00:00
Vítor Manuel de Morais Santos Costa
1176f71f3a support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159) 2009-12-03 17:48:25 +00:00
Vítor Manuel de Morais Santos Costa
b16623d026 fix realloc and friends (obs from Nuno Fonseca). 2009-11-27 13:31:03 +00:00
Vítor Manuel de Morais Santos Costa
98f79484ae change throw mechanism to fit better with cleanup mechanism: 
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
 2009-11-27 11:21:24 +00:00
Ricardo Rocha
8a557012dd add primitive YAP_IsLongIntTerm to the C Language interface. 2009-11-23 18:46:57 +00:00
nf@khaixa.(none)
1bfbe535da Extended support for SWI-Prolog C interface. 2009-11-20 08:42:22 +00:00
Vitor Santos Costa
d9016fa650 init_local should be called Yap_init_local to avoid clashesh. 2009-11-19 08:24:38 +00:00
Vitor Santos Costa
4c8eb33e06 we had args already (no need for argv0) 
improve error handling in YAP_ReadBuffer
 2009-10-26 10:42:19 +00:00
Vitor Santos Costa
11cefa668a handle overflow error in YAP_MkPairTerm ( obs from Fabrizio Riguzzi). 2009-07-13 21:55:57 -05:00
Costa Vitor
f5a72828a0 fix SPARC register allocation bugs (not verified) #130 2009-06-15 10:29:31 -05:00
Costa Vitor
8e55611d90 fix bad test for space overflow 2009-06-01 19:28:30 -05:00
Costa Vitor
00c9194014 fix reference to Yap_regp 2009-06-01 15:46:37 -05:00
Vitor Santos Costa
0bd3c910dd step towards better emulation of SWI in backtrackable predicates. 2009-06-01 15:32:36 -05:00
Vitor Santos Costa
23301fb19a avoid warning on malloc 2009-05-22 14:01:22 -05:00
Vitor Santos Costa
51e669dcfb support for passing priority as argument to write. (Ulrich's #45). 
fixes on making write handle infinite loops
 2009-05-22 13:24:27 -05:00
Vitor Santos Costa
13e2febd30 stack overflow instructions could be wiped out by Restore. 2009-05-12 17:01:53 -05:00
Vitor Santos Costa
39ccbd345d make options -T -L -G work as SWI: they impose a maximum size limit 2009-05-10 13:36:55 -04:00
Vitor Santos Costa
58838b7838 fix attributed variable space allocation 2009-05-01 12:11:52 -05:00
Vitor Santos Costa
450123d5c6 fix FileNoFromStream 2009-04-25 10:28:34 -05:00
Vitor Santos Costa
1ea4a27dd1 YAP_FileNoFromStream for Nf 2009-04-22 21:42:15 -05:00
Vitor Santos Costa
7ed3b456ac add Yap_FileDescriptorFromStream at request from NF. 2009-04-22 16:41:41 -05:00
Vitor Santos Costa
b92b026c90 more patches to support Anderson's JIT. 2009-04-08 00:32:36 +01:00
Vitor Santos Costa
2aa5aa3a26 add -A flag to ask for more attributed stack. 2009-03-27 15:15:54 +00:00
Vitor Santos Costa
8a0b7312e4 get rid of thread warnings.. 2009-03-26 00:39:44 +00:00
Vitor Santos Costa
5ef03f2d0f fix BLOB operations and get rid of warning 2009-03-14 10:06:55 +00:00
Vitor Santos Costa
1161f80426 fix calling SWI C-Predicates. 2009-03-13 19:36:38 +00:00
Vitor Santos Costa
91657556ee more UDI stuff. 2009-02-25 00:13:45 +00:00