aytey
/ SLComp18.g4
Created
June 23, 2020 11:17
— forked from katelaan/SLComp18.g4
ANTLR v4 Grammar for the SL-COMP 2018 (Separation logic competition 2018) format
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * SL-COMP (2018) grammar | |
| * | |
| * See https://github.com/sl-comp/SL-COMP18 for the format definition. | |
| * | |
| * Copyright (c) 2018 Jens Katelaan <[email protected]> | |
| * | |
| * Adapted from: | |
| * | |
| * SMT-LIB (v2.6) grammar |