Hanson Char
Hanson Char
"djAuMC4x" is a valid base-64 encoded string whereas "djAuMC4" is not. However, the latest v0.13.0 decodes both strings successfully when decoding the invalid one should fail.
```bash ~/github.com/tokio-metrics:main@e66d2ff$ RUSTFLAGS="--cfg tokio_unstable" cargo test --all-features Finished test [unoptimized + debuginfo] target(s) in 0.15s Running unittests (target/debug/deps/tokio_metrics-ec134d5a58bb3238) running 0 tests test result: ok. 0 passed; 0 failed; 0 ignored;...
It doesn’t seem `rust-pkcs11` can be used to open a pkcs11 session to the Thales eLab, i.e. Luna Network HSM without ending up in `(signal: 11, SIGSEGV: invalid memory reference)`....
Supports configuration of all TCP Keepalive parameters per https://en.wikipedia.org/wiki/Keepalive
According to https://en.wikipedia.org/wiki/Keepalive, TCP Keepalive has three parameters: * `Keepalive time` is the duration between two keepalive transmissions in idle condition. * `Keepalive interval` is the duration between two successive...
The code would still work without L278 and it seems simpler.
Fix a minor typo in clpfd.adoc, and some spelling mistakes.
**Motivation for this change** The conversation at https://github.com/pgf-tikz/pgf/issues/640 on the possibility of supporting the specification of options that can be applied to multiple examples. To demonstrate the usage of this...
**Motivation for this change** I tried out the example at *36.2.1 The Hello World of Graph Drawing* but it didn't compile: ```latex \documentclass{standalone} \usepackage{fp,pgf,tikz,xcolor} \usetikzlibrary{graphs,graphdrawing} \usegdlibrary{simpledemo} \begin{document} \tikz [very simple...
**Motivation for this change** Some of the examples at https://tikz.dev/gd-trees and https://tikz.dev/gd-usage-tikz don't currently compile with `lualatex`. **Checklist** - [x] Code changes are licensed under [GPLv2][GPL] + [LPPLv1.3c][LPPL] - [x]...
Details in the pull request https://github.com/avigad/mathematics_in_lean_source/pull/188