Oliver Killane

Panic on use of libraries with proc-macro examples

7

### Problem Cargo is panicking on valid examples targets. - [examples crate-type field](https://doc.rust-lang.org/cargo/reference/cargo-targets.html?highlight=examples#the-crate-type-field) Minimised example is [here](https://github.com/OliverKillane/bug-reports/tree/main/cargo-proc-macro-examples) ``` thread 'main' panicked at src/cargo/core/resolver/features.rs:323:14: activated_features for invalid package: features did not...

Given the description for fxp types from the [quickstart docs](https://francof2a.github.io/fxpmath/docs/quick_start) The below patterns should not be possible. ```python Fxp(a, True, x, f>=x) Fxp(a, False, x, f>x) ``` For example ```...

## Description Currently the content is included in their directories (copy pasted from old 2nd year repo - [ ] need to produce a single pdf target - [ ]...

## Description The proof tree notation is done using `\cfrac`s in a maths environment, this is not ideal as: - side tags are part of the width of the `\cfrac`...

Data Processing Systems Unfinished Content

1

Missing chapters to be completed: - [ ] Advanced Topics (composable data processing systems, lightsabre) - [ ] Algorithms and Indices (B Trees) - [ ] Concurrency (clean up and...

Syntax highlighting for TLA source code

1

- Add a basic script to tools to install the lexer ([hwayne TLA lexer](https://github.com/hwayne/tla-pygments)) within pygments - Switch TLA source code inputs to use lexer - Check possibility of highlighting...

 Definitionbox for futex is empty

Majority of the content is still **unfinished**

Needs a cleanup - I skipped over the content quickly due to familiarity. Specifically adding: - Non-Assessed Channels in Rust - Send & Sync traits - Examples for interior mutability...

Needs an overhaul to include tutorial material. Specifically PSO, and walkthroughs for SC, TSO, RA, COH as shown in