/timed-automata-analysis-frontend

A project for analyzing Timed Automata.

Primary LanguageTypeScriptMIT LicenseMIT

⏰ Timed-Automata Analysis

This project is a tool for modeling and analyzing Timed Automata. The tool is based on React and TypeScript and can be extended easily to also incorporate analysis techniques based on the created models.

🚀 Quick Start

This project utilizes Node and Yarn Classic for development. The usual commands for React projects also apply here.

  • yarn install to install all dependencies and setup the project locally
  • yarn start to run the app locally for development
  • yarn format to format all files
  • yarn lint for linting
  • yarn test for running unit tests
  • yarn e2e for running end-to-end tests
  • yarn e2e-ui for running end-to-end tests in the UI mode of Playwright
  • yarn e2e-update-snapshots for updating the end-to-end test snapshots
  • yarn playwright install for installing/updating the browsers for Playwright
  • yarn build to build the app for production
  • yarn deploy for deployment on GitHub Pages

See package.json for further commands.

🔗 Links