/Veri-C

気が向いたら

Primary LanguageCMIT LicenseMIT

Veri-C

Compilation

Install CMake and any c compiler.
CMake is available on devel/cmake in BSDs.

Then, execute the following:

$ cmake -B build
$ cd build
$ make

Usage

Parse

./veri-parse < some_file.txt

Alpha

./veri-alpha "expression1" "expression2"

Check

./veri-check < some_file.txt