Stefan Ellmauthaler ellmau
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-15 18:21:20 +02:00
eade6ef415 Let unknown routes be handled by frontend
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-14 18:11:22 +02:00
c8ab6db93d Update Dockerfile
0fc75c8456 Add mongodb (DEV) data directory to dockerignore
7a64818e89 Add docker-compose file for mongodb (development)
21203f7ae8 Add Detail View for ADF problems
a965f75e4b Implement ADF Add Form and Overview
Compare 6 commits »
ellmau synced new reference xmonad to ellmau/nixos from mirror 2023-04-13 18:51:20 +02:00
ellmau synced commits to xmonad at ellmau/nixos from mirror 2023-04-13 18:51:20 +02:00
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-13 18:51:20 +02:00
f814107ee1 flake.lock: Update
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-13 18:01:19 +02:00
7b6f98c934 WIP: build frontend for ADFs
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-11 18:31:18 +02:00
469e3305e5 Add alsa and pulse to kde for bt-headset support
9f21d54228 Use Plasma on stel-xps
a1cf01ac5e Fix VPN for TUD
45f0e989c9 flake.lock: Update
Compare 4 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-10 18:21:18 +02:00
e680a84b9f Use Plasma on nucturne
49adfe43a7 flake.lock: Update
Compare 2 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-04 17:31:20 +02:00
e7fb96a2c6 flake.lock: Update
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-04 16:31:19 +02:00
da8e79147b Show colored snackbars
b7fd34ee48 Enforce username and password to be set on login
257bd5cdfc Add basic UI for user endpoints
e353e01c1d Small bugfixes on server side
Compare 4 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-03 17:31:16 +02:00
36ce6b3990 flake.lock: Update
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-03 16:21:20 +02:00
46ad9eb3fa Add Delete and Index endpoints for ADFs
7e18b6194f Return early for parse and solve; Add Adf GET
Compare 2 commits »
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-01 16:01:18 +02:00
a0ad716b28 WIP: return immediately for solving and add get endpoint
ba752514ce Satisfy clippy for server code
565683721d Add API for getting and updating user
Compare 3 commits »
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-03-31 15:51:20 +02:00
e562631f1c Add API for uploading and solving adf problems
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-03-30 15:41:18 +02:00
620e86e10b Add API for adding/deleting users; login; logout
ellmau synced commits to main at ellmau/nixos from mirror 2023-03-29 16:41:18 +02:00
8fecd798a1 flake.lock: Update
ellmau synced commits to main at ellmau/nixos from mirror 2023-03-28 16:31:17 +02:00
91cb42c6a5 flake.lock: Update
a675b6b816 Fix gnome keyring command
Compare 2 commits »
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-03-28 15:21:22 +02:00
38737bc725 Relax CORS restrictions for local development
eb8ed71c35 Experiment with timeout on API endpoints
Compare 2 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-03-27 16:21:17 +02:00
81f01ef709 Fix users/ellmau/graphical.nix
b7e5df26b5 Add further Plasma options in config and user configuration
197844da93 flake.lock: Update
Compare 3 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-03-26 16:11:44 +02:00
9ce9939eff Dap mode (#7)