certora-vim, branch master
Vim syntax highlighting for Certora
Add using, as, else
2021-08-31T12:46:49+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-08-31T12:46:49+00:00
22fc36f555de737c048e25e8424d47c781a6cc42
Merge branch 'master' of github.com:m-chrzan/certora-vim
2021-08-10T18:10:27+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-08-10T18:10:27+00:00
7b02f7462935bef56fb701f1ea8d273da29f8c7b
Add string and bytes types
2021-08-10T18:09:17+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-08-10T18:09:17+00:00
d61d16aca5ec456122ecf53e6c9dfa095c15e09c
Fix typo
2021-07-18T09:32:15+00:00
Martin
m@m-chrzan.xyz
2021-07-18T09:32:15+00:00
d5903bd3206a504b92c4a9ed32187815b5259463
Add string constants
2021-07-16T08:34:53+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-07-16T08:34:53+00:00
004fe48c4c311f3db60b2b2a9dc3dc3acb65b7cc
Add readme
2021-07-16T08:30:21+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-07-16T08:30:21+00:00
4d3b618889fcec52f6af83fda072c94dd16cedc4
Initial commit
2021-07-16T08:26:23+00:00
Marcin Chrzanowski
m@m-chrzan.xyz
2021-07-16T08:26:23+00:00
ca4f431db0368a8fb850dc48e1ade216d6928418