Max Lang
Max Lang
I've put together a prototype for a start page redesign (#597). ### Screenshots #### Desktop  Tablet and Mobile ### Ideas/Background/Plan Things that are not yet fully implemented marked with...
### Describe the bug This is about the pop-up notifications (see screenshot). Artemis used to show them in a separate container at the top of the page (which had the...
### Describe the bug In the new test exam feature, student repositories are not locked after the deadline. On the one hand, this is not a big deal since it's...
In incremental runs, match the CFGs for partially changed functions on a "best effort" basis. Then, in the solver, destabilize the entire function (by destabilizing the function entry). Together with...
When calling `exec_run` with `demux=True`, the documentation states that a pair of `bytes` is returned. However, if no standard output (or no standard error) is produced, then the corresponding tuple...
Until `ocaml-lsp-server` 1.16, the OCaml Platform extension for VSCode correctly showed types above functions (with VSCode's "CodeLens"). As of 1.16, CodeLens type hints are no longer displayed. Types on hover...
Lets say we wanted to implement a pattern that takes a module type of the form ```ocaml functor (X) (Y) (Z) -> S ``` and parses it to a list...
### Checklist #### General - [ ] This is a small issue that I tested locally and was confirmed by another developer on a test server. - [x] Language: I...
## Context ### Problem In a batched quiz, all participants of the same batch start and finish the quiz at the same time. When a student joins a batched quiz...
Styling of multiple-choice answers also applies inside inline KaTeX, messes up font size and padding
### Describe the bug Multiple-choice answer options are styled with some padding and a font size. This is done by selecting `.answer-option.content.text` (via SCSS). Unfortunately, KaTeX also uses the `text`...