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 |