Nicolas Jeannerod

Coming from @facundominguez's question: > How is this (`PrtUnorderedDefs`) conceptually different from the constraints that link variables to variables and values in `SymEvalSt`? cf https://github.com/tweag/pirouette/pull/184#discussion_r1156260618

cf https://github.com/tweag/pirouette/pull/184#discussion_r1164259388

cf https://github.com/tweag/pirouette/pull/184#discussion_r1156093451_

The file [src/Language/Pirouette/QuasiQuoter/Internal.hs](https://github.com/tweag/pirouette/blob/1bfaa872dc04654ad32e9f8e7e2420ec4fa6de3b/src/Language/Pirouette/QuasiQuoter/Internal.hs) includes orphan instances of `Lift`: https://github.com/tweag/pirouette/blob/1bfaa872dc04654ad32e9f8e7e2420ec4fa6de3b/src/Language/Pirouette/QuasiQuoter/Internal.hs#L58-L88 I am not quite sure what they are for. Someone should look that up and either move them to a place...

Add LoE to the ChainDB QSM test

6

Closes #541 This PR adds a new instruction to the ChainDB q-s-m test, which updates the Limit on Eagerness (LoE) fragment and retriggers chain selection. This requires a model implementation...

Integrates a new implementation of the BulkSync mode, where blocks are downloaded from alternative peers as soon as the node has no more blocks to validate while there are longstanding...

Add a BlockFetch leashing attack

1

This attack is only triggered if one replaces `FetchModeDeadline` by `FetchModeBulkSync` and reduces the `bfcMaxConcurrency*` constant to be lower or equal to the number of adversaries. (Typically, in the upcoming...

## Desired Behavior I would want for the file trees mentioned in `(data_only_dirs)` to be hidden from some other features of Dune such as `(include_subdirs qualified)`. For this specific case,...