Markus Triska
Markus Triska
> User-defined procedures are organized into modules For user-defined procedures, the standard says: A user-defined procedure is a sequence of (zero or more) clauses prepared for execution.
The key point is that modules are not mentioned in any of these definitions.
Related: #634.
Thank you a lot, very interesting! One conceptual question I have about this: What exactly is it that makes for example defragmentation possible in this representation, but not the other?...
Thank you a lot, this seems very well thought through! In my opinion, *we need unbreakable software, even if it is 10 times slower than other systems*. A 5% overhead is...
Thank you so much for working on this! One question I have regarding these changes: Would it be better to apply them directly to the upcoming `rebis-dev` development branch, so...
@bakaq: I would greatly appreciate if you could take a look at these impressive changes!
@adri326: This looks awesome, thank you so much for all these impressive contributions!
@adri326 is there a way to rerun the CI tests for this PR? One easy way may be to amend the topmost commit with `--date=now` and then force-push.
Mark referred to the CI tests which we see on github at the end of this PR discussion, they still fail:  You can click on the tests to see...