https://github.com/interpretica-io/acsl-grammar

ACSL grammar built up from official specification, with C grammar behind
https://github.com/interpretica-io/acsl-grammar

acsl antlr grammar

Last synced: 2 months ago
JSON representation

ACSL grammar built up from official specification, with C grammar behind

• Host: GitHub
• URL: https://github.com/interpretica-io/acsl-grammar
• Owner: interpretica-io
• License: other
• Created: 2018-09-20T13:02:42.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-05-15T08:34:31.000Z (over 2 years ago)
• Last Synced: 2024-07-29T16:54:20.674Z (5 months ago)
• Topics: acsl, antlr, grammar
• Language: ANTLR
• Size: 26.4 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# acsl-grammar

ACSL grammar built up from official specification, with C grammar behind. For use in static analyzers.

You can compile it to whatever target you want using antlr4 targets. We use it for C++ target.

```

antlr4 -Dlanguage=CSharp ACSL.g4

```

## Completeness and modifications.

Not all functionality from ACSL grammar is supported. Pull requests are welcome!

Little modification has been applied to ACSL:

 - Support of acsl_comment

Little modification has been applied to C:

 - Don't process ACSL-style comments as regular comments

## License

 - C grammar belongs to ANTLR grammars collection: https://github.com/antlr/grammars-v4/blob/master/c/C.g4. BSD license.

 - ACSL grammar specification belongs to its original authors: https://github.com/acsl-language/acsl. CC BY 4.0

Licenses are included in LICENSE file.