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 installto install all dependencies and setup the project locallyyarn startto run the app locally for developmentyarn formatto format all filesyarn lintfor lintingyarn testfor running unit testsyarn e2efor running end-to-end testsyarn e2e-uifor running end-to-end tests in the UI mode of Playwrightyarn e2e-update-snapshotsfor updating the end-to-end test snapshotsyarn playwright installfor installing/updating the browsers for Playwrightyarn buildto build the app for productionyarn deployfor deployment on GitHub Pages
See package.json for further commands.