This repository is the result of my research in automatically generating reverse event handlers for the ROSS optimistic simulator. Interested readers can find a LORAIN-based publication here.
laprej/LORAIN
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|