Skip to content
Snippets Groups Projects
  1. Mar 19, 2022
  2. Dec 30, 2021
  3. Dec 29, 2021
    • stuebinm's avatar
      maps, maps, and yet more maps · 0419aa99
      stuebinm authored
      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)
      0419aa99
  4. Dec 26, 2021
  5. Dec 23, 2021
  6. Dec 18, 2021
  7. Dec 17, 2021
    • stuebinm's avatar
      simple graphviz visualisation of a repository · e103c8e1
      stuebinm authored
      might be useful to have
      e103c8e1
    • stuebinm's avatar
      some simple graph algorithms · 1c90b431
      stuebinm authored
      this just checks for maps from which it's impossible to reach
      `main.json`, and then gives a warning. Properly it should check if these
      maps have an exit to outside the repository (in which case it may give a
      suggestion, and an error otherwise).
      
      Also, redid some of the CheckDir code. No idea what that mess was, but
      it's marginally nicer now.
      1c90b431
  8. Dec 16, 2021
  9. Dec 04, 2021
  10. Dec 02, 2021
    • stuebinm's avatar
      collect badges from object layers · 7d8c66b4
      stuebinm authored
      this includes a halfway-reasonable parsing of object layers, as well as
      some monad plumbing to get them all in the right place.
      7d8c66b4
  11. Nov 28, 2021
    • stuebinm's avatar
      various fixes to bugs · efb64e02
      stuebinm authored
      Among them
       - always set correct exit codes
       - refuse to write out files if the out path already exists
       - calculate the overall severity correctly
       - slightly changed the json output schema
       - also output the text output format in json
       - make the default config.json suitable for a production environment
      efb64e02
  12. Nov 23, 2021
  13. Nov 17, 2021
  14. Nov 16, 2021
  15. Nov 14, 2021
  16. Nov 10, 2021
  17. Nov 09, 2021
    • stuebinm's avatar
      first example of a map adjustment · 652c2030
      stuebinm authored
      this also includes some more monad plumbing, and an option for the
      linter to actually write things out again. Some of the previous commit
      was reverted a bit since it turned out to be stupid, but overall it was
      suprisingly easy once I got around to it, so yay! i guess
      
      Also includes a fairly silly example of how to use it.
      652c2030
  18. Sep 30, 2021
  19. Sep 23, 2021
  20. Sep 22, 2021
Loading