Luca Bruno
Luca Bruno
Thanks for the additional docs! CI is currently red here, there are some doc-tests which need to be fixed. It looks like the DCO bot expects a sign-off from `Rupert...
@dependabot reopen
Obsoleted by https://github.com/lucab/caps-rs/pull/97.
/cc @ejmahler for review.
Thanks for the feedback. You touched quite a bit of topics, so I'll try to split them across different items: * The temporal property above is a plain `always` check,...
@konnov thanks for the paper reference, it looks like an interesting topic, I've put that up in my reading queue! For clarity, I'm totally fine deriving an approximate bound on...
Thanks for the report. I have been doing some very light maintenance of the `prometheus` crate in the past months, but to be honest recently I'm not having enough time...
For reference, without this PR the remote fetch would fail with: ``` $ git clone https://github.com/rust-lang/regex/tree/master/regex-automata Cloning into 'regex-automata'... fatal: repository 'https://github.com/rust-lang/regex/tree/master/regex-automata/' not found ```
@bugarela thanks for the detailed instructions! I did the `quint compile` dance (with a minor manual fix) and checked the TLA+ spec directly with both TLC and Apalache. The former...
I also hit this limitation when trying to produce a `List` with a non-deterministic (but bounded) length. After some searching I found this entry in Apalache documentation: https://apalache-mc.org/docs/apalache/known-issues.html#integer-ranges-with-non-constant-bounds. As mentioned...