Releases: milladgit/gecko
Releases · milladgit/gecko
The Inferred Execution
The Skeleton Version
The skeleton version includes basic features that Gecko provides. They include pragma-based capabilities.
Initial Release
This is the initial release of Gecko. It contains the initial skeleton and implementation of the framework. It is based on the first paper of Gecko.