Vitor Santos Costa
|
ef04b30d66
|
doc
|
2018-05-01 23:25:58 +01:00 |
|
Vitor Santos Costa
|
faf3c930c8
|
docs
|
2017-04-07 23:10:59 +01:00 |
|
Vítor Santos Costa
|
ce8a19d381
|
Add documentation
|
2015-11-18 15:06:25 +00:00 |
|
Vítor Santos Costa
|
3164ed2d61
|
doc support
|
2015-01-04 23:58:23 +00:00 |
|
Vítor Santos Costa
|
3009987985
|
update docs
|
2014-09-11 14:06:57 -05:00 |
|
Vitor Santos Costa
|
0e0973de42
|
another that got away (meta-predicate declarations).
|
2010-04-22 21:05:34 +01:00 |
|
Vitor Santos Costa
|
217afd3a72
|
fix undefined virtual_alarm
|
2009-06-01 21:30:56 -05:00 |
Costa Vitor
|
8870a1e661
|
define virtual timer and use it for timeout (#96)
|
2009-06-01 19:49:03 -05:00 |
Ulrich Neumerkel
|
5760986b2f
|
Forgotten failure - found by #22
|
2009-05-28 21:13:51 -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 |
|
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 |
|
Costa Vitor
|
b93e5fd300
|
fix warning
|
2009-05-22 19:20:53 -05:00 |
|
Vitor Santos Costa
|
f9533c8757
|
fix backtracking in timeout.
|
2009-05-21 01:30:24 -05:00 |
|
Vitor Santos Costa
|
56fa3499b1
|
oops
|
2009-05-21 01:08:34 -05:00 |
|
Vitor Santos Costa
|
f3e4148511
|
fix bad behavior of time_out by making sure interrupts are disabled during critical operation, up
to setting a throw.
|
2009-05-21 00:39:57 -05:00 |
|
Ulrich Neumerkel
|
b38505cff2
|
FIXED: time_out output argument, exceptions (unhappy about once)
?- time_out(true,3600,time_out).
yes
?- catch(time_out(throw(x),3600,R),x,length(L,L)).
ERROR!!
UNHANDLED EXCEPTION - message time_out unknown
|
2009-05-19 23:58:35 -07:00 |
vsc
|
5affad32b6
|
use setitmer instead of alarm.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1886 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-05-20 23:00:38 +00:00 |
|
vsc
|
e5f4633c39
|
This commit was generated by cvs2svn to compensate for changes in r4,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-04-09 19:54:03 +00:00 |