Alperen Keleş

[Broken Link in Documentation] tsdb README external link.

2

### What did you do? In the tsdb [README](https://github.com/prometheus/prometheus/tree/v0.37.0/tsdb), I tried to check the external resources. ### What did you expect to see? _No response_ ### What did you see...

Using Proofs

3

I am trying to write a simple verification backend using z3.rs, I have the statements below. `assertions: (= y (bvmul x #x0000000000000003))` `assertions: (= x (bvadd x x))` `negated goal:...

Feature Request: Align Center

1

Right now when I want to align something to center I do horizontal align + vertical align. I've been checking the code, it feels like it should be rather easy...

Capturing Stdout

1

This might be a silly idea but is it possible to capture and show the stdout while running VSCoq? I am working with [QuickChick](https://github.com/QuickChick/QuickChick), which outputs its results to stdout,...

I want to use ```ocaml open Quickchick_plugin let () = QuickChick.functioncall() ``` But I could not figure out a way to make the ocaml compiler happy. Is there anyone with...

Fails to install on M1 Mac

1

Device Information: M1 Mac, 2020 Macos Ventura, Version 13.2.1 Opam version: 2.1.5 Ocaml version: 4.14.0~alpha1 Error: ``` File "submodules/lev/lev-fiber/src/lev_fiber.ml", line 42, characters 49-60: Error: Unbound constructor Thread.Exit ``` Any ideas...

ACP: Add `std::string::String::replace_and_count` and/or `replace_with`

6

# Proposal Add `std::string::String::replace_and_count` and/or `replace_with` and/or `replace_and`. ## Problem statement Today, standart library String replacement method does not (1) creating any type of telemetric information such as the number...

Add Date Validator

2

Right now, we don't actively use validators, but we would like to. Validators will be crucial as we start adding complex data types. The exact position for the validation is...

* Every layout structure(container and element) should have a unique identifier. * All children and parents should be directly accessible via the identifiers.

[In `src/element.rs` line 141](https://github.com/alpaylan/cvdl/blob/72737d9ca2b7b8cdfe845038dbdc2e086782bd7f/src/element.rs#L141), `break_lines` function calculates lines by doing a linear search until it finds the cutoff point. This can be easily turned into a binary search.