notoria
|
6d7612ead6
|
Corrected the error being thrown by sleep/1
|
2020-04-20 16:36:57 +02:00 |
|
notoria
|
b3e31094ff
|
Changed the error being thrown by sleep/1
|
2020-04-20 11:27:28 +02:00 |
|
Mark Thom
|
c9750fab2c
|
Merge pull request #371 from notoria/sleep
Added the sleep predicate
|
2020-04-19 21:41:33 -03:00 |
|
notoria
|
a7f3dafd81
|
Undo a workaround
|
2020-04-19 23:26:16 +02:00 |
|
notoria
|
fb38b4b906
|
Corrected bound
|
2020-04-19 23:04:51 +02:00 |
|
notoria
|
f0a1a90b0e
|
Merge pull request #3 from triska/sleep
update comment
|
2020-04-19 22:44:48 +02:00 |
|
notoria
|
fb331d39a6
|
Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T)
|
2020-04-19 22:43:13 +02:00 |
|
Markus Triska
|
7a3e6e19b1
|
update comment
|
2020-04-19 22:36:27 +02:00 |
|
notoria
|
5a063c541d
|
Added the sleep predicate
|
2020-04-19 21:35:49 +02:00 |
|
Markus Triska
|
7141fb18c1
|
ENHANCED: time(Goal) now also reports the time if Goal fails
|
2020-04-19 21:13:15 +02:00 |
|
Markus Triska
|
4693c23a49
|
ADDED: library(time), providing time/1 for benchmarking
sleep/1 and predicates for reasoning about time stamps should also
be added to this library.
|
2020-04-19 19:18:47 +02:00 |
|