search

termite2 / Termite

The Termite driver synthesis tool
30 stars 7 forks source link

Getting started guide #4

Open ryzhyk opened 10 years ago

ryzhyk commented 10 years ago

Including a trivial example walk-through and, possibly, a less trivial example.

adamwalker commented 9 years ago

Leonid, can you read it an close issue if good enough