https://github.com/viperproject/silver-oxide

A Rust parser for Viper
https://github.com/viperproject/silver-oxide

Last synced: about 2 months ago
JSON representation

A Rust parser for Viper

• Host: GitHub
• URL: https://github.com/viperproject/silver-oxide
• Owner: viperproject
• License: mpl-2.0
• Created: 2024-04-12T09:30:06.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-09-13T08:43:09.000Z (over 1 year ago)
• Last Synced: 2025-01-19T15:23:17.695Z (over 1 year ago)
• Language: Rust
• Homepage:
• Size: 113 KB
• Stars: 1
• Watchers: 11
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# Ag2O: A Rust parser and AST for Silver 

This project contains a set of crates which define a parser and AST for [Silver](https://github.com/viperproject/silver), Viper's intermediate verification language. 

Eventually, this will also include a pretty printer for Viper allowing other tools to be built on top of this common infrastructure. 

For the moment this focuses on legibility of the parser code so that conformance can be easily ascertained. 

If the need occurs, we will add a second higher performance parser which can be validated against the simpler PEG parser.