Graydon Hoare
Graydon Hoare
Any interest in code for shrinking? I gather you're doing a sort of minimalist SmallCheck-style "expand outwards slowly" approach, but there's still plenty of opportunity for someone to generate non-minimal...
A helpful capacity in diagnostic tools like this is to be able to switch, while exploring the data, between the aggregate view (top, histogram, etc) and a sequential/timeline view that...
A fair number of explicit-state model checkers use DFS not BFS. I realize this would be a fairly big revision to the structure (at least of the checker module) but...
Currently it looks like the checker always splits chunks off the end of the pending vecdeque, and then pushes new extensions back on the end. But it doesn't necessarily split...
The system state representation in the actor subsystem is relatively large and eagerly copies vectors and btrees full of contents when cloned. This makes it relatively memory-hungry, which in turn...
Hi, It looks like in https://github.com/fsharp/FSharp.Data/issues/563 and its patch https://github.com/fsharp/FSharp.Data/pull/594 the root value of a Json text was restricted to just objects and arrays, based on [this comment](https://github.com/fsharp/FSharp.Data/issues/563#issue-31863788) suggesting that...
Here is a reduced testcase that fails `ivy_check`: ``` #lang ivy1.7 object foobar = { relation foo(BAR:bool) definition foo(BAR:bool) = true invariant forall BAR. foo(BAR) } ``` `ivy_check` crashes with...
We've been working on a model that produces queries that cause Z3 to diverge. On a hunch, I tried running the same `.smt2` query with Z3's e-matching quantifier-instantiation strategy disabled,...
It turns out that the Cargo.lock file here resolved many transitive dependencies differently from their resolutions in stellar-core (even though we pinned direct dependency versions -- this doesn't handle indirect...
The code in https://github.com/stellar/stellar-core/pull/3557 does not have a wasm blob that tests it -- checking to see that it can retrieve the ledger number and version and so forth. It...