Skip to content

tramhnt99/scilla_parse

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Build the project node install

To run the tests for the Type Checker, gives an output print of passing tests. node testingTC.js

To run the tests for the Definitional Interpreter
tests for different files currently have to be manually changed on line 275 of testingEvaluator.js
node testingEvaluator.js

Online IDE can be found at https://granada.ulysseskee.software/

To install on ANTLR using Homebrew brew install antlr

To regenerate the Scilla Parser and Lexer in JS after updating the grammar antlr4 -Dlanguage=JavaScript scilla.g4

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Packages

No packages published