| Age | Commit message (Expand) | 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 |