/ZoKratesGrammarSpecPEG

Formal grammar specification of the ZoKrates DSL in PEG (Pest)

Primary LanguageRust

ZoKratesGrammarSpecPEG

CircleCI master

Formal grammar specification of the ZoKrates DSL in PEG (Pest).

This is experimental.

Example folder

The example folder is copied from zokrates_cli/examples with the following changes:

  • Remove error/wrong-syntax.code
  • Remove error/unassigned.code