Iavor S. Diatchki
Iavor S. Diatchki
It is quite common to alternate normal and profiling builds while developing. Currently, cabal uses the same build directory for both, which results in a lot of rebuilding. The current...
In the following model, `sally` successfully validates `ok1`, but returns `unknown` on `ok2`, which is the same as `ok1` but `or`-ed with another boolean value. ``` (define-state-type S ( (ok1...
It looks like the `mcmt` input parser is missing an entry for a `mod` operation at the moment. Could we add it? A quick grep through the source code shows...
The model below illustrates an example where `sally` (with engine `kind`) can solve the problem immediately, but if we add `--yices2-mcsat` Sally fails to find a solution (or is much...
Is there a function to perform euclidian integer division (like `div` from SMTLIB) in Sally? I can't seem to find one. It looks like the `/` operator works on integers,...
Consider the following model: `x` is the "state" proper, and `ok` is a bool that keeps track of some property of the state (in this case that `0
Hello, Consider the following trivial transition system: ``` (define-state-type S () ()) (define-transition-system TS S (= 1 2) (= 1 1)) (query TS (= 1 1)) ``` When I run...
Hello, The problem described in #559 still exists (at least with 0.10 version of the compiler which is what I have). It is not enough to add the cast just...
There appears to be something wrong with the hackage docs of `lsp-types`, in particular: * If you open `Language.LSP.Protoco.Message` and press `ctrs-S` to search for names, typing `Method` says that...
Hello, I've just started using this package recently, so possibly I am using it incorrectly, or misunderstand something. The issue is that I can't seem to get `withProgress` to work...