Zenna Tavares
Zenna Tavares
I've found that when I trace a function where the number of iterations of a loop is passed in as an `::Int`, things break. for instance; ``` julia> function m(n)...
I have been trying to use Docile, but it gives me the weirdest bugs. Sometimes when a `@doc` is included in a certain place my module won't load. It get's...
@soonhokong @scungao : Here is a very rough outline of the enhancements I would like for the API. The following is psuedo-code to describe my intent, but there may be...
``` julia using Sigma using Base.Test A = flip() B = flip() C = flip() formula = (A & B) | C a, b, c = rand((A, B, C), formula,...
Get the following bug when using the `Bernoulli` type of `flip`. Temporarily reverting to flip as just a function `p > omega`. ``` terminate called after throwing an instance of...
For a given subset of the sample space, we should call to the solver asynchronously. This will allow us to do timeouts as in #30 and do more intelligent portfolio...
Currently we do two preimage computations - one for Y and one for X & Y. Both of these preimage queries refine starting with the whole of Omega. A better...
``` julia nx = 10 xcoarse = 1:nx f(x) = sin(2pi/(nx-1) * (x-1)) + uniform(0,1) ycoarse = f(xcoarse) ``` Errors with ``` ERROR: LoadError: MethodError: `+` has no method matching...
Consider the following program ``` julia X = normal(0,1) Y = (1, X) ``` `X` can be negative and negative values are not valid values for the standard deviation of...
An AST should support function definitions. This allows more compact definitions of code, better potential for symbolic reasoning, and also allows the potential of recursive functions. It's not trivial because:...