Costa Vitor
|
edfcfe9ddc
|
more fixes to PLStream
|
2009-06-01 16:56:00 -05:00 |
|
Costa Vitor
|
4a823a5065
|
include privitf to support new pl-file.c
|
2009-06-01 16:43:27 -05:00 |
|
Costa Vitor
|
01f80f8116
|
-1 is the error in datime
|
2009-06-01 16:42:17 -05:00 |
|
Costa Vitor
|
2ce09e66e7
|
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
|
2009-06-01 15:56:32 -05:00 |
|
Vitor Santos Costa
|
4847b19bec
|
PLStream changes.
|
2009-06-01 15:55:31 -05:00 |
|
Costa Vitor
|
00c9194014
|
fix reference to Yap_regp
|
2009-06-01 15:46:37 -05:00 |
|
Vitor Santos Costa
|
d1175de6bb
|
upgrade to more recent version of pl-file.c (not complete).
|
2009-06-01 15:39:38 -05:00 |
|
Vitor Santos Costa
|
b8f60c623d
|
improvements to SWI compatibility
|
2009-06-01 15:38:39 -05:00 |
|
Vitor Santos Costa
|
dbfccfced5
|
fix flags from int to Int
|
2009-06-01 15:37:32 -05:00 |
|
Vitor Santos Costa
|
a36c507175
|
infrastructure to eventually support SWI atom table.
|
2009-06-01 15:37:01 -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
|
45a1544307
|
use Int for 32 bit flags (int would be ok, though).
|
2009-06-01 15:32:07 -05:00 |
|
Vitor Santos Costa
|
95f28228f6
|
- separate user_try and user_retry
- make sure we have slots inited in retrying user C code.
|
2009-06-01 15:30:22 -05:00 |
|
Vitor Santos Costa
|
d6ed058157
|
first pass at a decent implementation of PL_error (#95)
- basically copy SWI code.
|
2009-05-30 12:52:23 -05:00 |
|
Vitor Santos Costa
|
f61aee4a83
|
third argument to thread_create needs :, #91
|
2009-05-30 10:43:03 -05:00 |
|
Vitor Santos Costa
|
e84ecf2eaf
|
fix #37: give resource error if trying to create a functor with bignum arity
also, allow meta-call to create large functors > Int.
|
2009-05-29 22:34:50 -05:00 |
|
Vitor Santos Costa
|
0cd72ad258
|
changes to compile YAP in WIN32
|
2009-05-29 14:36:49 -05:00 |
|
Vitor Santos Costa
|
2dae7fd5ef
|
fix unnecesary warnings for multifile (obs from Paulo Moura).
|
2009-05-29 10:48:40 -05:00 |
|
Vitor Santos Costa
|
a45da5f722
|
check for memory overflows in format (very long double, say) obs from Ingo Thon.
|
2009-05-29 10:26:48 -05:00 |
|
Vitor Santos Costa
|
3fc4f71bee
|
prolog module is visible everywhere.
|
2009-05-28 21:51:34 -05:00 |
|
Ulrich Neumerkel
|
5760986b2f
|
Forgotten failure - found by #22
|
2009-05-28 21:13:51 -05:00 |
|
Ulrich Neumerkel
|
c1dcb1d75d
|
FIX #85 (defaultyness & meta_predicate), and thus #84, #82, #69
|
2009-05-28 12:35:41 -05:00 |
|
Ulrich Neumerkel
|
2b495cd095
|
Introduction of errors for signal. In a case of conflict, 13211-1:7.12.2a is given precedence over 13211-2:6.7.1.4
|
2009-05-28 12:34:13 -05:00 |
|
Ulrich Neumerkel
|
c2bd671bfd
|
time_out/3: Give every alternative the full timeout time #86
|
2009-05-27 18:21:25 -05:00 |
|
Ulrich Neumerkel
|
f9342e835d
|
What's wrong with this one? Of course, the granularity of the alarms is a problem. And the inability to nest.
|
2009-05-27 16:01:44 -05:00 |
|
Ulrich Neumerkel
|
4e2572fe2e
|
DOC: formatting
|
2009-05-26 18:01:37 -05:00 |
|
Costa Vitor
|
43e9e9f337
|
alarm(0) should be careful to kill existing signals.
|
2009-05-26 17:31:21 -05:00 |
|
Costa Vitor
|
f11eeb2967
|
be more careful to handle throws.
|
2009-05-26 17:24:49 -05:00 |
|
Costa Vitor
|
e6129e84b7
|
unnecessary disable_interrupts (#69)
|
2009-05-26 16:57:27 -05:00 |
|
Ulrich Neumerkel
|
3d9bd1a49f
|
DOC: minor
|
2009-05-26 14:34:02 -05:00 |
|
Vitor Santos Costa
|
a10bf47a0c
|
improve stochastic grammar learning (work in progress).
|
2009-05-26 10:49:04 -05:00 |
|
Vitor Santos Costa
|
de7474a5d9
|
allow inplace operations.
|
2009-05-26 10:48:45 -05:00 |
|
Vitor Santos Costa
|
3c57286531
|
make sure we disable disabling interrupts on error handler.
|
2009-05-25 09:58:27 -05:00 |
|
Vitor Santos Costa
|
4f71103b88
|
idon't disable interrupts for creeping.
|
2009-05-25 09:57:59 -05:00 |
|
Vitor Santos Costa
|
9a0393e2ce
|
predicate_property would only return first prop for system pred (obs from Paulo Moura).
|
2009-05-25 09:57:27 -05:00 |
|
Vitor Santos Costa
|
a6f0b8cc9f
|
ignore specific limit for max write depth on lists. Use same limit everywhere.
|
2009-05-24 19:37:07 -05:00 |
|
Vitor Santos Costa
|
a0750ff5b7
|
handle heap overflows when constructing new predicates.
|
2009-05-24 19:25:26 -05:00 |
|
Vitor Santos Costa
|
9a9767d73c
|
cannot just do error when user does crazy things.
|
2009-05-24 19:20:00 -05:00 |
|
Vitor Santos Costa
|
46dc2b1a49
|
should exit if interrupts *are* disabled.
|
2009-05-24 19:19:22 -05:00 |
|
Vitor Santos Costa
|
99ac4f4d4a
|
handle SWI style goal expansion natively, instead of trying to be smart.
|
2009-05-24 19:18:52 -05:00 |
|
Vitor Santos Costa
|
de3c042143
|
just update, no interesting change.
|
2009-05-24 15:17:23 -05:00 |
|
Vitor Santos Costa
|
f5bff2a21d
|
just indenting
|
2009-05-24 15:16:40 -05:00 |
|
Vitor Santos Costa
|
09216a70b8
|
fix unprotected calls to plwrite.
|
2009-05-24 15:15:36 -05:00 |
|
Vitor Santos Costa
|
488a230169
|
fix unification core dump.
|
2009-05-24 15:15:05 -05:00 |
|
Vitor Santos Costa
|
81970013ed
|
allow storing a pointer.
|
2009-05-24 15:14:44 -05:00 |
|
Vitor Santos Costa
|
b94baf1e5f
|
try not to loop in infinite terms.
|
2009-05-24 15:14:23 -05:00 |
|
Vitor Santos Costa
|
b5e5a671a8
|
restore stack on JumpExec
|
2009-05-23 15:51:50 -05:00 |
|
Vitor Santos Costa
|
b9a7d24e8b
|
avoid too long messages
back to top level if Yap_Error is called in a critical region.
|
2009-05-23 15:51:00 -05:00 |
|
Vitor Santos Costa
|
4d497193b6
|
fix garbage collection on attributed variables with lots of choice points.
|
2009-05-23 12:41:37 -05:00 |
|
Vitor Santos Costa
|
04c419b3b0
|
not always throw an error when it is not a variable.
|
2009-05-22 22:35:40 -05:00 |
|