Schrodinger ZHU Yifan

Sanity Checker

5

Let's have sth like: ```rust use std::collections::HashMap; use crate::theory::abs::data::{MetaKind, Term}; use crate::theory::{Name, Var}; pub struct UnusedParamAnalyzer, unused: Vec UnusedParamAnalyzer { if !flag { self.unused.push((name, term)); } }, _ => unreachable!("must...

Pretty Error Printing

2

- [ ] error recovery for tyck - [ ] optimize error passing framework

`CUDA` may not be buildable with system default `cc`. Add an environment variable to allow users to change `ccbin`. ``` cargo:warning=nvcc warning : incompatible redefinition for option 'compiler-bindir', the last...

Exchanging "Extra-Encrypted Message" itself being a "Message"

1

Is it possible that, if a censorship third party gets a way to distinguish cleartext messages and encrypted messages underneath the message exchange platform, they may be able to infer...

Segmentation Fault on Apple Silicon Asahi Linux

5

``` 30/87 Test #30: perf-contention-check ............... Passed 0.90 sec Start 31: perf-external_pointer-check 31/87 Test #31: perf-external_pointer-check .........***Exception: SegFault 0.28 sec Start 32: perf-low_memory-check 32/87 Test #32: perf-low_memory-check ............... Passed 0.00...