summaryrefslogtreecommitdiff
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* linter: unless ain't the same as ifstuebinm2022-04-071-1/+1
|
* linter: collect jitsi rooms of mapsstuebinm2022-04-064-32/+45
|
* linter: whitespace confusing can bestuebinm2022-04-051-1/+1
|
* linter: collect content warningsstuebinm2022-04-044-6/+28
|
* remove unused modulestuebinm2022-03-301-74/+0
|
* linter: some work on lintsstuebinm2022-03-191-34/+41
|
* unbreak a very, very long rebasestuebinm2022-03-195-16/+14
|
* remove leftover rc3 things & some new stuffstuebinm2022-03-194-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!
* linter: allow unrestricted domain scopesstuebinm2022-03-191-8/+7
|
* linter: remove bbb-simulating codestuebinm2022-03-191-31/+3
|
* walint: yet more strictnessstuebinm2022-03-191-2/+2
| | | | (though this time it doesn't seem to do much, if anything)
* make tiled stricter (and organise some imports)stuebinm2022-03-196-49/+46
|
* separate tiled modules out into own packagestuebinm2022-03-198-491/+10
|
* server: write out adjusted mapsstuebinm2022-03-191-1/+1
|
* switch to universum preludestuebinm2022-03-1916-274/+254
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-03-196-30/+46
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: simple servant-lucid stuffstuebinm2022-03-191-2/+1
|
* use hpack and clean up modulesstuebinm2022-03-198-23/+85
| | | | as annoying as yaml is, cabal's package format is somehow worse, apparently
* playing around with typesstuebinm2022-03-191-0/+29
|
* use url package for parsing of urlsjonny2022-03-192-12/+30
|
* fixed url injection by means of starting an url with "." and turning the ↵jonathan2022-03-191-1/+8
| | | | prefix into a subdomain
* add dot language output for repository map graphsstuebinm2021-12-302-21/+48
|
* apparently people are using inter-assembly links internally??stuebinm2021-12-291-2/+15
| | | | lol
* collides isn't unknown on tilesstuebinm2021-12-291-1/+2
|
* maps, maps, and yet more mapsstuebinm2021-12-296-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)
* the lobby lacks reflexivitystuebinm2021-12-291-1/+2
|
* why aren't boolean values typechecked???stuebinm2021-12-291-1/+1
|
* Merge branch 'tabascoeye-main-patch-92942' into 'main'stuebinm2021-12-291-1/+1
|\ | | | | | | | | Update CheckMap.hs to make missing back link to lobby an ERROR See merge request hub/walint!7
| * Update CheckMap.hs to make missing back link to lobby an ERRORtabascoeye2021-12-281-1/+1
| |
* | tiles can also have properties like tile layersstuebinm2021-12-293-52/+79
|/
* disallow more things in urlsstuebinm2021-12-281-8/+1
|
* script links can't contain @stuebinm2021-12-281-1/+3
|
* open BBBs in new Tab so that they work now :/ tabascoeye2021-12-281-2/+2
| | | PLEASE review! I have no idea of haskell
* SECURITY: Fix path traversal in script verificationSerge Bazanski2021-12-271-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.
* fix bbb urls a second time …stuebinm2021-12-271-5/+1
|
* warn if main.json does not link back to lobbystuebinm2021-12-271-6/+13
|
* fix bbb url resolutionstuebinm2021-12-271-1/+1
|
* allow *.streamproxy.rc3.worldstuebinm2021-12-271-1/+2
|
* type systems don't protect against off-by-onestuebinm2021-12-271-1/+1
|
* urlencode dereferrer linksstuebinm2021-12-271-2/+2
|
* openWebsiteTriggerMessage can also be used for openTabstuebinm2021-12-261-2/+8
|
* Allow to copy sounds for custom JS with ObjectProperty `loadSound`Sven G. Brönstrup2021-12-261-1/+1
|
* separate blocking for separate contextsstuebinm2021-12-264-25/+45
| | | | | (audio links now have their own allowlist, which won't put things through the dereferrer)
* missing entrypoints can be non-fatalstuebinm2021-12-261-7/+8
|
* change lint msg for property suggestionsstuebinm2021-12-261-1/+1
|
* add lint if people set tilesetCopyright on tilesstuebinm2021-12-251-0/+2
|
* whoops, forgot to delete an output field and now it's in the hubstuebinm2021-12-251-1/+0
|
* apply some hlint hintsstuebinm2021-12-251-3/+3
|
* the lobby is allowed to contain defunct linksstuebinm2021-12-251-12/+15
|
* hint if people set collides on tilesetsstuebinm2021-12-251-1/+2
|