7 commits

Author	SHA1	Message	Date
Nicolas Viennot	ec2918db89	No longer touching the the input. It's a global lock for now (:all)	2013-06-26 16:39:37 -04:00
Nicolas Viennot	230e4ad796	Only the owner can touch the @interruptible flag	2013-06-26 16:00:05 -04:00
Nicolas Viennot	37bbb66bc0	register_ownership -> with_ownership	2013-06-26 15:05:57 -04:00
Nicolas Viennot	d213b5c7b6	Guard against spurious interrupt in interruptible_region	2013-06-26 15:03:47 -04:00
Nicolas Viennot	d357903600	InputLocks are maintained in a single hash, keyed by inputs	2013-06-26 14:50:41 -04:00
Nicolas Viennot	4cd2b37501	Comment rewording	2013-06-26 14:34:57 -04:00
Nicolas Viennot	9c9750671e	Thread support for REPL	2013-06-25 22:42:01 -04:00