See webpage for more details and sample output.
This compiler is based on a slightly modified version of the Janus programming language. Below are some references:
- A reversible programming language and its invertible self-interpreter
- JANUS: A Time-Reversible Language
Create a sandbox (recommended) with:
cabal sandbox init
Install dependencies:
cabal install --dependencies-only
Now build the actual project using:
cabal build
It will place the jcc binary in dist/build/jcc/jcc.
For help use:
jcc -h
Currently a semicolon is needed after each statement. This will hopefully be fixed when I have time to update the parser.
Not all operations are yet supported.
Due to the compilation target (no-feedback circuit model), loops are only planned to be supported in the case where they have fixed bounds. For that same reason procedures might be supported in the future but recursive calls will not be.
For example try:
x1 x2;
x1 += x2;
x2 ^= x1;
Note if-statements are currently implemented but do not work correctly. This will be fixed when hadamard gates are added to the gate set and simulator.