CGL PARSER

Our CGL Paser is implemented using F# and the FsLexYacc library.

How to run

To run simply you can simply run the project on Visual Studio.

It's also possible to run in the cmd:

msbuild Modelling.sln /p:Configuration=Release
cd .\Modelling\
cd .\bin\
cd .\Release\
cd .\netcoreapp3.1\
start Modelling.exe

Usage

To test the several tasks, in main, run the indicated function in the list bellow

• Task 1 and 2 -> readGCLProgram()
• Task 3 -> evalGCLProgram()
• Task 4 -> PrintSignAnalysis()
• Task 5 -> PrintSecurityAnalysis()
• Task6 -> PrintStates()

After executing, you can enter your CGL program in the prompt.

The program will then build and print the AST for the input, or return an error, giving information of what failed.

It will also evaluate the program, and display the memory state after execution.