mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-18 09:19:38 +01:00

History

Add naive af support to webserver (#195 )

* Update flake

* Remove cargo-kcov

* Make AdfParser publically accessible

* Fix mongodb version to 6

* Add naive AF support in Web

* Add missing doc strings

* Remove unused import

* Remove TODO comment

* Update DevSkim Action

* Upgrade flake

* Apply clippy suggestions

---------

Co-authored-by: monsterkrampe <monsterkrampe@users.noreply.github.com>

2025-06-30 08:51:23 +02:00

src

Add naive af support to webserver (#195 )

2025-06-30 08:51:23 +02:00

.editorconfig

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

.eslintrc.js

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

.gitignore

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

index.d.ts

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

package.json

Upgrade dependencies

2023-08-04 10:59:27 +02:00

README.md

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

shell.nix

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

tsconfig.json

milestone/frontend (#63 )

2023-05-04 17:10:38 +02:00

yarn.lock

Bump semver from 6.3.0 to 6.3.1 in /frontend

2023-08-04 09:11:03 +00:00

README.md

Frontend for Webservice

This directory contains the (standalone) frontend for https://adf-bdd.dev built using React, Material UI and Typescript.

Usage

For local development run:

yarn install to install the dependencies
yarn run check to run typechecks and the linter (eslint)
yarn start to start the development server listening on localhost:1234

The frontend tries to connect to the server at localhost:8080 in development mode.