Interpreter for linear quantum CCS.
Ferraro Domenico | [email protected]
Federico Ramacciotti | [email protected] | [email protected]
Leonardo Da Pozzo | [email protected] | [email protected]
Innocenzo Fulginiti | [email protected] | [email protected]
To test everything at once you can run make test. Otherwise, you can run every test singularly as explained below.
To test the parser you can see the tests in test_parser.ml and run them with make test_parser.
To test the typechecker you can see the tests in test_typecheck.ml and run them with make test_typecheck.
To test the quantum operations you can see the tests in test_qop.ml and run them with make test_qop.
To test the eval you can see the tests in test_eval.ml and run them with make test_eval.
make deps
make build
make start
With no arguments, the program executes the REPL loop. Otherwise, it is possible to run the interpreter on a single file using make start path/to/file.