| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-10-20 | fstar-git 20191019-1 | Mort Yao |
| 2018-05-19 | fstar-git 20180518-1 | Mort Yao |
| 2018-04-18 | fstar-git 20180418-1 (ulex -> ulex-git) | Mort Yao |
| 2017-12-09 | fstar-git 20171205-1 | Mort Yao |
| 2017-10-24 | fstar-git 20171024-1 | Mort Yao |
| 2017-02-22 | fstar-git 20170222-1 | Mort Yao |
| 2016-09-01 | fstar-git 20160901-1 | Mort Yao |
| 2016-03-13 | fstar-git 20160312-1 | Mort Yao |
| 2015-10-09 | Update to 20151009-1 | Mort Yao |
| 2015-06-09 | Initial import | Mort Yao |