mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
c9278cf5ce
* Introduce separate server package * Implement basic visualization of solve response * Make fetch endpoint depend on environment * Introduce features flag for localhost cors support * Serve static files from './assets' directory * Add Dockerfile as example for server with frontend * Support multiple solving strategies * Support stable model semantics with nogoods * Introduce custom node type for nicer layout * Support more options and multiple models * Use standard example for adfs on the frontend * Use unoptimised hybrid step for better presentation * Upgrade frontend dependencies * Animate graph changes * Experiment with timeout on API endpoints * Relax CORS restrictions for local development * Add API for adding/deleting users; login; logout * Add API for uploading and solving adf problems * Add API for getting and updating user * Return early for parse and solve; Add Adf GET * Add Delete and Index endpoints for ADFs * Add basic UI for user endpoints * Enforce username and password to be set on login * Show colored snackbars * Allow file upload for ADF; fix some server bugs * Implement ADF Add Form and Overview * Add Detail View for ADF problems * Add docker-compose file for mongodb (development) * Add mongodb (DEV) data directory to dockerignore * Let unknown routes be handled by frontend * Add legal information page to frontend * Change G6 Graph layout slightly * Add missing doc comments to lib * Update legal information regarding cookies * Add project logos to frontend * Add help texts to frontend * Move DoubleLabeledGraph from lib to server * Give example for custom Adf datastructure in docs * Update README and Project Website * Update devskim.yml * Add READMEs for frontend and server --------- Co-authored-by: monsterkrampe <monsterkrampe@users.noreply.github.com>
41 lines
1.3 KiB
JSON
41 lines
1.3 KiB
JSON
{
|
|
"name": "ADF-OBDD-Frontend",
|
|
"version": "0.1.0",
|
|
"source": "src/index.html",
|
|
"browserslist": "> 0.5%, last 2 versions, not dead",
|
|
"scripts": {
|
|
"check": "tsc --noEmit && eslint ./src",
|
|
"start": "parcel",
|
|
"build": "parcel build"
|
|
},
|
|
"devDependencies": {
|
|
"@parcel/transformer-inline-string": "2.8.2",
|
|
"@types/node": "^18.15.11",
|
|
"@types/react": "^18.0.26",
|
|
"@types/react-dom": "^18.0.10",
|
|
"@typescript-eslint/eslint-plugin": "^5.48.1",
|
|
"@typescript-eslint/parser": "^5.48.1",
|
|
"eslint": "^8.31.0",
|
|
"eslint-config-airbnb": "^19.0.4",
|
|
"eslint-config-airbnb-typescript": "^17.0.0",
|
|
"eslint-plugin-import": "^2.27.4",
|
|
"eslint-plugin-jsx-a11y": "^6.7.1",
|
|
"eslint-plugin-react": "^7.32.0",
|
|
"parcel": "^2.8.2",
|
|
"process": "^0.11.10",
|
|
"typescript": "^4.9.4"
|
|
},
|
|
"dependencies": {
|
|
"@antv/g6": "^4.8.3",
|
|
"@emotion/react": "^11.10.5",
|
|
"@emotion/styled": "^11.10.5",
|
|
"@fontsource/roboto": "^4.5.8",
|
|
"@mui/icons-material": "^5.11.16",
|
|
"@mui/material": "^5.11.4",
|
|
"markdown-to-jsx": "^7.2.0",
|
|
"react": "^18.2.0",
|
|
"react-dom": "^18.2.0",
|
|
"react-router-dom": "^6.10.0"
|
|
}
|
|
}
|