Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-03-19 | linter: some work on lints | stuebinm | 1 | -34/+41 | |
2022-03-19 | unbreak a very, very long rebase | stuebinm | 5 | -16/+14 | |
2022-03-19 | remove leftover rc3 things & some new stuff | stuebinm | 4 | -151/+183 | |
this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking! | |||||
2022-03-19 | linter: allow unrestricted domain scopes | stuebinm | 1 | -8/+7 | |
2022-03-19 | linter: remove bbb-simulating code | stuebinm | 1 | -31/+3 | |
2022-03-19 | walint: yet more strictness | stuebinm | 1 | -2/+2 | |
(though this time it doesn't seem to do much, if anything) | |||||
2022-03-19 | make tiled stricter (and organise some imports) | stuebinm | 6 | -49/+46 | |
2022-03-19 | separate tiled modules out into own package | stuebinm | 8 | -491/+10 | |
2022-03-19 | server: write out adjusted maps | stuebinm | 1 | -1/+1 | |
2022-03-19 | switch to universum prelude | stuebinm | 16 | -274/+254 | |
also don't keep adjusted maps around if not necessary | |||||
2022-03-19 | sprinkle some NFData everywhere | stuebinm | 6 | -30/+46 | |
(also some evaluateNF, leading to slightly less memory usage) | |||||
2022-03-19 | server: simple servant-lucid stuff | stuebinm | 1 | -2/+1 | |
2022-03-19 | use hpack and clean up modules | stuebinm | 8 | -23/+85 | |
as annoying as yaml is, cabal's package format is somehow worse, apparently | |||||
2022-03-19 | playing around with types | stuebinm | 1 | -0/+29 | |
2022-03-19 | use url package for parsing of urls | jonny | 2 | -12/+30 | |
2022-03-19 | fixed url injection by means of starting an url with "." and turning the ↵ | jonathan | 1 | -1/+8 | |
prefix into a subdomain | |||||
2021-12-30 | add dot language output for repository map graphs | stuebinm | 2 | -21/+48 | |
2021-12-29 | apparently people are using inter-assembly links internally?? | stuebinm | 1 | -2/+15 | |
lol | |||||
2021-12-29 | collides isn't unknown on tiles | stuebinm | 1 | -1/+2 | |
2021-12-29 | maps, maps, and yet more maps | stuebinm | 6 | -21/+50 | |
don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later) | |||||
2021-12-29 | the lobby lacks reflexivity | stuebinm | 1 | -1/+2 | |
2021-12-29 | why aren't boolean values typechecked??? | stuebinm | 1 | -1/+1 | |
2021-12-29 | tiles can also have properties like tile layers | stuebinm | 3 | -52/+79 | |
2021-12-28 | Update CheckMap.hs to make missing back link to lobby an ERROR | tabascoeye | 1 | -1/+1 | |
2021-12-28 | disallow more things in urls | stuebinm | 1 | -8/+1 | |
2021-12-28 | script links can't contain @ | stuebinm | 1 | -1/+3 | |
2021-12-28 | open BBBs in new Tab so that they work now :/ | tabascoeye | 1 | -2/+2 | |
PLEASE review! I have no idea of haskell | |||||
2021-12-27 | SECURITY: Fix path traversal in script verification | Serge Bazanski | 1 | -2/+3 | |
The following used to be allowed: scripts: https://static.rc3.world/scripts/../maps/81c8add623eea2704f20/e65b545e-342f-4be0-b369-c0eacff7b15d/re-blessed.mp3.js This is obviously not good, as it allows scripts from arbitrary maps. | |||||
2021-12-27 | fix bbb urls a second time … | stuebinm | 1 | -5/+1 | |
2021-12-27 | warn if main.json does not link back to lobby | stuebinm | 1 | -6/+13 | |
2021-12-27 | fix bbb url resolution | stuebinm | 1 | -1/+1 | |
2021-12-27 | allow *.streamproxy.rc3.world | stuebinm | 1 | -1/+2 | |
2021-12-27 | type systems don't protect against off-by-one | stuebinm | 1 | -1/+1 | |
2021-12-27 | urlencode dereferrer links | stuebinm | 1 | -2/+2 | |
2021-12-26 | openWebsiteTriggerMessage can also be used for openTab | stuebinm | 1 | -2/+8 | |
2021-12-26 | Allow to copy sounds for custom JS with ObjectProperty `loadSound` | Sven G. Brönstrup | 1 | -1/+1 | |
2021-12-26 | separate blocking for separate contexts | stuebinm | 4 | -25/+45 | |
(audio links now have their own allowlist, which won't put things through the dereferrer) | |||||
2021-12-26 | change lint msg for property suggestions | stuebinm | 1 | -1/+1 | |
2021-12-25 | add lint if people set tilesetCopyright on tiles | stuebinm | 1 | -0/+2 | |
2021-12-25 | whoops, forgot to delete an output field and now it's in the hub | stuebinm | 1 | -1/+0 | |
2021-12-25 | apply some hlint hints | stuebinm | 1 | -3/+3 | |
2021-12-25 | the lobby is allowed to contain defunct links | stuebinm | 1 | -12/+15 | |
2021-12-25 | hint if people set collides on tilesets | stuebinm | 1 | -1/+2 | |
2021-12-25 | don't print doubled lints twice | stuebinm | 2 | -11/+11 | |
2021-12-25 | better lint message | stuebinm | 1 | -1/+1 | |
2021-12-24 | persist, default aren't always booleans | stuebinm | 1 | -1/+0 | |
2021-12-24 | smaller changes | stuebinm | 3 | -5/+4 | |
2021-12-24 | allow openWebsiteAllowApi if website is on static.rc3.world | stuebinm | 1 | -2/+12 | |
2021-12-24 | allow shared (not just shared-) as prefix for shared jitsis | stuebinm | 1 | -1/+1 | |
this might make things less confusing for some people | |||||
2021-12-23 | extra lint for people confused by badges | stuebinm | 1 | -3/+4 | |
tbh I'm confused by them as well |