add support for lifelines that skip dead places...
Change transfer to abort and cleanup if the thi...
Add support for wave based error recovery
Fix bug in Worker.run: distribute before lifeli...
add one larger benchmark run
change the file descriptor used for reading in ...
change testing harness to accept a file of spec...
fix bug in place death handler
set the effective number of nthreads to be one ...
Add support for specifying 0 workers, which run...
Change to registering a place dead handler inst...
Add support for multithreading. The numbers of...
Change from using a static singleton to using a...
Add more benchmarking infrastructure
Add support for running (non-resiliently) witho...
Updated to use new version of the ResilientMap ...
Modify ResilientMap interface and implementatio...
Initial version of ResilientUTS using Hazelcast
Add set and async variants of submitToKey to Re...
Add method to expose the hazelcast instance use...
Add a new isX10WorkerThread method to x10.lang....
Add the Coq based mechanization of X10 and resi...