symbolingtype

Symbolic data structure type specification

AIDE API docs
  (open in new tab)

Package repository

Installation

User simple installation

  • npm install git+https://gitlab.inria.fr/line/aide-group/symbolingtype.git

Co-developper installation

Please refer to the installation guide for installation.

Usage

npm script usage

npm install --quiet : installs all package dependencies and sources.
npm run build: builds the different compiled, documentation and test files.
npm test     : runs functional and non-regression tests.
npm run clean: cleans installation files.

Dependencies

devDependencies

Authors