Skip to content

0xPolygonHermez/pilcom

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

PIL Compiler

Polynomial Identity Language (pil) compiler

Setup

$ npm install
$ npm run build

Usage

Command line

Generate json file from pil file:

$ node src/pil.js <input.pil> -o <output.pil.json>

Generate C++ code from pil file (.hpp files will be generated in the ./pols_generated folder):

$ node src/pil.js <input.pil> -c -n namespace

Javascript

Basic usage:

const pil = await compile(Fr, "pil/main.pil");

Advanced usage:

const pilConfig =
    { defines: {N: 2 ** 21},
      namespaces: ['Global', 'Main', 'Rom', 'Byte4', 'Arith'],
      verbose: true,
      color: true,
      disableUnusedError: true});

const pil = await compile(Fr, "pil/main.pil", null,  pilConfig);
  • define: object (key, value) with constants to define, if constant is defined in pil, use value specified on config and shown a warning during compilation.
  • namespaces: list of namespace used, if namespace not present in this list, it will be ignored, and warning was shown. If any namespace of list, not was found in pils and exception was produced.
  • verbose: source code ignored inside a namespace was shown (first 3 lines).
  • color: verbose source code was shown with other color.
  • disableUnusedError: ignore error when found an unused expression.
  • compileFromString: use to indicate to compiler that parameter fileName contains directly code of pil, to avoid to use a temporal directory on dynamic pil generation.
  • includePaths: an array of paths used to find includes.
  • includePathFirst: a boolean value (true), to force to find first on include path and after on current pil directory. Default: false

Command Line

In command line compilation:

  • config with json file and using option -P or --config.
  • define include paths with option -I or --include, and paths separated by comma.
  • define includePathFirst with option -f.

License

Licensed under either of

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.