ParserDSL

Installation of 3D

Download the latest release of Everparse from Github and move it to ./3d folder.

Enter ./3d directory and unzip the file. You should expect a new folder named everparse and everparse.sh inside that folder.

cd 3d
tar xvf everparse_your_version

Please note that the binary files only work for Windows and Linux, you have to build from source for MacOS. It is not recommended to build on MacOS but you can do that by following the official build tutorial. Make sure that OCaml version is 4.14.x and z3 version is exactly 4.8.5 otherwise the building will fail.

Parser generation from 3D specs

cd everparse
bash everparse.sh ../TAR.3d --odir ../TAR

Set up a Python virtual environment with pipenv

Create .env to store your OpenAI secret

OPENAI_API_KEY=sk-xxxxxxxxxxx

Make sure you already have pip3 and python installed

pip3 install pipenv

Install dependencies

pipenv install

Generate parser DSL

Fire up a shell in virtual environment

pipenv shell

Run script

python GenParseDSL.py