August updates
This month Yash has been wrapping up his Google of Summer of Code work by adding eclipse event detection, node crossing event detection, and fixing the propagation logic for non-terminal events. Besides, Yash is also writing a new how-to guide for the event detection that we hope to get merged soon. Jorge has been thoroughly reviewing all that work and adding validation cases when appropriate.
Libre Space Foundation published a summary of Yash work, you can read it on their blog.