[Openmcl-devel] with-timeout

[harshrc at ccs.neu.edu]

Hi All,

We are looking to introduce a timed eval to be used for robust
testing in ACL2 Sedan. We currently support CCL and SBCL. 
In SBCL there is a WITH-TIMEOUT macro (which throws a condition after
N seconds), which is good enough for us, since we dont foresee
nested calls to with-timeout our calling context.
Is there a similar macro in CCL that we could use?
If not, we would appreciate some pointers (pseudo-code would be great)
on how to emulate this timeout functionality?

Thanks!

-- Harsh
http://acl2s.ccs.neu.edu/acl2s/doc/