Issues

• Plans for package

  zenna/Sigma.jl#58 · Filter by author datnamer opened on Dec 1, 2016

• SAT problem giving wrong result

  zenna/Sigma.jl#56 · Filter by author zenna opened on Sep 19, 2015

• flip causing problems with DReal

  zenna/Sigma.jl#55 · Filter by author zenna opened on Sep 19, 2015

• Implement interval extensions to quantile functions for common distribution

  enhancement
  zenna/Sigma.jl#53 · Filter by author zenna opened on Aug 2, 2015 · v0.2

• Handle auxiliary variables explicitly

  enhancement
  zenna/Sigma.jl#52 · Filter by author zenna opened on Aug 2, 2015 · v0.2

• Include function definitions

  enhancement
  zenna/Sigma.jl#51 · Filter by author zenna opened on Aug 2, 2015 · v0.2

• LazyRandomVector not defined

  zenna/Sigma.jl#49 · Filter by author cscherrer opened on Jul 24, 2015
  2

• AIM can infinite loop

  bug
  zenna/Sigma.jl#48 · Filter by author zenna opened on Jul 20, 2015 · v0.1

• Deal with error in the correct way

  zenna/Sigma.jl#46 · Filter by author zenna opened on Jul 13, 2015 · v0.1

• Fix all FIXMEs

  zenna/Sigma.jl#45 · Filter by author zenna opened on Jul 13, 2015 · v0.1

• y=f(x) where f creates randvars and x is range (i.e. should be array)

  bug
  zenna/Sigma.jl#42 · Filter by author zenna opened on Jun 17, 2015 · v0.1

• dReal and z3 giving different bounds

  zenna/Sigma.jl#38 · Filter by author zenna opened on Mar 19, 2015

• Random Composite Types

  zenna/Sigma.jl#34 · Filter by author zenna opened on Mar 9, 2015
  1

• Losing tiny slices of floating point somewhere

  bug
  zenna/Sigma.jl#33 · Filter by author zenna opened on Mar 5, 2015 · v0.1

• Asynchronous calls to the solver

  enhancement
  zenna/Sigma.jl#31 · Filter by author zenna opened on Mar 3, 2015 · v0.2

• Implement Solver Timeout

  enhancementperformance
  zenna/Sigma.jl#30 · Filter by author zenna opened on Mar 3, 2015 · v0.1

• Multiplication by Zero and Infinity

  bug
  zenna/Sigma.jl#29 · Filter by author zenna opened on Jan 13, 2015 · v0.1

• iid allows 0 as nrows/ncols

  zenna/Sigma.jl#27 · Filter by author zenna opened on Dec 9, 2014

• In conditional probability queries - refine directly preimage of conditioning Rand Var

  enhancementperformance
  zenna/Sigma.jl#22 · Filter by author zenna opened on Nov 7, 2014 · v0.2

• Conditioning on very rare geometric events leads to imprecision/wrong result

  bug
  zenna/Sigma.jl#20 · Filter by author zenna opened on Nov 6, 2014

• Setup hosted code coverage

  zenna/Sigma.jl#18 · Filter by author zenna opened on Oct 29, 2014

• Buggy collision detection in Pool example

  bug
  zenna/Sigma.jl#14 · Filter by author zenna opened on Oct 28, 2014

• Index a RandArray with a RandVarSymbolic{Int}

  enhancement
  zenna/Sigma.jl#12 · Filter by author zenna opened on Oct 28, 2014

• Automate lifting of functions from concrete types to RandomVariables and abstract domains

  enhancement
  zenna/Sigma.jl#7 · Filter by author zenna opened on Oct 17, 2014

• All Random Variable Constructors should accept Random Variables for parameters, provided types are correct

  enhancement
  zenna/Sigma.jl#1 · Filter by author zenna opened on Oct 9, 2014 · v0.1