| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-08-31 | Add using, as, elseHEADmaster | Marcin Chrzanowski | |
| 2021-08-10 | Merge branch 'master' of github.com:m-chrzan/certora-vim | Marcin Chrzanowski | |
| 2021-08-10 | Add string and bytes types | Marcin Chrzanowski | |
| 2021-07-18 | Fix typo | Martin | |
| 2021-07-16 | Add string constants | Marcin Chrzanowski | |
| 2021-07-16 | Add readme | Marcin Chrzanowski | |
| 2021-07-16 | Initial commit | Marcin Chrzanowski | |