Stefan Ellmauthaler
|
f56a9bea06
|
Update devskim.yml
|
2023-05-03 17:36:24 +02:00 |
|
|
|
22882037bf
|
Update README and Project Website
Mention adf-bdd.dev
|
2023-05-03 17:21:37 +02:00 |
|
monsterkrampe
|
1cbd925eb4
|
Give example for custom Adf datastructure in docs
|
2023-05-03 16:58:53 +02:00 |
|
monsterkrampe
|
aa189de7b5
|
Move DoubleLabeledGraph from lib to server
|
2023-04-24 10:09:37 +02:00 |
|
monsterkrampe
|
85bd732c21
|
Add help texts to frontend
|
2023-04-21 10:41:41 +02:00 |
|
monsterkrampe
|
2bec9c49bf
|
Fix link color in footer
|
2023-04-20 09:12:13 +02:00 |
|
monsterkrampe
|
3ffd0a2aae
|
Add project logos to frontend
|
2023-04-19 09:37:08 +02:00 |
|
monsterkrampe
|
b90f68ac25
|
Update legal information regarding cookies
|
2023-04-18 17:42:59 +02:00 |
|
monsterkrampe
|
e16ed3a2f6
|
Add missing doc comments to lib
|
2023-04-18 12:02:13 +02:00 |
|
monsterkrampe
|
20cd5d3f06
|
Change G6 Graph layout slightly
|
2023-04-18 11:42:40 +02:00 |
|
monsterkrampe
|
927f7b26ea
|
Add legal information page to frontend
|
2023-04-18 08:52:05 +02:00 |
|
monsterkrampe
|
eade6ef415
|
Let unknown routes be handled by frontend
|
2023-04-14 20:30:02 +02:00 |
|
monsterkrampe
|
c8ab6db93d
|
Update Dockerfile
|
2023-04-14 15:44:15 +02:00 |
|
monsterkrampe
|
0fc75c8456
|
Add mongodb (DEV) data directory to dockerignore
|
2023-04-14 14:23:46 +02:00 |
|
monsterkrampe
|
7a64818e89
|
Add docker-compose file for mongodb (development)
|
2023-04-14 14:22:41 +02:00 |
|
monsterkrampe
|
21203f7ae8
|
Add Detail View for ADF problems
|
2023-04-14 14:19:47 +02:00 |
|
monsterkrampe
|
a965f75e4b
|
Implement ADF Add Form and Overview
|
2023-04-14 09:03:01 +02:00 |
|
monsterkrampe
|
9012f0ee23
|
Allow file upload for ADF; fix some server bugs
|
2023-04-14 09:01:39 +02:00 |
|
monsterkrampe
|
da8e79147b
|
Show colored snackbars
|
2023-04-03 18:48:16 +02:00 |
|
monsterkrampe
|
b7fd34ee48
|
Enforce username and password to be set on login
|
2023-04-03 17:36:38 +02:00 |
|
monsterkrampe
|
257bd5cdfc
|
Add basic UI for user endpoints
|
2023-04-03 17:33:48 +02:00 |
|
monsterkrampe
|
e353e01c1d
|
Small bugfixes on server side
|
2023-04-03 17:33:00 +02:00 |
|
monsterkrampe
|
46ad9eb3fa
|
Add Delete and Index endpoints for ADFs
|
2023-04-03 11:00:42 +02:00 |
|
monsterkrampe
|
7e18b6194f
|
Return early for parse and solve; Add Adf GET
|
2023-04-03 10:25:51 +02:00 |
|
monsterkrampe
|
ba752514ce
|
Satisfy clippy for server code
|
2023-03-31 15:11:23 +02:00 |
|
monsterkrampe
|
565683721d
|
Add API for getting and updating user
|
2023-03-31 15:07:54 +02:00 |
|
monsterkrampe
|
e562631f1c
|
Add API for uploading and solving adf problems
|
2023-03-31 14:11:38 +02:00 |
|
monsterkrampe
|
620e86e10b
|
Add API for adding/deleting users; login; logout
|
2023-03-30 10:26:48 +02:00 |
|
monsterkrampe
|
38737bc725
|
Relax CORS restrictions for local development
|
2023-03-27 14:42:42 +02:00 |
|
monsterkrampe
|
eb8ed71c35
|
Experiment with timeout on API endpoints
|
2023-03-27 14:40:13 +02:00 |
|
monsterkrampe
|
d0d7c2a712
|
Animate graph changes
|
2023-03-24 13:22:59 +01:00 |
|
monsterkrampe
|
441b72927d
|
Upgrade frontend dependencies
|
2023-03-24 13:22:59 +01:00 |
|
|
|
8f3fb91573
|
Use unoptimised hybrid step for better presentation
|
2023-03-24 13:22:58 +01:00 |
|
|
|
5d3814cbc0
|
Use standard example for adfs on the frontend
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
783cdec878
|
Support more options and multiple models
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
3f3659a98f
|
Fix code formatting
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
b8038dccfa
|
Introduce custom node type for nicer layout
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
9ab4ff3de4
|
Support stable model semantics with nogoods
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
f27502784a
|
Support multiple solving strategies
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
08dbd3d4e7
|
Add Dockerfile as example for server with frontend
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
b773410c50
|
Serve static files from './assets' directory
|
2023-03-24 13:22:58 +01:00 |
|
monsterkrampe
|
99a158a7df
|
Introduce features flag for localhost cors support
|
2023-03-24 13:22:57 +01:00 |
|
monsterkrampe
|
86122357a6
|
Make fetch endpoint depend on environment
|
2023-03-24 13:22:57 +01:00 |
|
monsterkrampe
|
dbde6b86f4
|
Finish basic visualization of solve response
|
2023-03-24 13:22:57 +01:00 |
|
monsterkrampe
|
cdd21f7e4f
|
Continue implementing basic solving endpoint
|
2023-03-24 13:22:57 +01:00 |
|
monsterkrampe
|
f796337839
|
Build basic ui with mui
|
2023-03-24 13:22:57 +01:00 |
|
monsterkrampe
|
e7d0de79ea
|
Start implementing endpoint to solve ADF on demand
|
2023-03-24 13:22:54 +01:00 |
|
monsterkrampe
|
88bc4a9100
|
Introduce separate server package
|
2023-03-24 13:19:04 +01:00 |
|
monsterkrampe
|
c8cf116aaf
|
Experiment with basic graph visualization
|
2023-03-24 13:19:02 +01:00 |
|
Stefan Ellmauthaler
|
73986437f8
|
Dependabot/bump (#140)
* Bump env_logger from 0.9.1 to 0.10.0
Bumps [env_logger](https://github.com/rust-cli/env_logger) from 0.9.1 to 0.10.0.
- [Release notes](https://github.com/rust-cli/env_logger/releases)
- [Changelog](https://github.com/rust-cli/env_logger/blob/main/CHANGELOG.md)
- [Commits](https://github.com/rust-cli/env_logger/compare/v0.9.1...v0.10.0)
---
updated-dependencies:
- dependency-name: env_logger
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
* Bump biodivine-lib-bdd from 0.4.1 to 0.4.2
Bumps [biodivine-lib-bdd](https://github.com/sybila/biodivine-lib-bdd) from 0.4.1 to 0.4.2.
- [Release notes](https://github.com/sybila/biodivine-lib-bdd/releases)
- [Commits](https://github.com/sybila/biodivine-lib-bdd/compare/v0.4.1...v0.4.2)
---
updated-dependencies:
- dependency-name: biodivine-lib-bdd
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
* Bump clap from 4.0.32 to 4.1.4
Bumps [clap](https://github.com/clap-rs/clap) from 4.0.32 to 4.1.4.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v4.0.32...v4.1.4)
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
* Bump nom from 7.1.1 to 7.1.3
Bumps [nom](https://github.com/Geal/nom) from 7.1.1 to 7.1.3.
- [Release notes](https://github.com/Geal/nom/releases)
- [Changelog](https://github.com/rust-bakery/nom/blob/7.1.3/CHANGELOG.md)
- [Commits](https://github.com/Geal/nom/compare/7.1.1...7.1.3)
---
updated-dependencies:
- dependency-name: nom
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
---------
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2023-02-17 14:03:33 +01:00 |
|
