mirror of
https://github.com/Echtzeitsysteme/timed-automata-analysis-frontend.git
synced 2024-09-07 21:03:12 +00:00
A project for analyzing Timed Automata.
.github/workflows | ||
.husky | ||
e2e | ||
public | ||
src | ||
test | ||
.gitignore | ||
.prettierrc.cjs | ||
eslint.config.js | ||
index.html | ||
jest.config.cjs | ||
LICENSE | ||
package.json | ||
playwright.config.ts | ||
README.md | ||
tsconfig.json | ||
tsconfig.node.json | ||
vite.config.ts | ||
yarn.lock |
⏰ 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. If you want to see the tool in actions, just visit this website.
🚀 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 locallyyarn start
to run the app locally for developmentyarn format
to format all filesyarn lint
for lintingyarn test
for running unit testsyarn e2e
for running end-to-end testsyarn e2e-ui
for running end-to-end tests in the UI mode of Playwrightyarn e2e-update-snapshots
for updating the end-to-end test snapshotsyarn playwright install
for installing/updating the browsers for Playwrightyarn build
to build the app for productionyarn deploy
for deployment on GitHub Pages
See package.json
for further commands.