Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/Consensys/ivy-syntax-highlight

Last synced: 4 months ago
JSON representation

Host: GitHub
URL: https://github.com/Consensys/ivy-syntax-highlight
Owner: Consensys
License: apache-2.0
Created: 2021-12-13T04:07:43.000Z (about 3 years ago)
Default Branch: main
Last Pushed: 2024-08-21T00:09:07.000Z (5 months ago)
Last Synced: 2024-08-21T11:21:47.155Z (5 months ago)
Size: 15.6 KB
Stars: 2
Watchers: 4
Forks: 2
Open Issues: 1
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE

awesome-formal-verification - ivy-syntax-highlight - Bare minimum syntax highlight definitions (most likely incomplete) for the Ivy language. (Software verification / Tools/Proof Assistants)

# ivy-syntax-highlight

Bare minimum syntax highlight definitions (most likely incomplete) for the [Ivy language](https://microsoft.github.io/ivy/language.html).

## Known Issues

Syntax definition is probably not complete.

## Release Notes

### 0.1.5

Add missing keywords & enable c++ code formatting comments.

### 0.1.4
Add missing keywords.
### 0.1.3
Add missing keywords.
### 0.1.2
Add missing keywords.

### 0.1.1
Fix comment toggling.
### 0.1.0
Doc fixes.
### 0.0.1

Initial release.

-----------------------------------------------------------------------------------------------------------